Chƣơng 1 TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM
2.6. Thuận lợi và khó khăn của kiểm thử dựa trên mô hình
Trong phát triển phần mềm các kiểm thử viên thường thực hiện công việc của mình bằng phương pháp thủ công nên thường thiếu thời gian và chi phí để thực hiện công việc kiểm thử, và giá thành dành cho các hoạt động này thường rất cao…Do đó, việc kiểm thử dựa trên mô hình sẽ là một giải pháp hiệu quả nhằm khắc phục những vấn đề này.
o Giảm chi phí và thời gian: Do quá trình kiểm thử được thực hiện tự động nên tính hiệu quả của phương pháp này rất cao giúp các kiểm thử viên giảm được thời gian làm phần mềm và chất lượng phần mềm được tốt hơn.
o Độ bao phủ tốt hơn: Nếu mô hình của hệ thống được xây dựng tốt thì quá trình kiểm thử dựa trên mô hình sinh ra nhiều ca kiểm thử và phát hiện nhiều lỗi. Bên cạnh đó cũng giảm các lỗi do người kiểm thử sinh ra trong quá trình kiểm thử sản phẩm.
o Đầy đủ tài liệu: Các tài liệu liên quan đến quá trình phát triển và kiểm thử phần mềm như: mô hình hệ thống, các đường đi, các ca kiểm thử…,sẽ giúp cho các kiểm thử viên hiểu rõ hơn về các ca kiểm thử và các kịch bản kiểm thử.
o Khả năng sử dụng lại cao: Mỗi khi phần mềm được cải tiến, sẽ dễ dàng sinh thêm các ca kiểm thử và kiểm thử lại một cách nhanh chóng và hiệu quả.
o Kiểm thử dựa trên mô hình giúp người phát triển hiểu rõ hơn về hệ thống cần kiểm thử thông qua việc xây dựng và phân tích mô hình hệ thống.
o Sớm phát hiện lỗi và sự không rõ ràng trong đặc điểm kỹ thuật và thiết kế vì vậy sẽ tăng thời gian giải quyết vấn đề trong kiểm thử.
o Tự động tạo và kiểm tra nhằm tránh các ca kiểm thử trùng nhau hoặc không hữu hiệu.
o Khi một yêu cầu của hệ thống thay đổi việc thay đổi các ca kiểm thử là rất phức tạp nhưng nó được giải quyết khi mà kiểm thử dựa trên mô hình.
o Kiểm thử dựa trên mô hình có khả năng đánh giá chất lượng phần mềm.
Tuy nhiên những thuận lợi về việc kiểm thử dựa trên mô hình được nêu ở trên nhưng cũng khó áp dụng trong thực tế do có một số khó khăn:
Khó xây dựng mô hình chính xác: Việc xây dựng mô hình rất khó khăn, tốn kém và tiềm ẩn nhiều lỗi. Vì vậy kiểm thử dựa trên mô hình cần có mô hình đặc tả chính xác hành vi của hệ thống.
Yêu cầu cao về kiểm thử viên: Do phải xây dựng mô hình của hệ thống vì vậy người kiểm thử phần mềm phải yêu cầu là những người có khả năng phân tích và thiết kế hệ thống.
Kiểm thử viên 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 cần thực hiện.
Tạo giá trị đầu ra mong đợi cho các ca kiểm thử là một trong những vấn đề khó khăn nhất của kiểm thử dựa trên mô hình.
Khó khăn trong việc sử dụng các ca kiểm thử được tạo ra từ mô hình: Lập trình viên tiến hành cài đặt hệ thống một cách độc lập nên khi đã cài đặt xong thường khó thực thi các ca kiểm thử được tạo ra từ mô hình vì rất nhiều lý do khác nhau. Thông thường họ phải tiến hành nghiên cứu mô hình và đặc tả lại các ca kiểm thử mới sử dụng được chúng. Mô hình thông thường trừu tượng và tổng quát hơn cài đặt của nó.