TAILIEUCHUNG - 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

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à .

• Kĩ thuật Viễn thông
• Kiểm thử tự động từ
• Mô hình thiết kế UML
• Ngôn ngữ ràng buộc đối tượng OCL
• Mô hình thiết kế OCL
• Tiêu chuẩn luồng thông điệp
• Kiểm thử phần mềm
• Sinh dữ liệu kiểm thử tự động
• Kiểm thử tĩnh
• Kiểm thử động
• Kĩ thuật EGT
• Luận văn Thạc sĩ
• Kiểm thử tự động
• Kiểm thử hướng dữ liệu
• Kiểm thử hướng từ khóa
• Kỹ thuật phần mềm
• Công nghệ thông tin
• Kiểm thử luồng song song
• Kiểm thử dựa trên mô hình
• Luận văn Thạc sĩ Kỹ thuật phần mềm
• Phương pháp sinh dữ liệu kiểm thử
• Hệ thống chấm bài lập trình
• Kiểm thử tự động từ mã nguồn
• tự động hóa
• công nghệ phần mềm
• quy trình kiểm thử
• nghiên cứu khoa học
• điện toán đám mây
• Phương pháp sinh tự động ca kiểm thử
• Mô hình ca sử dụng
• Đặc tả ca sử dụng
• Use Case Specification
• Automatic Test Generation
• Kịch bản kiểm thử ca sử dụng
• Mô hình hóa quy trình nghiệp vụ
• Quản lý quy trình nghiệp vụ
• Sinh tự động ca kiểm thử
• Mô hình thực thi được
• Mô hình luồng quy trình nghiệp vụ
• Sản phẩm phần mềm
• Kỷ yếu hội nghị Quốc gia về Điện tử truyền thông
• Tương thích điện từ trường
• Tiêu chuẩn MIL STD 461 F/G
• Phát xạ nhiễu điện từ trường
• Phép thử phát xạ bức xạ
• Kỹ thuật sinh test case