jUnitRV - Adding Runtime Verification to jUnit
Title | jUnitRV - Adding Runtime Verification to jUnit |
Publication Type | Conference Paper |
Year of Publication | 2013 |
Authors | Decker, N, Leucker, M, Thoma, D |
Conference Name | NASA Formal Methods |
Volume | LNCS 7871 |
Publisher | Springer-Verlag Berlin Heidelberg |
Abstract | This paper presents jUnitRV as a tool extending the unit testing framework jUnit by runtime verification capabilities. Roughly, jUnitRV 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. |
Refereed Designation | Refereed |
Bibtex:
@inproceedings {909, title = {jUnitRV - Adding Runtime Verification to jUnit}, booktitle = {NASA Formal Methods}, volume = {LNCS 7871}, year = {2013}, publisher = {Springer-Verlag Berlin Heidelberg}, organization = {Springer-Verlag Berlin Heidelberg}, abstract = {<p>This paper presents jUnitRV as a tool extending the unit testing framework jUnit by runtime verification capabilities. Roughly, jUnitRV 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{\textquoteright}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.</p> }, author = {Normann Decker and Martin Leucker and Daniel Thoma} }