Kiểm thử đột biến trong môi trường Simulink/Matlab

Abstract

Luận án nghiên cứu các kỹ thuật kiểm thử đột biến, các vấn đề về đột biến trên các thiết kế. Trên cơ sở đó đề xuất áp dụng kiểm thử đột biến để sinh và đánh giá các bộ dữ liệu thử trên các mô hình được thiết kếtrong môi trường Simulink/Matlab.