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

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

Mô tả đầy đủ

Chi tiết về thư mục
Xuất bản năm:Software engineering notes. 26, 5 (2001).
Tác giả chính: Edvardsson, Jon
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
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.