Solving a System of Linear Inequalities for Generating Test Data.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1977
Accession Number
ADA046377

Entities

People

  • Bo Einarsson

Organizations

  • University of Wisconsin–Madison

Tags

Communities of Interest

  • Air Platforms

DTIC Thesaurus Topics

  • Algorithms
  • Computations
  • Computer Programs
  • Computer Science
  • Computers
  • Equations
  • Errors
  • Inequalities
  • Language
  • Linear Programming
  • Mathematics
  • Military Research
  • National Security
  • Numbers
  • Simplex Method
  • United States
  • Wisconsin

Fields of Study

  • Mathematics

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Approximation Theory.
  • Systems Analysis and Design