Những tài liệu gần giống với tài liệu bạn đang xem
Những tài liệu bạn đã xem
Kiểm thử dựa trên mô hình
TÓM TẮT Quá trình sinh các ca kiểm thử tự động dựa trên mô hình gồm các công đoạn chính: Xây dựng mô hình, nhúng mã C, áp dụng công cụ Spin để sinh các ca kiểm thử. Trong đó xây dựng mô hình là công đoạn đầu tiên, nhiệm vụ chính ở đây là từ mô tả
doc Đăng bởi
chater_friendly
