Solving a System of Linear Inequalities for Generating Test Data.
Technical summary rept.,
WISCONSIN UNIV MADISON MATHEMATICS RESEARCH CENTER
Pagination or Media Count:
A simple inequality solver, based on the simplex method, for determining safe input data corresponding to execution of a certain path of a computer program, is presented. Special consideration is given the influence from rounding errors on the solution. Author
- Theoretical Mathematics
- Computer Programming and Software