Please use this identifier to cite or link to this item:
|Title:||Combining testing and runtime verification techniques|
Pace, Gordon J.
|Keywords:||Computer programs -- Testing|
Computer programs -- Correctness
Computer programs -- Verification
|Publisher:||Springer, Berlin, Heidelberg|
|Citation:||Falzon, K., & Pace, G. J. (2012). Combining testing and runtime verification techniques. 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, Essen. 1-20.|
|Abstract:||Testing is an established and integral part of the system design and development process, but incomplete coverage still leaves room for potential undiscovered bugs. Runtime verification addresses this issue by integrating verification oracles into the code, allowing for reparatory action to be taken in case of system failure after deployment. Despite the complementarity of the two approaches, the application of the two approaches at different stages in the development and deployment process results in much duplication of effort. In this paper we investigate the combination of the two approaches, by showing how one can use testing oracles to derive correct runtime verification monitors. We show how this can be achieved using QuickCheck and Larva, and apply the resulting framework to Riak, a fault-tolerant distributed database written in Erlang.|
|Appears in Collections:||Scholarly Works - FacICTCS|
Files in This Item:
|159.88 kB||Adobe PDF||View/Open Request a copy|
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.