Tai [TAI89] suggests a condition te

Tai [TAI89] suggests a condition testing strategy that builds on the techniques just outlined. Called BRO (branch and relational operator) testing, the technique guarantees the detection of branch and relational operator errors in a condition provided that all Boolean variables and relational operators in the condition occur only once and have no common variables.
The BRO strategy uses condition constraints for a condition C. A condition constraint for C with n simple conditions is defined as (D1, D2, . . ., Dn), where Di (0 < i ≤ n)is a symbol specifying a constraint on the outcome of the ith simple condition in condition C. A condition constraint D for condition C is said to be covered by an execution of C if, during this execution of C, the outcome of each simple condition in C satisfies the corresponding constraint in D.
For a Boolean variable, B, we specify a constraint on the outcome of B that states that B must be either true (t) or false (f). Similarly, for a relational expression, the symbols >, =, < are used to specify constraints on the outcome of the expression.

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

Tai [TAI89] cho thấy một điều kiện thử nghiệm chiến lược xây dựng trên các kỹ thuật chỉ cần vạch ra. Gọi là BRO (chi nhánh và hệ điều hành) thử nghiệm, các kỹ thuật đảm bảo phát hiện các chi nhánh và các hệ điều hành lỗi trong một tình trạng miễn là tất cả các Boolean biến và nhà khai thác quan hệ trong tình trạng xảy ra chỉ một lần và có không có biến phổ biến.BRO chiến lược sử dụng điều kiện ràng buộc cho một điều kiện C. Một hạn chế tình trạng cho C với điều kiện đơn giản n được định nghĩa là (D1, D2,..., Dn), nơi Di (0 < i ≤ n) là một biểu tượng chỉ định một hạn chế vào kết quả của tình trạng đơn giản ith trong điều kiện C. Một hạn chế của điều kiện D cho điều kiện C được cho là được bảo hiểm bởi một thực hiện C nếu, trong quá trình thực hiện này của C, kết quả của mỗi điều kiện đơn giản trong C thỏa mãn hạn chế tương ứng trong mấtĐối với một biến Boolean, B, chúng tôi chỉ định một hạn chế về kết quả của B mà biểu rằng B phải hoặc là đúng (t) hoặc sai (f). Tương tự như vậy, đối với một biểu hiện quan hệ, các biểu tượng >, =, < được sử dụng để chỉ ra những hạn chế trên các kết quả của biểu thức.

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

Tai [TAI89] cho thấy một chiến lược kiểm tra điều kiện xây dựng dựa trên các kỹ thuật chỉ vạch ra. Được gọi là BRO (chi nhánh và nhà điều hành quan hệ) thử nghiệm, kỹ thuật đảm bảo phát hiện sai sót chi nhánh và nhà điều hành quan hệ trong một điều kiện cung cấp tất cả các biến Boolean và các nhà khai thác quan hệ trong tình trạng này chỉ xảy ra một lần và không có các biến thông thường.
Các chiến lược BRO sử dụng hạn chế tình trạng cho một điều kiện C. một hạn chế tình trạng cho C với n điều kiện đơn giản được định nghĩa là (D1, D2,..., Dn), nơi Di (0 <i ≤ n) là một biểu tượng xác định một hạn chế về kết quả của những thứ i điều kiện đơn giản trong điều kiện C. một hạn chế tình trạng D cho điều kiện C được cho là được bao phủ bởi một thực hiện của C nếu, trong quá trình thực này của C, kết quả của mỗi điều kiện đơn giản trong C đáp ứng các hạn chế tương ứng trong D.
đối với một biến Boolean , B, chúng tôi chỉ định một hạn chế về kết quả của B mà biểu rằng B phải là sự thật (t) hoặc sai (f). Tương tự như vậy, đối với một biểu thức quan hệ, những biểu tượng>, =, <được sử dụng để xác định những hạn chế về kết quả của biểu thức.