To
select or prioritize a test suite T, test cases in T must
be evaluated for the contribution based on the characteristics
of the test selection criteria under test program
P. A test case tc consists of three elements: preconditions,
operations, and post-conditions (in cases,
only the inputs are concerned for the testing activities).