Chương 2 : Phương pháp sinh dữ liệu kiểm thử dòng điều khiển
2.5. Sinh ca kiểm thử từ đường đi
2.5.1. Sinh dữ liệu kiểm thử
Dữ liệu kiểm thử là bộ giá trị đầu vào được chọn để thực thi ca kiểm thử trên đường đi. Với mỗi đường kiểm thử, để sinh bộ dữ liệu kiểm thử tương ứng, chúng ta sẽ giải hệ ràng buộc với các biến là tham số của đối tượng cần kiểm thử sao cho giá trị các biến thỏa mãn các điều kiện trên đường đi.
Ví dụ, để sinh dữ liệu kiểm thử cho tập đường kiểm thử ứng với tiêu chi phủ điều kiện con của hàm laNamNhuan đã tìm được ở Mục 2.4.3, liệt kê như dưới đây, ta sẽ
phân tích và giải các hệ ràng buộc trên mỗi đường đi sao cho điều kiện tại các điểm quyết định được thỏa mãn. Bảng 2.5 là dữ liệu kiểm thử cho mỗi đường đi.
p1: 1(T), 2
p2: 1(F), 3a(T), 4
p3: 1(F), 3a(F), 3b(T), 3c(T), 4
p4: 1(F), 3a(F), 3b(T), 3c(F), 5
p5: 1(F), 3a(F), 3b(F), 5
- Xét đường đi p1: 1(T), 2. Để đường đi này được thi hành thì nghiệm của hệ ràng buộc ứng với đường đi này là các giá trị nguyên sao cho điều kiện tại đỉnh quyết định 1 (year<0) là đúng. Giả sử ta chọn giá trị year = - 1 làm dữ liệu kiểm thử của đường đi này.
- Xét đường đi p2: 1(F), 3a(T), 4. Để đường đi này được thi hành thì nghiệm của hệ ràng buộc ứng với đường đi này là các giá trị nguyên thỏa mãn điều kiện tại đỉnh quyết định 1(year<0) là sai và điều kiện tại đỉnh quyết định 3a - (year%400==0) là đúng. Giả sử ta chọn giá trị year = 2000 làm dữ liệu kiểm thử của đường đi này. - Xét đường đi p3: 1(F), 3a(F), 3b(T), 3c(T),4. tương tự với cách làm trên ta chọn year =1996 để các điều kiện tại đỉnh quyết định 1 và 3a là sai; điều kiện tại đỉnh
3b (year%4==0) và điều kiện tại đỉnh 3c (year%100!=0) là đúng. Giả sử ta chọn year = 1996 làm dữ liệu kiểm thử của đường đi này.
- Tương tự, với đường đi p4: 1(F), 3a(F), 3b(T), 3c(F), 5. Ta chọn giá trị year = 1200 làm dữ liệu kiểm thử để điều kiện tại đỉnh 3b (year%4==0) là đúng và điều kiện tại các đỉnh 1, 3a, 3c là sai.
- Cuối cùng, với đường đi p5: 1(F), 3a(F), 3b(F), 5. Để đường đi được thi hành thì nghiệm của hệ ràng buộc ứng với đường đi này là giá trị nguyên sao cho điều kiện tại các đỉnh đỉnh 1, 3a, 3b là sai. Ta chọn giá trị year = 2001 làm dữ liệu kiểm thử.
Bảng 2.5. Dữ liệu kiểm thử cho tiêu chí phủ điều kiện con của hàm laNamNhuan
STT Path Input EO RO Tc1 1(T), 2 -1 Tc2 1(F), 3a(T), 4 2000 Tc3 1(F), 3a(F), 3b(T), 3c(T), 4 1996 Tc4 1(F), 3a(F), 3b(T), 3c(F), 5 1200 Tc5 1(F), 3a(F), 3b(F), 5 2001