ISSN: 1859-1531
BAN BIÊN TẬP

Tổng biên tập
GS.TSKH. Bùi Văn Ga

Phó Tổng biên tập
GS.TS. Trần Văn Nam

Trưởng ban biên tập
PGS.TS. Nguyễn Tấn Hưng

Cơ quan Đại học Đà Nẵng
41 Lê Duẩn, TP Đà Nẵng
Trường Đại học Bách khoa
54 Nguyễn Lương Bằng, Quận Liên Chiểu, TP Đà Nẵng
Trường Đại học Kinh tế
71 - Ngũ Hành Sơn - TP. Đà Nẵng
Trường Đại học Sư phạm
459 Tôn Đức Thắng - Liên Chiểu - Đà Nẵng
Trường Đại học Ngoại ngữ
131 Lương Nhữ Hộc, Đà Nẵng
Trường Đại học Sư phạm kỹ thuật
48 Cao Thắng - Đà Nẵng
Phân hiệu ĐHĐN tại KonTum
129 Phan Đình Phùng, Kon Tum
Khoa công nghệ thông tin và tuyền thông
Hòa Quý - Ngũ Hành Sơn - Đà Nẵng
Khoa Y Dược
Hòa Quý - Ngũ Hành Sơn - Đà Nẵng
Khoa Giáo dục Thể chất
62 Ngô Sỹ Liên, Liên Chiểu, Đà Nẵng
Khoa Quốc tế
41 Lê Duẩn, Đà Nẵng
Viện Nghiên cứu & Đào tạo Việt Anh
158A Lê Lợi
Trung tâm phát triển phần mềm
41 Lê Duẩn, Tp. Đà Nẵng
Trung tâm kiểm định chất lượng giáo dục
41 Lê Duẩn, Tp. Đà Nẵng
Trung tâm ngoại ngữ
131 Lương Nhữ Hộc, Tp Đà Nẵng
Trung tâm nghiên cứu phát triển quản trị và tư vấn doanh nghiệp
71 - Ngũ Hành Sơn - TP. Đà Nẵng
Tổng: 19,465,741
CẢI TIẾN THỰC THI ĐỘT BIẾN TRONG KIỂM THỬ ĐỘT BIẾN CHO CÁC MÔ HÌNH SIMULINK SỬ DỤNG TÍNH TOÁN SONG SONG
IMPROVING MUTATION EXECUTION IN MUTATION TESTING FOR SIMULINK MODELS USING PARALLEL COMPUTING
 Tác giả: Lê Thị Mỹ Hạnh, Khuất Thanh Tùng, Nguyễn Thanh Bình
Đăng tại: Số 1(74).2014, Quyển 2; Trang: 9-13
Tóm tắt bằng tiếng Việt:
Kiểm thử đột biến là một chiến lược kiểm thử dựa trên lỗi để đánh giá chất lượng kiểm thử, bằng cách chèn lỗi vào chương trình đang kiểm thử. Kiểm thử đột biến không chỉ cho phép xây dựng các bộ dữ liệu thử chất lượng, nghĩa là có khả năng phát hiện lỗi cao, mà còn có thể dễ dàng được tự động hóa nhằm giảm chi phí. Vì vậy, kiểm thử đột biến là một trong những kỹ thuật kiểm thử hộp trắng được ứng dụng rộng rãi. Tuy nhiên, một trong những hạn chế của kiểm thử đột biến là thời gian thực thi đột biến khá cao, do số lượng đột biến sinh ra nhiều. Trong bài báo này, chúng tôi trình bày giải pháp để cải thiện chi phí thời gian thực thi đột biến trên các mô hình Simulink sử dụng tính toán song song trên các máy tính đa nhân.
Từ khóa: kiểm thử phần mềm; kiểm thử đột biến; chi phí kiểm thử đột biến; Simulink; tính toán song song
Abstract:
Mutation testing is a fault-based testing strategy to measure the quality of testing by inserting faults into the program under test. Mutation testing not only allows the design of good quality tests, i.e. high error detection capability, but can also be easily automated to reduce cost. Hence, mutation testing is one of the white-box testing methods popularly applied. One problem that prevents mutation testing from becoming a practical testing technique is the high computational cost of executing enormous number of mutants against a test set. In this paper, we propose an approach to improving the cost of mutation execution for Simulink models using parallel computing on a multicore machine.
Key words: software testing; mutation testing; mutation testing cost; Simulink; parallel computing

BAN BIÊN TẬP

Tổng biên tập
GS.TSKH. Bùi Văn Ga

Phó Tổng biên tập
GS.TS. Trần Văn Nam

Trưởng ban biên tập
PGS.TS. Nguyễn Tấn Hưng

Cơ quan Đại học Đà Nẵng
41 Lê Duẩn, TP Đà Nẵng
Trường Đại học Bách khoa
54 Nguyễn Lương Bằng, Quận Liên Chiểu, TP Đà Nẵng
Trường Đại học Kinh tế
71 - Ngũ Hành Sơn - TP. Đà Nẵng
Trường Đại học Sư phạm
459 Tôn Đức Thắng - Liên Chiểu - Đà Nẵng
Trường Đại học Ngoại ngữ
131 Lương Nhữ Hộc, Đà Nẵng
Trường Đại học Sư phạm kỹ thuật
48 Cao Thắng - Đà Nẵng
Phân hiệu ĐHĐN tại KonTum
129 Phan Đình Phùng, Kon Tum
Khoa công nghệ thông tin và tuyền thông
Hòa Quý - Ngũ Hành Sơn - Đà Nẵng
Khoa Y Dược
Hòa Quý - Ngũ Hành Sơn - Đà Nẵng
Khoa Giáo dục Thể chất
62 Ngô Sỹ Liên, Liên Chiểu, Đà Nẵng
Khoa Quốc tế
41 Lê Duẩn, Đà Nẵng
Viện Nghiên cứu & Đào tạo Việt Anh
158A Lê Lợi
Trung tâm phát triển phần mềm
41 Lê Duẩn, Tp. Đà Nẵng
Trung tâm kiểm định chất lượng giáo dục
41 Lê Duẩn, Tp. Đà Nẵng
Trung tâm ngoại ngữ
131 Lương Nhữ Hộc, Tp Đà Nẵng
Trung tâm nghiên cứu phát triển quản trị và tư vấn doanh nghiệp
71 - Ngũ Hành Sơn - TP. Đà Nẵng
Tổng: 19,465,741