Nghiên cứu một số phương pháp sinh dữ liệu kiểm thử cho kiểm thử đơn vị
Tóm tắt
Luận văn tập trung nghiên cứu và đề xuất các phương pháp sinh dữ liệu kiểm thử tự động cho kiểm thử đơn vị, nhằm nâng cao hiệu quả và độ tin cậy của quy trình kiểm thử phần mềm. Trên cơ sở phân tích các kỹ thuật hiện có như sinh dữ liệu dựa trên đồ thị luồng điều khiển, phân tích luồng dữ liệu và kiểm thử đột biến, luận văn đánh giá ưu nhược điểm của từng phương pháp. Từ đó, tác giả đề xuất một mô hình cải tiến kết hợp giữa kỹ thuật sinh ngẫu nhiên có định hướng và giải thuật di truyền để tối ưu hóa độ bao phủ mã nguồn. Các thực nghiệm được tiến hành trên nhiều chương trình mẫu cho thấy phương pháp đề xuất giúp tăng tỷ lệ phát hiện lỗi và giảm chi phí tính toán so với các cách tiếp cận truyền thống. Kết quả nghiên cứu có ý nghĩa thực tiễn trong việc tự động hóa kiểm thử đơn vị, góp phần nâng cao chất lượng phần mềm.