tailieunhanh - 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

Bài viết 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 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. | Lê Thị Mỹ Hạnh Khuất Thanh Tùng Nguyễn Thanh Bình 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 Lê Thị Mỹ Hạnh Khuất Thanh Tùng Nguyễn Thanh Bình Trường Đại học Bách khoa Đại học Đà Nẵng Email ltmhanh@ Tóm tắt Kiểm thử đột biến là một chiến lược kiểm thử dựa trên lỗi Abstract Mutation testing is a fault-based testing strategy to để đánh giá chất lượng kiểm thử bằng cách chèn lỗi vào chương measure the quality of testing by inserting faults into the program trình đang kiểm thử. Kiểm thử đột biến không chỉ cho phép xây under test. Mutation testing not only allows the design of good dựng các bộ dữ liệu thử chất lượng nghĩa là có khả năng phát hiện quality tests . high error detection capability but can also lỗi cao mà còn có thể dễ dàng được tự động hóa nhằm giảm chi be easily automated to reduce cost. Hence mutation testing is phí. Vì vậy kiểm thử đột biến là một trong những kỹ thuật kiểm thử one of white-box testing methods popularly applied. One problem hộp trắng được ứng dụng rộng rãi. Tuy nhiên một trong những hạn that prevents mutation testing from becoming a practical testing chế của kiểm thử đột biến là thời gian thực thi đột biến khá cao do technique is the high computational cost of executing enormous số lượng đột biến sinh ra nhiều. Trong bài báo này chúng tôi trình number of mutants against a test set. In this paper we propose an 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 approach to improving the cost of mutation execution for Simulink mô hình Simulink sử dụng tính toán song song trên các máy tính models using parallel computing on a multicore machine. đa nhân. Từ khóa kiểm thử phần mềm kiểm thử đột biến chi phí kiểm thử Key words software testing mutation testing mutation testing đột biến Simulink tính toán song song. cost Simulink parallel computing. 1. Đặt vấn