Các kỹ thuật sinh tự động dữ liệu kiểm thử dựa trên các biểu đồ UML : Luận án TS. Máy tính: 624801

• Main Author: Vũ, Thị Đào
• Other Authors: Nguyễn, Việt Hà
• Format: Theses and Dissertations
• Language: Vietnamese
• Published: 2019
• Subjects: Kỹ thuật máy tính; 5.71
• Online Access: http://repository.vnu.edu.vn/handle/VNU_123/65175
• Institution: Vietnam National University, Hanoi

Đề xuất một quy trình sinh dữ liệu kiểm thử từ biểu đồ tuần tự UML 2.0 và các ràng buộc OCL. Biểu đồ tuần tự UML 2.0 được áp dụng cho tất cả mười hai toán tử, có cấu trúc phức tạp, các khối lồng ghép nhau. Quá trình sinh dữ liệu kiểm thử tự động được áp dụng cho các biến số và cấu trúc động. Các kịch bản và dữ liệu kiểm thử được sinh ra có thể chuyển thủ công thành các đoạn mã kiểm thử (test script) và thực hiện tự động dựa trên các công cụ kiểm thử. Công cụ đã được cài đặt thực thi với các hệ thống cụ thể và đưa ra các kết quả để minh chứng tính hiệu quả và chính xác của phương pháp đề xuất. Các kết quả thực nghiệm chỉ ra rằng phương pháp đề xuất sinh ra dữ liệu kiểm thử có độ bao phủ và khả năng tìm lỗi tốt hơn phương pháp đã có trong hầu hết các trường hợp.