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

Abstract

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.