TAILIEUCHUNG - Phương pháp sinh tự động ca kiểm thử từ mô hình ca sử dụng

Bài viết Phương pháp sinh tự động ca kiểm thử từ mô hình ca sử dụng đề xuất một phương pháp cho đặc tả ca sử dụng bằng một mô hình và hướng dẫn sinh tự động các ca kiểm thử tự động từ mô hình này. Mời các bạn tham khảo bài viết để nắm bắt nội dung chi tiết. | Kỷ yếu Hội nghị Quốc gia lần thứ VIII về Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin (FAIR); Hà Nội, ngày 9-10/7/2015 DOI: PHƯƠNG PHÁP SINH TỰ ĐỘNG CA KIỂM THỬ TỪ MÔ HÌNH CA SỬ DỤNG Chu Thị Minh Huệ1, 2, Đặng Đức Hạnh2, Nguyễn Ngọc Bình3 1 Khoa Công nghệ thông tin, Trường Đại học Sư phạm Kỹ thuật Hưng Yên 2 Khoa Công nghệ thông tin, Trường Đại học Công nghệ - Đại học Quốc gia Hà Nội 3 Viện Quốc tế Pháp ngữ - Đại học Quốc gia Hà Nội Huectm@, hanhdd@, nnbinh@ TÓM TẮT - Mô hình ca sử dụng (Use Case) nắm bắt các chức năng mà hệ thống phần mềm đáp ứng. Hiện nay, mô hình ca sử dụng thông thường được biểu diễn bằng biểu đồ biểu đồ Use Case như trong UML và tài liệu hóa các đặc tả của từng ca sử dụng (Use Case Specification) ở dạng văn bản. Đặc tả ca sử dụng được xây dựng trong pha đặc tả yêu cầu phần mềm và nó có thể được sử dụng cho việc tạo các ca kiểm thử (Test Case) ở mức kiểm thử hệ thống (System Testing). Sử dụng mô hình ca sử dụng để thiết kế kiểm thử (Test Design) ở giai đoạn sớm trong vòng đời phát triển phần mềm sẽ làm giảm chi phí cho phát triển hệ thống. Đặc tả ca sử dụng thường được tài liệu hóa bằng ngôn ngữ tự nhiên. Vì vậy việc sinh tự động các ca kiểm thử từ các kịch bản của ca sử dụng vẫn còn là một khoảng cách lớn. Trong bài báo này, chúng tôi đề xuất một phương pháp cho đặc tả ca sử dụng bằng một mô hình và hướng dẫn sinh tự động các ca kiểm thử tự động từ mô hình này. Trong đó chúng tôi đề xuất một ngôn ngữ mô hình để mô hình hóa đặc tả ca sử dụng USL (Use Case Specification Language) và sinh tự động các ca kiểm thử. Ngôn ngữ USL được mở rộng từ biểu đồ hoạt động trong UML và thêm vào khái niệm cam kết (Contract) cho phép đặc tả chi tiết các hành động và điều kiện gác trong luồng chuyển. Với cách tiếp cận này, chúng tôi xây dựng một MetaModel mô tả cú pháp trừu tượng của ngôn ngữ USL. Từ đó đem lại khả năng chuyển trực tiếp từ mô hình đặc tả ca sử dụng sang các ca kiểm thử. Từ khóa - Sinh

• Kỹ thuật lập trình
• 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
• 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