Accession Number:

ADA046377

Title:

Solving a System of Linear Inequalities for Generating Test Data.

Descriptive Note:

Technical summary rept.,

Corporate Author:

WISCONSIN UNIV MADISON MATHEMATICS RESEARCH CENTER

Personal Author(s):

Report Date:

1977-08-01

Pagination or Media Count:

15.0

Abstract:

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

Subject Categories:

  • Theoretical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE