Bài viết đưa ra một số khái niệm cơ bản, định nghĩa về độ bao phủ và một số độ bao phủ liên quan, cách tiếp cận và phương pháp đưa ra để sinh các ca kiểm thử từ các mô hình thiết kế UML và OCL. | Phương pháp sinh các ca kiểm thử tự động từ các mô hình thiết kế UML và ngôn ngữ ràng buộc đối tượng OCL Các công trình nghiên cứu, phát triển và ứng dụng CNTT-TT Tập V-1, Số 11 (31), tháng 6/2014 Phương pháp sinh các ca kiểm thử tự động từ các mô hình thiết kế UML và ngôn ngữ ràng buộc đối tượng OCL An Approach for Automated Test Case Generation from UML Models and OCL Vũ Thị Đào, Tô Văn Khánh và Nguyễn Việt Hà Abstract: In software development, testing is the thử là bước khó và thách thức nhất trong giai đoạn crucial and integral process to produce a reliable and kiểm thử, đặc biệt đối với các hệ thống lớn vốn đã high quality system. Automated test case generation phức tạp để kiểm thử mà còn đòi hỏi một số lượng lớn plays a significant role in practice and a lot of các ca kiểm thử được tạo ra. Kiểm thử viên tốn rất researches on it has been investigated in recent years. nhiều thời gian và công sức để thiết kế các ca kiểm thử The paper proposes an automated test case generation có độ bao phủ tốt và có thể tìm được nhiều lỗi của hệ approach based on UML sequence diagrams, class thống. Vì vậy, quá trình sinh các ca kiểm thử tự động diagrams and Object Constraint Language (OCL). trở nên thực sự cần thiết, nhất là đối với những phần Comparing with other test case generation, the mềm lớn và phức tạp. Quá trình này có thể làm giảm approaches [7,8,9] have achieved message paths giá thành phát triển phần mềm, cũng như tiết kiệm coverage, pre- and postcondition coverage while our thời gian, nâng cao chất lượng phần mềm, tăng độ tin approach also gain extra boundary coverage and cậy, và độ bao phủ các yêu cầu phần mềm [3]. association-end multiplicity coverage. In addition, the Trong cách tiếp cận kiểm thử dựa trên mô hình có UML sequence diagrams can contain other nested ba hướng: kiểm thử từ máy hữu hạn trạng thái, kiểm sequence diagrams and apply to interactive operators thử từ mô hình các đặc tả (như Z,B,Spec#.) và .
