Kiểm thử đột biến (mutation testing) là một trong những kỹ thuật kiểm thử cấu trúc được sử dụng phổ biến, nhờ vào khả năng tự động hóa cao làm giảm chi phí của tiến trình kiểm thử. Kiểm thử đột biến đã được áp dụng rộng rãi cho các ngôn ngữ lập trình khác nhau. Trong bài báo này, chúng tôi trình bày giải pháp hỗ trợ kiểm thử đột biến áp dụng cho các câu lệnh truy vấn cơ sở dữ liệu. . | TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ ĐẠI HỌC ĐÀ NẴNG - SỐ 2 37 .2010 GIẢI PHÁP KIỂM THỬ ĐỘT BIÊN CÁC CÂU LỆNH TRUY VẤN CƠ SỞ DỮ LIỆU A SOLUTION TO THE MUTATION TESTING OF SQL DATABASE QUERRIES Nguyễn Thanh Bình Hồ Văn Phi Trường Đại học Bách khoa Đại học Đà Nang Trường Cao đắng CNTT Hữu nghị Việt-Hàn TÓM TẮT Kiểm thử đột biến mutation testing là một trong những kỹ thuật kiểm thử cấu trúc được sử dụng phổ biến nhờ vào khả năng tự động hóa cao làm giảm chi phí của tiến trình kiểm thử. Kiểm thử đột biến đã được áp dụng rộng rãi cho các ngôn ngữ lập trình khác nhau. Trong bài báo này chúng tôi trình bày giải pháp hỗ trợ kiểm thử đột biến áp dụng cho các câu lệnh truy vấn cơ sở dữ liệu. Một công cụ được xây dựng hỗ trợ việc tự động hóa kiểm thử đột biến các câu lệnh truy vấn. Công cụ được thử nghiệm trên một số lớn các ứng dụng sử dụng các lệnh truy vấn cơ sở dữ liệu cho kết quả khả quan. ABSTRACT Due to the automation and cost reduction of testing process mutation testing is one of the structural testing methods that are popularly used. Mutation testing is applied to many programming languages. In this paper we present a solution for mutation testing applied to SQL database queries. A tool is constructed for automating the mutation testing process of SQL database queries. The solution is applied to some SQL database queries and the results are very promising. 1. Đặt vấn đề Kiểm thử là một trong những hoạt động quan trọng trong tiến trình phát triển phần mềm. Nó góp một phần rất lớn trong việc đánh giá chất lượng của một phần mềm và là qui trình bắt buộc trong các dự án phát triển phần mềm trên thế giới cũng như trong nước. Có rất nhiều kỹ thuật kiểm thử phần mềm được phát triển trong đó kiểm thử đột biến là kỹ thuật hỗ trợ việc đánh giá chất lượng của bộ dữ liệu kiểm thử. Hiện nay nhu cầu sử dụng ngôn ngữ vấn tin có cấu trúc SQL trong các đơn vị nghiên cứu và phát triển phần mềm ngày càng cao. Do đó có được một hệ thống ứng dụng kiểm thử đột biến để đánh giá chất lượng các bộ
