Abstract
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. © 2013 Springer-Verlag.
Cite
CITATION STYLE
Decker, N., Leucker, M., & Thoma, D. (2013). jUnitRV - Adding runtime verification to jUnit. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7871 LNCS, pp. 459–464). https://doi.org/10.1007/978-3-642-38088-4_34
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
