CHƯƠNG 2 : THIẾT KẾ TEST CASE
2. Các kỹ thuật thiết kế Test case
1.1.4. Kỹ thuật bao phủ quyết định/điều kiện – Decision/ Condition
Coverage
Tư tưởng: Thực hiện đủ các ca kiểm thử mà mỗi điều kiện trong 1 quyết định thực hiện trên tất cả các kết quả có thể ít nhất 1 lần, và mỗi điểm vào được gọi ít nhất 1 lần.
Điểm yếu của bao phủ quyết định/điều kiện là mặc dù xem ra nó có thể sử dụng tất cả các kết quả của tất cả các điều kiện, nhưng thường khơng phải vậy vì những điều kiện chắc chắn đã cản các điều kiện khác.
Các quyết định đa điều kiện trong chương trình nguồn đã bị chia thành các quyết định và các nhánh riêng vì hầu hết các máy khơng được chế tạo để có thể thực hiện các quyết định đa điều kiện. Khi đó 1 bao phủ kiểm thử tỉ mỉ hơn xuất hiện là việc sử dụng tất cả các kết quả có thể của mỗi quyết định gốc. Hai ca kiểm thử bao phủ quyết định trước không làm được điều này; chúng không thể sử dụng kết quả false của quyết định H và kết quả true của quyết định K.
Lí do, như đã được chỉ ra trong hình 3.2, là những kết quả của các điều kiện trong các biểu thức and và or có thể cản trở hay ngăn chặn việc ước lượng các quyết định khác. Ví dụ, nếu 1 điều kiện and là sai, không cần kiểm tra các điều kiện tiếp theo trong biểu thức. Tương tự như vậy, nếu 1 điều kiện or là đúng thì cũng khơng cần kiểm tra các điều kiện cịn lại. Do đó, các lỗi trong biểu thức logic không phải lúc nào cũng được phát hiện bằng các tiêu chuẩn bao phủ điều kiện và bao phủ quyết định/điều kiện.