jUnitRV - Adding Runtime Verification to jUnit

Normann Decker; Martin Leucker; Daniel Thoma

doi:10.1007/978-3-642-38088-4_34

jUnitRV - Adding Runtime Verification to jUnit

Normann Decker, Martin Leucker, Daniel Thoma

Institute of Software Engineering and Programming Languages

Abstract

This paper presents jUnit^RV 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 language	English
Title of host publication	NASA Formal Methods
Editors	Guillaume Brat, Neha Rungta, Arnaud Venet
Number of pages	6
Volume	LNCS 7871
Place of Publication	Berlin
Publisher	Springer Verlag
Publication date	09.09.2013
Pages	459-464
ISBN (Print)	978-3-642-38087-7
ISBN (Electronic)	978-3-642-38088-4
DOIs	https://doi.org/10.1007/978-3-642-38088-4_34
Publication status	Published - 09.09.2013
Event	5th International Symposium on NASA Formal Methods - Moffett Field, United States Duration: 14.05.2013 → 16.05.2013 Conference number: 99215

Access to Document

10.1007/978-3-642-38088-4_34

Cite this

@inproceedings{f5f007d3589b4e15b4ed8e35f6b53e22,

title = "jUnitRV - Adding Runtime Verification to jUnit",

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.",

author = "Normann Decker and Martin Leucker and Daniel Thoma",

year = "2013",

month = sep,

day = "9",

doi = "10.1007/978-3-642-38088-4_34",

language = "English",

isbn = "978-3-642-38087-7",

volume = "LNCS 7871",

series = " Lecture Notes in Computer Science ",

publisher = "Springer Verlag",

pages = "459--464",

editor = "Brat, { Guillaume} and Rungta, { Neha} and Arnaud Venet",

booktitle = "NASA Formal Methods",

note = "5th International Symposium on NASA Formal Methods <br/>, NFM 2013 ; Conference date: 14-05-2013 Through 16-05-2013",

}

Decker, N, Leucker, M & Thoma, D 2013, jUnitRV - Adding Runtime Verification to jUnit. in G Brat, N Rungta & A Venet (eds), NASA Formal Methods. vol. LNCS 7871, Lecture Notes in Computer Science , vol. LNCS 7871, Springer Verlag, Berlin, pp. 459-464, 5th International Symposium on NASA Formal Methods
, Moffett Field, California, United States, 14.05.13. https://doi.org/10.1007/978-3-642-38088-4_34

jUnitRV - Adding Runtime Verification to jUnit. / Decker, Normann; Leucker, Martin ; Thoma, Daniel.

NASA Formal Methods. ed. / Guillaume Brat; Neha Rungta; Arnaud Venet. Vol. LNCS 7871 Berlin : Springer Verlag, 2013. p. 459-464 ( Lecture Notes in Computer Science ; Vol. LNCS 7871).

Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

TY - GEN

T1 - jUnitRV - Adding Runtime Verification to jUnit

AU - Decker, Normann

AU - Leucker, Martin

AU - Thoma, Daniel

N1 - Conference code: 99215

PY - 2013/9/9

Y1 - 2013/9/9

N2 - 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.

AB - 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.

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-84883423004&origin=inward&txGid=1e5f15fbfbafda99d91e778869d73854

U2 - 10.1007/978-3-642-38088-4_34

DO - 10.1007/978-3-642-38088-4_34

M3 - Conference contribution

SN - 978-3-642-38087-7

VL - LNCS 7871

T3 - Lecture Notes in Computer Science

SP - 459

EP - 464

BT - NASA Formal Methods

A2 - Brat, Guillaume

A2 - Rungta, Neha

A2 - Venet, Arnaud

PB - Springer Verlag

CY - Berlin

T2 - 5th International Symposium on NASA Formal Methods <br/>

Y2 - 14 May 2013 through 16 May 2013

ER -

jUnitRV - Adding Runtime Verification to jUnit

Abstract

Access to Document

Other files and links

Fingerprint

Cite this