Sciweavers

Share
ICLP
2009
Springer

Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework

11 years 10 days ago
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approach is that we preserve the use of a unified assertion language for all of these tasks. We first describe a method for compiling run-time checks for (parts of) assertions which cannot be verified at compile-time via program transformation. This transformation allows checking preconditions and postconditions, including conditional postconditions, properties at arbitrary program points, and certain computational properties. Most importantly, we propose a minimal addition to the assertion language which allows defining unit tests to be run in order to detect possible violations of the (partial) specifications expressed by the assertions. We have implemented the framework within the Ciao/CiaoPP system and effectively applied it to the verification of ISO Prolog compliance and to the detection of different types of ...
Edison Mera, Manuel V. Hermenegildo, Pedro L&oacut
Added 22 Nov 2009
Updated 22 Nov 2009
Type Conference
Year 2009
Where ICLP
Authors Edison Mera, Manuel V. Hermenegildo, Pedro López-García
Comments (0)
books