PHƯƠNG PHÁP SINH TỰ ĐỘNG CA KIỂM THỬ TỪ MÔ HÌNH CA SỬ DỤNG

• Main Author: Chu Thị Minh Huệ, Đặng Đức Hạnh, Nguyễn Ngọc Bình
• Format: Article
• Published: 2016
• Subjects: Sinh các ca kiểm thử tự động, đặc tả ca sử dụng, cam kết, USL, Use Case Specification, Automatic Test Generation, Contract.
• Online Access: http://repository.vnu.edu.vn/handle/VNU_123/9825
• Institution: Vietnam National University, Hanoi

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