Đồ thị nhân quả là một kỹ thuật thiết kế ca kiểm thử, nó cung cấp một sự biểu diễn chính xác các điều kiện logic và các hành động tƣơng ứng.
Đồ thị nhân quả sử dụng mô hình các quan hệ logic giữa các nguyên nhân và kết quả cho thành phần phần mềm. Mỗi nguyên nhân đƣợc biểu diễn nhƣ một điều kiện (đúng hoặc sai) của một đầu vào, hoặc kết hợp các đầu vào với nhau. Mỗi kết quả đƣợc biểu diễn nhƣ một biểu thức Bool, biểu diễn một kết quả tƣơng ứng cho những thành phần vừa thực hiện.
Kỹ thuật đồ thị nhân quả gồm bốn bƣớc sau đây:
Các nguyên nhân (điều kiện vào) và kết quả (hành động) đƣợc lập danh sách cho một module và mỗi chúng đƣợc gán một định danh.
Phát triển một đồ thị nhân quả.
Chuyển đồ thị đó thành bảng quyết định.
Các quy luật của bảng quyết định trên đƣợc sử dụng xây dựng các ca kiểm thử.
Các ký hiệu đơn giản hóa sử dụng trong đồ thị nhân quả, gồm các phần tử mô tả nhƣ bảng 2.8.
Các quy tắc trong bảng quyết định đƣợc mô tả nhƣ sau:
Ví dụ: Để tính thuế thu nhập, ngƣời ta có mô tả sau:
Ngƣời vô gia cƣ nộp 4% thuế thu nhập
Ngƣời có nhà ở nộp thuế theo bảng sau:
Tổng thu nhập Thuế
5.000.000 đồng 4%
> 5.000.000 6%
Ta có: Quan hệ giữa nguyên nhân (đầu vào) và kết quả (đầu ra) nhƣ sau:
Nguyên nhân Kết quả
1. Ngƣời có nhà ở
2. Tổng thu nhập <= 5.000.000 3. Tổng thu nhập > 5.000.000
11. Nộp 4% thuế 12. Nộp 6% thuế
Đồ thị biểu diễn quan hệ logic rõ ràng giữa nguyên nhân- kết quả
Hình 2. 2 - Ví dụ đồ thị nhân quả
Xây dựng bảng quyết định dựa trên đồ thị. Từ đây, ta có thể xây dựng đƣợc bốn trƣờng hợp kiểm thử (một trƣờng hợp cho việc nộp thuế 6% và ba trƣờng hợp kiểm thử cần cho việc nộp thuế 4%)
Bảng 2. 9 - Bảng quyết định tính thuế thu nhập
Trong đó: - Y: “true” - N: “false”
- X: xử lý đƣợc thực hiện.
2.3. KIỂM THỬ HỘP TRẮNG
Kiểm thử hộp trắng là kỹ thuật cơ bản để xây dựng các ca kiểm thử. Khác với kiểm thử hộp đen, kiểm thử hộp trắng dựa trên cấu trúc bên trong của chƣơng trình để tạo ra ca kiểm thử.
Kiểm thử hộp đen tạo ra ca kiểm thử dựa trên đặc tả, nhƣ thế đảm bảo đƣợc mọi phần trong chƣơng trình đƣợc thực thi bởi các ca kiểm thử. Giả sử nếu có một phần nào đó không đƣợc thực thi bởi bất kì ca kiểm thử nào đó, các lỗi trong phần đó sẽ không bị phát hiện. Trong khi kiểm thử hộp trắng có thể đảm bảo các thành phần (câu lệnh, rẽ nhánh, lộ trình,…) trong chƣơng trình đƣợc thực thi.
Kiểm thử hộp trắng có các đặc điểm:
Hiệu quả trong việc phát hiện các lỗi về cài đặt, nghĩa là các lỗi của lập trình viên.
Chỉ đƣợc thực hiện khi biết cấu trúc bên trong của chƣơng trình, nghĩa là thiết kế hay mã nguồn.
Có chi phí cao (do dựa trên cấu trúc chi tiết của chƣơng trình), vì vậy chủ yếu chỉ áp dụng cho kiểm thử đơn vị và ngoài ra có thể áp dụng cho kiểm thử tích hợp.
Phần lớn kiểm thử hộp trắng là các kĩ thuật kiểm thử dựa trên đồ thị, nghĩa là biểu diễn cấu trúc chƣơng trình bởi đồ thị, sau đó tạo ra dữ liệu nhằm bao phủ các thành phần của đồ thị.