Ưu điểm kiểm thử dựa trên mô hình

■ Khó xây dựng mô hình chính xác. Việc xây dựng mô hình là khó, tốn Khó xây dựng mô hình chính xác. Việc xây dựng mô hình là khó, tốn kém và tiềm ẩn nhiều lỗi

kém và tiềm ẩn nhiều lỗi

■ Yêu cầu cao về kiểm thử viên: do phải xây dựng mô hình nên đòi hỏi Yêu cầu cao về kiểm thử viên: do phải xây dựng mô hình nên đòi hỏi người kiểm thử phải có kỹ năng phân tích và thiết kế hệ thống, người

người kiểm thử phải có kỹ năng phân tích và thiết kế hệ thống, người

kiểm thử cũng cần phải có kiến thức tốt về các phương pháp hình

kiểm thử cũng cần phải có kiến thức tốt về các phương pháp hình

thức và đặc tả hình thức, có hiểu biết chi tiết và chính xác về hệ thống

thức và đặc tả hình thức, có hiểu biết chi tiết và chính xác về hệ thống

■ Tạo giá trị đầu ra mong đợi là bước khó khăn nhất của kiểm thử dựa Tạo giá trị đầu ra mong đợi là bước khó khăn nhất của kiểm thử dựa trên mô hình

trên mô hình

■ Khó khăn trong việc sử dụng các ca kiểm thử tạo ra từ mô hình vì Khó khăn trong việc sử dụng các ca kiểm thử tạo ra từ mô hình vì thực tế cùng một đặc tả hình thức nhưng lập trình viên có thể cài đặt

thực tế cùng một đặc tả hình thức nhưng lập trình viên có thể cài đặt

chương trình theo nhiều cách khác nhau nên khó thực thi các ca kiểm

chương trình theo nhiều cách khác nhau nên khó thực thi các ca kiểm

thử tạo ra từ mô hình

thử tạo ra từ mô hình

72