KIT | KIT-Bibliothek | Impressum

Validation of Measurement Software as an Application of Slicing and Constraint Solving

Krinke, Jens; Snelting, Gregor

We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular application is the validation of computer-controlled measurement systems. VALSOFT will be used by the Physikalisch-Technische Bundesanstalt for verification of legally required calibration standards. The article describes the VALSOFT slicing system. In particular, we describe how to generate and simplify path conditions based on program slices. A case study shows that the technique can indeed increase slice precision and reveal manipulations of the so-called calibration path.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Jahr 1998
Sprache Englisch
Identifikator ISSN: 0950-5849
KITopen ID: 1000017631
Erschienen in Information and Software Technology
Band 40
Heft 11-12
Seiten 661 - 675
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page