Research Article
A Hybrid Intelligent Search Algorithm for Automatic Test Data Generation
Algorithm 2
Dynamic variable ordering.
Input FV: the set of future variables | : the domain of | ()(): branches along the path | Output : the selected variable to be next instantiated | Begin | (1) ← quicksort(); | (2) for | (3) if | (4) break; | (5) else for ()() | (6) if (rank()() = rank()()) | (7) a++; | (8) else permutate , by rank(); | (9) break; | (10) ← head (); | (11) return ; | End |
|