jUnitRV - Adding Runtime Verification to jUnit

Normann Decker, Martin Leucker, Daniel Thoma


This paper presents jUnitRV as a tool extending the unit testing framework jUnit by runtime verification capabilities. Roughly, jUnit RV provides a new annotation @Monitors listing monitors that are synthesized from temporal specifications. The monitors check whether the currently executed tests satisfy the correctness properties underlying the monitors. As such, jUnit's concept of plain assert-based verification limited to checking properties of single states of a program is extended significantly towards checking properties of complete execution paths.

Original languageEnglish
Title of host publicationNASA Formal Methods
Editors Guillaume Brat, Neha Rungta, Arnaud Venet
Number of pages6
VolumeLNCS 7871
Place of PublicationBerlin
PublisherSpringer Verlag
Publication date09.09.2013
ISBN (Print)978-3-642-38087-7
ISBN (Electronic)978-3-642-38088-4
Publication statusPublished - 09.09.2013
Event5th International Symposium on NASA Formal Methods
- Moffett Field, United States
Duration: 14.05.201316.05.2013
Conference number: 99215


Dive into the research topics of 'jUnitRV - Adding Runtime Verification to jUnit'. Together they form a unique fingerprint.

Cite this