4.1 .Kiến trúc công cụ
4.2.3. Đầu ra công cụ
4.2.3.1.Đồ thị dòng điều khiển
Sau khi người sử dụng chọn một hàm Java để sinh ca kiểm thử, công cụ JavaUnitCFT sẽ phân tích hàm đầu vào này để sinh ra đồ thị dòng điều khiển thỏa mãn tiêu chí phủ câu lệnh, phủ nhánh và phủ điều kiện con.
Màn hìnhĐồ thị phủ cấp 1,2hiển thị CFG thỏa mãn tiêu chí phủ câu lệnh và phủ nhánh. Thẻ Đồ thị phủ cấp 3hiển thị CFG ứng với tiêu chí phủ điều kiện con. Hình 4.8 và 4.9 mô tả đồ thị CFG của hàm KiemTraNamNhuan nêu ở hình 4.7 thỏa mãn tiêu chí phủ câu lệnh và phủ nhánh. Hình 4.10 và 4.11 hiển thị đồ thị CFG hàm
KiemTraNamNhuanứng với tiêu chí phủ điều kiện con. Đỉnh đầu tiên mang nhãn
Begin, đỉnh kết thúc mang nhãn End. Đường màu xanh lam ứng với nhánh đúng,
đường màu xanh lá cây ứng với nhánh sai.
Hình 4.8. Đồ thị CFG thỏa mãn tiêu chí phủ câu lệnh và phủ nhánh trên công cụ
38
Hình 4.9. Chi tiết đồ thị CFG thỏa mãn tiêu chí phủ câu lệnh và phủ nhánh
Hình 4.10. Đồ thị CFG thỏa mãn tiêu chí phủ điều kiện con trên công cụ
39
Hình 4.11.Chi tiết đồ thị CFG thỏa mãn tiêu chí phủ điều kiện con
Hình 4.12 và 4.13 thể hiện một số đường kiểm thử được sinh ra từ đồ thị CFG tương ứng, khi người dùng nhấn chọn một đường kiểm thử bất kỳ đường đó sẽ chuyển sang màu đỏ.
Hình 4.12. Đường đi tương ứng với một đường kiểm thử trên CFG trên công cụ
40
Hình 4.13. Đường đi tương ứng với một đường kiểm thử trên CFG 4.2.3.2.Tập đường kiểm thử 4.2.3.2.Tập đường kiểm thử
Từ các đồ thị CFG tương ứng với từng độ phủ được sinh tự động từ mã nguồn hàm Java như ở bước trên, chương trình thực hiện sinh các đường kiểm thử tương ứng với từng độ phủ:Phủ câu lệnh, Phủ nhánh vàPhủ điều kiện con. Cụ thể,Phủ câu lệnh
hiển thị tập đường kiểm thử thỏa mãn tiêu chí phủ câu lệnh. Phủ nhánhhiển thị danh sách tập đường kiểm thử thỏa mãn tiêu chí phủ nhánh. VàPhủ điều kiện con đưa ra tập đường kiểm thử thỏa mãn tiêu chí phủ điều kiện con. Ngoài ra, tập đường đi độc lập tương ứng với độ phủ câu lệnh và phủ nhánh sẽ được hiển thị ở Tập đường đi độc lập.
Hình 4.14. Tập đường kiểm thử thỏa mãn phủ câu lệnh hàm KiemTraNamNhuan
41
Hình 4.15. Tập đường kiểm thử thỏa mãn phủ nhánh hàm KiemTraNamNhuan
Hình 4.16. Tập đường kiểm thử thỏa mãn phủ điều kiện con hàm KiemTraNamNhuan
Hình 4.17. Tập tất cả các đường đi độc lập.
Hình 4.17 hiển thị tập tất cả các đường đi độc lập, là cơ sở để sinh tậpđường kiểm thử phủ nhánh và phủ câu lệnh cho hàm KiemTraNamNhuan.
4.2.2.3.Tập dữ liệu cho tập ca kiểm thử
Với mỗi đường kiểm thử, bộ giá trị biến của ca kiểm thử tương ứng sẽ hiển thị trong cột Testcases.Chi tiết hơn và bộ giá trị này được hiển thị ở thẻ Chi tiết nghiệm
với các thông tin như: kiểu biến, tên biến, giá trị trước khi thực hiện ca kiểm thử, giá trị sau khi thực hiện ca kiểm thử.Hình 4.18 mô tả chi tiết một trong số các ca kiểm thử của hàm KiemTraNamNhuan với độ phủ nhánh.
Hình 4.18. Ca kiểm thử thỏa mãn độ phủ nhánh của hàm KiemTraNamNhuan
42