Mục tiêu của luận án là 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. Như vậy, đối tượng nghiên cứu của luận án là kỹ thuật kiểm thử đột biến và môi trường Simulink/Matlab. | BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG --- --- LÊ THỊ MỸ HẠNH KIỂM THỬ ĐỘT BIẾN TRONG MÔI TRƯỜNG SIMULINK/MATLAB Chuyên ngành : KHOA HỌC MÁY TÍNH Mã số : 62 48 01 01 TÓM TẮT LUẬN ÁN TIẾN SĨ KỸ THUẬT Đà Nẵng, 10/2015 Công trình được hoàn thành tại: TRƯỜNG ĐẠI HỌC BÁCH KHOA - ĐẠI HỌC ĐÀ NẴNG Người hướng dẫn khoa học: 1. PGS. TS. Nguyễn Thanh Bình 2. PGS. TS. Đoàn Văn Ban Phản biện 1: GS. TS. Nguyễn Thanh Thủy Phản biện 2: PGS. TS. Huỳnh Quyết Thắng Phản biện 3: PGS. TS. Hoàng Hữu Hạnh Luận án được bảo vệ trước Hội đồng chấm luận án cấp Đại học Đà Nẵng họp tại: Đại học Đà Nẵng – 41 Lê Duẫn – Thành phố Đà Nẵng vào hồi 14 giờ 00 ngày 28 tháng 11 năm 2015 Có thể tìm hiểu Luận án tại thư viện: - Thư viện Quốc gia, Hà Nội - Trung tâm Thông tin - Học liệu, Đại học Đà Nẵng LỜI MỞ ĐẦU Kiểm thử phần mềm là một hoạt động đóng vai trò rất quan trọng để bảo đảm chất lượng phần mềm và là hoạt động mang tính sống còn trong các dự án sản xuất hoặc gia công phần mềm. Với mục đích phát hiện lỗi, kiểm thử phần mềm thường phải trải qua các bước: tạo dữ liệu thử, thực thi phần mềm trên dữ liệu thử và quan sát kết quả nhận được. Trong các bước này, bước tạo dữ liệu đóng vai trò quan trọng nhất, bởi vì chúng ta không thể tạo ra mọi dữ liệu từ miền vào của chương trình, mà chúng ta chỉ có thể tạo ra các dữ liệu thử có khả năng phát hiện lỗi cao nhất. Vấn đề đặt ra là làm thế nào để đánh giá được khả năng phát hiện lỗi của một bộ dữ liệu thử? Kiểm thử đột biến [3] là một tiêu chuẩn nhằm tìm ra các lỗi trong chương trình. Tiêu chuẩn này tạo ra các phiên bản của chương trình có chứa các lỗi đơn giản và sau đó tìm ra các dữ liệu thử để chỉ ra các dấu hiệu của lỗi. Nếu có thể tìm thấy một bộ dữ liệu thử chất lượng làm lộ ra các dấu hiệu này ở tất cả các phiên bản bị lỗi, thì sự tin tưởng vào tính đúng đắn của chương trình sẽ tăng. Năm 1971, Lipton [75] đề xuất ra phương pháp kiểm thử đột biến, sau đó lĩnh vực này được đánh dấu sự ra đời và phổ biến bởi DeMillo, Lipton và .
