1. Phương pháp sinh ca kiểm thử dựa trên ontology
1.1.1. Qui trình thực hiện
31 Luật bao phủ
Ontology tri thức chuyên gia
Giai đoạn 1: Sinh mục tiêu kiểm thử
Các mục tiêu kiểm thử (đã loại bỏ dư thừa) Giai đoạn 2: Kiểm tra
dư thừa Các mục tiêu kiểm thử
Giai đoạn 3: Sinh ontology kiểm thử
trừu tượng
Ontology tri thức thực thi
Ontoloy chứa các ca kiểm thử trừu tượng
Giai đoạn 4: Sinh các ca kiểm thử có khả
năng thực thi
Các ca kiểm thử có khả năng thực thi
Ontology mô hinh hành vi
Các luật kiểm tra dư thừa
Hình 14. Qui trình sinh ca kiểm thử cho các hệ thống tập trung
Giai đoạn 1: Sinh mục tiêu kiểm thử
Những mô tả dựa trên ontology của các đối tượng cần kiểm thử bao gồm: những đặc tả mô hình hành vi, tri thức chuyên gia, và các luật bao phủ. Những mô tả này được sử dụng để sinh ra một tập các mục tiêu kiểm thử. Giai đoạn này được thực hiện bằng cách suy diễn trên các ontology mô tả các đặc tả.
32
Giai đoạn 2: Kiểm tra dư thừa
Với mọi mục tiêu kiểm thử, một luật kiểm tra dư thừa được áp dụng để kiểm tra xem mục tiêu đó có thể thoả mãn bằng một ca kiểm thử đã có hay không. Ca kiểm thử này nằm trong một ontology của bộ ca kiểm thử trừu tượng. Giai đoạn này cũng được thực hiện bằng cách suy diễn trên các ontology.
Giai đoạn 3: Sinh ontology kiểm thử trừu tượng
Với mỗi mục tiêu kiểm thử (không dư thừa), một ca kiểm thử trừu tượng được tạo ra và được thêm vào ontology kiểm thử trừu tượng. Giai đoạn này được thực hiện bằng cách sử dụng các phương pháp sinh ca kiểm thử phổ biến. (Ví dụ như các thuật toán duyệt đồ thị).
Giai đoạn 4: Sinh các ca kiểm thử có khả năng thực thi
Với mọi ca kiểm thử trừu tượng trong ontology kiểm thử trừu tượng, một ca kiểm thử có khả năng thực thi được sinh ra bằng cách sử dụng ontology tri thức thực thi.
Giai đoạn 1 tạo ra một tập các mục tiêu kiểm thử, sau khi giai đoạn 1 kết thúc, giai đoạn 2 và 3 được thực hiện lặp lại để sinh ra một bộ ca kiểm thử trừu tượng. Sau đó ở giai đoạn 4, dựa trên bộ ca kiểm thử trừu tượng đã có, bộ ca kiểm thử có thể thực thi được tạo ra.