Luận văn Thạc sĩ Kỹ thuật phần mềm: Phương pháp sinh tự động các ca kiểm thử từ đặc tả ca sử dụng

Luận văn đề xuất lý thuyết cho ngôn ngữ mô hình hóa ca sử dụng có giới hạn RUCM cho phép đặc tả ca sử dụng bằng mô hình. Các quy tắc hạn chế và mẫu ca sử dụng phải đƣợc áp dụng trong giai đoạn khởi tạo các yêu cầu của phát triển phần mềm hƣớng ca sử dụng (use case driven software development) để tạo ra các mô hình ca sử dụng chính xác và rõ ràng có thể mô hình hóa trong phạm vi có thể.