Solving a system of linear inequalities for generating test data

  • Authors:

  • Bo Einarsson

  • Affiliations:

  • Försvarets Forskningsanstalt, National Defence Research Institute, Department 2/Proving Grounds, Box 98, S-147 00 Tumba, Sweden

  • Venue:
  • Journal of Computational and Applied Mathematics
  • Year:
  • 1977

Quantified Score

Hi-index 7.29

Visualization

Abstract

Data Flow Analysis can be used to find some of the errors in a computer program and gives as output a set of dubious paths of the investigated program, which have to be checked for executability. This can be done by solving a system of inequalities in order to obtain input data for that path. This article discusses how to obtain a reliable solution of this system in the linear case, when rounding effects are taken into account. The method is based on the simplex algorithm from linear programming, and returns a solution in the middle of the feasible region. The general nonlinear case is much more difficult to handle.