UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

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

Krinke, J; Snelting, G; (1998) Validation of measurement software as an application of slicing and constraint solving. INFORM SOFTWARE TECH , 40 (11-12) 661 - 675.

Full text not available from this repository.

Abstract

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. (C) 1998 Elsevier Science B.V. All rights reserved.

Type: Article
Title: Validation of measurement software as an application of slicing and constraint solving
Keywords: constraint solving, measurement system, path condition, program slicing, software validation, DEPENDENCE
UCL classification: UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/191976
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item