The new circle in Fig. 1.4 is for T

The new circle in Fig. 1.4 is for Test Cases. Notice there is a slight discrepancy with our Universe of Discourse, the set of program behaviors. Since a test case causes a program behavior, the mathematicians might forgive us. Now, consider the relationships among the sets S, P, and T. There may be specified behaviors that are not tested (regions 2 and 5), specified behaviors that are tested (regions 1 and 4), and test cases that correspond to unspecified behaviors (regions 3 and 7).

Kết quả (Việt) 1:

Mới tròn trong hình 1.4 là cho trường hợp thử nghiệm. Nhận thấy có một sự khác biệt nhỏ với chúng tôi vũ trụ của Discourse, tập của chương trình hành vi. Kể từ khi một trường hợp thử nghiệm gây ra hành vi chương trình, các nhà toán học có thể tha thứ cho chúng tôi. Bây giờ, xem xét các mối quan hệ giữa các bộ S, P, và T. Có có thể được xác định hành vi đó là chưa thử nghiệm (vùng 2 và 5), được chỉ định hành vi thử nghiệm (khu vực 1 và 4), và trường hợp kiểm tra tương ứng với unspecified hành vi (khu vực 3 và 7).

Kết quả (Việt) 2:

Các vòng tròn mới trong hình. 1.4 là cho trường hợp thử nghiệm. Chú ý có một sự khác biệt nhỏ so với vũ trụ của chúng ta về Discourse, tập các hành vi chương trình. Kể từ khi một trường hợp thử nghiệm gây ra một chương trình hành vi, các nhà toán học có thể tha thứ cho chúng ta. Bây giờ, hãy xem xét các mối quan hệ giữa các bộ S, P và T. Có thể có hành vi quy định mà không được kiểm tra (khu vực 2 và 5), các hành vi quy định được kiểm tra (vùng 1 và 4), và kiểm tra các trường hợp tương ứng với không xác định hành vi (vùng 3 và 7).