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

Institut für Softwaretechnik und Programmiersprachen

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.

Originalsprache	Englisch
Titel	NASA Formal Methods
Redakteure/-innen	Guillaume Brat, Neha Rungta, Arnaud Venet
Seitenumfang	6
Band	LNCS 7871
Erscheinungsort	Berlin
Herausgeber (Verlag)	Springer Verlag
Erscheinungsdatum	09.09.2013
Seiten	459-464
ISBN (Print)	978-3-642-38087-7
ISBN (elektronisch)	978-3-642-38088-4
DOIs	https://doi.org/10.1007/978-3-642-38088-4_34
Publikationsstatus	Veröffentlicht - 09.09.2013
Veranstaltung	5th International Symposium on NASA Formal Methods - Moffett Field, USA / Vereinigte Staaten Dauer: 14.05.2013 → 16.05.2013 Konferenznummer: 99215

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

Zugriff auf Dokument

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

Andere Dateien und Links

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

Zitieren

@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 (Hrsg.), NASA Formal Methods. Bd. LNCS 7871, Lecture Notes in Computer Science , Bd. LNCS 7871, Springer Verlag, Berlin, S. 459-464, 5th International Symposium on NASA Formal Methods
, Moffett Field, California, USA / Vereinigte Staaten, 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. Hrsg. / Guillaume Brat; Neha Rungta; Arnaud Venet. Band LNCS 7871 Berlin: Springer Verlag, 2013. S. 459-464 ( Lecture Notes in Computer Science ; Band LNCS 7871).

Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

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

UN SDGs

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Zitieren