For each test Clause Samples
The "For each test" clause establishes the procedures or requirements that must be followed for every individual test conducted under an agreement or protocol. Typically, this clause outlines the steps, standards, or documentation necessary for each test, such as specifying the testing method, required approvals, or reporting obligations. Its core practical function is to ensure consistency and accountability in the testing process, thereby reducing ambiguity and minimizing the risk of errors or disputes regarding test execution.
For each test described in paragraph 9.
2.1.1. above, the injury criteria described in paragraph 6.
For each test case A, Obs(A) is the set of traces that reach a leaf of A: Obs(A)= {σ ∈ traces(A) | A after σ ⊆ leaves(A)}. Given a suspension automaton S, we only want to consider test cases A that are consistent with S in the sense that each input that is provided by A is also specified by S, and conversely each output that is allowed by S also occurs in A.