Foundations of Software Testing: Fundamental Algorithms and Techniques

Test Selection, Minimization, and Prioritization

/*

Procedure SelectTestsDecl is invoked repeatedly after

the initialization step. In turn, SelectTestsDecl looks

for any changes in declarations and selects those tests from

T that traverse nodes affected by the changes. Procedure

SelectTests, decribed earlier, is called upon the termi-

nation of the previous step.

*/

Step 1 Set T



=∅. Unmark all nodes in G and in its child CFGs.

Step 2 For each function f in G, call procedure Select

TestsDecl(f, declChange

f

, gdeclChange). Each call up-

dates T



.

Step 3 Call procedure SelectTests(G.Start, G



.Start



), where

G.Start and G



.Start are, respectively, the start nodes in G

and G. This procedure may add new tests to T



.

Step 4 T



is the desired test set for regression ...