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...

Полное описание

Библиографические подробности

Опубликовано в::	Software engineering notes. 26, 5 (2001).
Главный автор:	Edvardsson, Jon
Формат:	Статья
Язык:	English
Предметы:	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.