Chương 3 : Sinh và thực thi các ca kiểm thử tự động
3.4 Đánh giá phương pháp
Đặc tả hệ thống bằng ôtômát hữu hạn trạng thái là phương pháp đặc tả phổ biến nhất trong thiết kế, kiểm thử phần mềm nói riêng và các hệ thống nói chung [1]. Phương pháp đặc tả này đã được chứng minh là một phương pháp hữu ích dùng để đặc tả các hành vi của phần mềm và kiểm thử phần mềm. Đã có nhiều nhà nghiên cứu tập trung vào hướng đặc tả phần mềm bằng phương pháp này nhằm áp dụng cho phương pháp kiểm thử dựa trên mơ hình cho các ứng dụng Web. Tuy nhiên, đối với các ứng dụng Web lớn, việc áp dụng phương pháp đặc tả mơ hình bằng ơtơmát hữu hạn trạng thái thường ít được sử dụng hơn phương pháp đặc tả mơ hình bằng máy trạng thái UML. Các hệ thống lớn trên thế giới chủ yếu được đặc tả bằng máy trạng thái UML. Ngay cả với các ứng dụng Web vừa, việc xây dựng một mơ hình bằng ơtơmát hữu hạn trạng thái cũng vô cùng phức tạp. Số lượng các trạng thái cho các ứng dụng này có thể lên đến hàng nghìn hoặc nhiều hơn nữa. Do đó, chúng ta sẽ gặp khó khăn khi biểu diễn ôtômát hữu hạn trạng thái bằng đồ thị chuyển trạng thái. Để giải quyết một phần vấn đề này, chúng ta có thể biểu diễn ôtômát hữu hạn trạng thái bằng bảng chuyển trạng thái. Ngoài ra, việc đặc tả ứng dụng Web bằng ôtômát hữu hạn trạng thái vẫn còn tồn tại một số vấn đề như: trạng thái có các hành vi khó xác định, thiếu trạng thái, thừa trạng thái. Khó khăn lớn nhất để có thể áp dụng phương pháp một cách hiệu quả là phải có một chun gia đặc tả hình thức có khả năng phân tích, thiết kế hệ thống và phải hiểu hệ thống thật chi tiết.
Đối với phương pháp sinh các đường dẫn kiểm thử bằng cách duyệt đồ thị thì đây là một phương pháp có khả năng bao phủ tốt các trường hợp cần kiểm thử và tương đối dễ dàng cài đặt. Nhưng có một vấn đề trong việc tìm kiếm các ca kiểm thử ở phương pháp này. Đó là, số lượng các đường dẫn kiểm thử được sinh ra là rất lớn, trong khi đó chỉ thực sự cần những đường dẫn kiểm thử có thể tìm được lỗi của ứng dụng Web.
Như vậy, để vận dụng và thực hiện một cách hiệu quả phương pháp kiểm thử dựa trên mơ hình này thì chúng ta cần phải khắc phục một số khó khăn trên.