Giả sử hàm này là một phần của một số chương trình lớn hơn và chương trình này được chạy với một số bộ kiểm tra.Nếu trong quá trình này thực hiện chức năng 'foo' được gọi là ít nhất một lần, sau đó chức năng bảo hiểm cho các chức năng này là hài lòng.Tuyên bố bảo hiểm cho các chức năng này sẽ được hài lòng nếu nó đã được gọi như là foo(1,1), như trong trường hợp này, mỗi dòng trong các chức năng được thực hiện bao gồm z = x;.Gọi foo(1,1) và foo(1,0) các xét nghiệm sẽ làm hài lòng chi nhánh bảo hiểm bởi vì, trong trường hợp đầu tiên, 2 nếu đáp ứng được điều kiện and z = x; được thực hiện, trong khi trong trường hợp thứ hai, các điều kiện đầu tiên (x > 0) là không hài lòng, mà ngăn cản thi công z = x;.Điều kiện bảo hiểm có thể được hài lòng với các bài kiểm tra cuộc gọi foo(1,1), foo(1,0) và foo(0,1). Đây là cần thiết bởi vì trong trường hợp lần đầu tiên hai, (x > 0) đánh giá để thật sự, trong khi ở một phần ba, nó sẽ đánh giá sai. Cùng lúc đó, trường hợp đầu tiên làm cho (y > 0) đúng, trong khi thứ hai và thứ ba làm cho nó sai.
đang được dịch, vui lòng đợi..
