Ứng dụng giải thuật di truyền sinh dữ liệu thử bao phủ cấu trúc của chương trình Java

Abstract

Kiểm thử phần mềm là hoạt động đóng vai trò rất quan trọng nhằm đánh giá tính đúng đắn, sự hoàn thiện và bảo đảm chất lượng phần mềm. Việc kiểm thử phần mềm tốn chi phí rất lớn, nên việc sinh dữ liệu thử tự động có khả năng phát hiện lỗi của chương trình cao sẽ giúp nâng cao hiệu quả đối với việc giảm chi phí và tăng chất lượng kiểm thử. Kiểm thử cấu trúc là kỹ thuật kiểm thử cho phép kiểm tra cấu trúc bên trong của phần mềm với mục đích đảm bảo rằng tất cả các câu lệnh và điều khiển sẽ được thực hiện ít nhất một lần. Tạo dữ liệu kiểm thử đóng vai trò quan trọng nhất trong kiểm thử cấu trúc, làm sao để chúng ta có thể tạo ra các dữ liệu thử có khả năng phát hiện lỗi cao nhất, đảm bảo các tiêu chí bao phủ như: bao phủ câu lệnh, bao phủ rẽ nhánh, bao phủ lộ trình của chương trình cần kiểm thử. Luận văn trình bày kỹ thuật tạo dữ liệu thử nghiệm tự động sử dụng thuật toán di truyền dựa trên đồ thị luồng điều khiển cho chương trình java. Kỹ thuật này dựa vào mối quan hệ thống trị giữa các nút trên đồ thị để xác định một hàm thích nghi nhằm đánh giá dữ liệu kiểm thử để giảm chi phí kiểm thử phần mềm. Kết quả thực nghiệm cho thấy, tập dữ liệu kiểm thử được sinh ra một cách tự động nhưng vẫn đảm bảo đạt độ bao phủ cao, đạt độ tin cậy trong kiểm chứng tính đúng đắn của mã nguồn.