Kiểm tra dựa trên mô hình

Kiểm tra dựa trên mô hình là gì?

Kiểm thử dựa trên mô hình là một kỹ thuật kiểm thử phần mềm trong đó các trường hợp kiểm thử được bắt nguồn từ một mô hình mô tả các khía cạnh chức năng của hệ thống được kiểm thử.

Nó sử dụng một mô hình để tạo các thử nghiệm bao gồm cả thử nghiệm ngoại tuyến và trực tuyến.

Kiểm tra dựa trên mô hình - Tầm quan trọng:

• Kiểm tra đơn vị sẽ không đủ để kiểm tra các chức năng

• Để đảm bảo rằng hệ thống đang hoạt động theo cùng một chuỗi hành động.

• Kỹ thuật thử nghiệm dựa trên mô hình đã được chấp nhận như một phần tích hợp của quá trình thử nghiệm.

• Các công cụ thương mại được phát triển để hỗ trợ kiểm tra dựa trên mô hình.

Ưu điểm:

• Đạt được mức độ Tự động hóa cao hơn.

• Có thể thử nghiệm hoàn chỉnh.

• Có thể dễ dàng kiểm tra các thay đổi đối với mô hình.

Nhược điểm:

• Yêu cầu một đặc điểm kỹ thuật hoặc mô hình chính thức để thực hiện thử nghiệm.

• Những thay đổi đối với mô hình có thể dẫn đến một tập hợp các thử nghiệm khác hoàn toàn.

• Các trường hợp kiểm tra được kết hợp chặt chẽ với mô hình.