1. Phương pháp sinh ca kiểm thử dựa trên ontology
1.1.2. Các giai đoạn sinh ca kiểm thử thông qua ví dụ
Phần này sẽ mô tả các giai đoạn của sinh ca kiểm thử từ các đặc tả bằng cách sử dụng một ví dụ đơn giản của Unit Test dựa trên máy trạng thái UML.
Trong giai đoạn 1, các mục tiêu kiểm thử được tạo ra, sự lựa chọn ca kiểm thử ban đầu được thực hiện bằng cách sử dụng suy diễn và kết quả là các bộ test ở mức cao được thể hiện bằng một tập các mục tiêu kiểm thử.
33
Hình dưới đây mô tả một ví dụ sinh ca kiểm thử dựa trên máy trạng thái UML. Trong ví dụ này, những mục tiêu kiểm thử mà xác định kiểm thử phải qua transition t1 và t2 của máy trạng thái, sẽ được tạo ra.
Hình 15. Một ví dụ sinh ca kiểm thử dựa trên máy trạng thái UML
Trong giai đoạn 2, kiểm tra trùng lặp được thực hiện, với mỗi mục tiêu kiểm thử, suy diễn được sử dụng trên một phần ontology của bộ test trừu tượng được tạo ra ở trên, để kiểm tra sự tồn tại của một ca kiểm thử thoả mã mục tiêu kiểm thử.
Hình dưới mô tả một ví dụ, trong đó ca kiểm thử test1 của bộ ca kiểm thử trừu tượng thoả mãn mục tiêu kiểm thử : ca kiểm thử phải qua giao dịch transition t1. Vì vậy mục tiêu kiểm thử này bị bỏ qua. Tiếp theo, một luật kiểm tra trùng lặp khác được tạo ra để kiểm tra mục tiêu kiểm thử khác. Mục tiêu kiểm thử: ca kiểm thử phải qua giao dịch t2 của máy trạng thái – mục tiêu này không được thoả mãn bởi một ca kiểm thử đã có vì vậy nó được cho qua giai đoạn 3 của phương pháp sinh ca kiểm thử.
34
Hình 16. Ca kiểm thử t1 của bộ ca kiểm thử trừu tượng thoả mãn mục tiêu kiểm thử
Trong giai đoạn 3, việc sinh ca kiểm thử trừu tượng sử dụng các phương pháp sinh ca kiểm thử từ các tài liệu của cấu phần phần mềm (ví dụ như duyệt cây đồ thị đối với máy trạng thái UML). Các ca kiểm thử trừu tượng được tạo ra với mục tiêu kiểm thử cho trước và được thêm vào ontology ca kiểm thử trừu tượng.
Hình dưới mô tả một phần của ca kiểm thử trừu tượng được tạo ra cho mục tiêu kiểm thử cho trước và được thêm vào ontology.
35
Hình 17. Một phần của ca kiểm thử trừu tượng được tạo ra cho mục tiêu kiểm thử cho trước
Trong giai đoạn 4, để tạo ra các bộ ca kiểm thử thực thi được thì ontology tri thức thực thi được sử dụng nhằm tạo ra bộ ca kiểm thử có thể thực thi từ ontology bộ ca kiểm thử trừu tượng.
Hình dưới mô tả một phần của bộ ca kiểm thử có thể thực thi được tạo ra từ ca kiểm thử trừu tượng.
Hình 18. Một phần của bộ ca kiểm thử có thể thực thi được tạo ra từ ca kiểm thử trừu tượng