Generating goal-oriented test cases

Code-coverage guided prioritized test generation

“…Korel [13] indicated that most of the existing test data generators [14][15][16][17][18] use symbolic evaluation to derive test data, which may require complex algebraic manipulations, especially in the presence of arrays. Instead, he proposed a dynamic approach based on the actual execution of the program being tested, function minimization methods, and dynamic data flow analysis.…”

Artificial Intelligence Applications for Improved Software Engineering Development

“…However, they acknowledge that test case generation can be slow, though this might have been because of the particular planner they employed in their study. In a follow up study, they develop their ideas further by showing how it is possible to utilize UML together with constraints on parameters and state transition diagrams to model the domain (Scheetz, von Mayrhauser, & France, 1999;von Mayrhauser, Scheetz, & Dahlman, 1999). The class methods of the UML model are mapped to operators and state transition diagrams together with propositional constraints provide information to define the preconditions and effects of operators.…”