Sciweavers

19
Voted
INFSOF
1998

Validation of measurement software as an application of slicing and constraint solving

13 years 7 months ago
Validation of measurement software as an application of slicing and constraint solving
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. Key words: Program Slicing, Constraint Solving, Measurement System, Software Validation, Path Condition.
Jens Krinke, Gregor Snelting
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1998
Where INFSOF
Authors Jens Krinke, Gregor Snelting
Comments (0)