Analysis of the constraint solver in UNA based test data generation.

In a series of articles Gupta et al. develop a framework for automatic test data generation for computer programs. In general, their approach consists of a branch predicate collector, which derives a system of linear inequalities representing the branch predicates for a given path in the program. Th...

ver descrição completa

Detalhes bibliográficos

Publicado no:	Software engineering notes. 26, 5 (2001).
Autor principal:	Edvardsson, Jon
Formato:	Artigo
Idioma:	English
Assuntos:	Software. Software engineering. Testing and debugging. Testing tools (e.g., data generators, coverage testing). Mathematics of computing. Numerical analysis. Optimization. Integer programming. Linear programming. Algorithms. Performance. Theory. Constraint solver. Unified numerical approach.