Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs

An Industrial Case Study

Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Abstract

Run-time assertion checking is one of the useful techniques for detecting faults, and can be applied during any program execution context, including debugging, testing, and production. In general, however, it is limited to checking state-based properties. We introduce SAGA, a general framework that provides a smooth integration of the specification and the run-time checking of both data- and protocol-oriented properties of Java classes and interfaces. We evaluate SAGA, which combines several state-of-the art tools, by conducting an industrial case study from an eCommerce software company Fredhopper.
Original languageEnglish
Title of host publicationTransactions on Aspect-Oriented Software Development XI
EditorsShigeru Chiba , Eric Bodden , Éric Tanter , Shahar Maoz , Jörg Kienzle
PublisherSpringer
Chapter1
Pages1-26
Number of pages26
Volume11
ISBN (Electronic)978-3-642-55099-7
ISBN (Print)978-3-642-55098-0
DOIs
Publication statusPublished - 2014
Externally publishedYes

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume8400
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameTransactions on Aspect-Oriented Software Development [discontinued series]
PublisherSpringer
ISSN (Print)1864-3027
ISSN (Electronic)1864-3035

Fingerprint

Specifications
Testing
Industry

Cite this

Boer, F. S. D., Gouw, S. D., Johnsen, E. B., Kohn, A., & Wong, P. Y. H. (2014). Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. In S. C., E. B., É. T., S. M., & J. K. (Eds.), Transactions on Aspect-Oriented Software Development XI (Vol. 11, pp. 1-26). (Lecture Notes in Computer Science; Vol. 8400), (Transactions on Aspect-Oriented Software Development [discontinued series]). Springer. https://doi.org/10.1007/978-3-642-55099-7_1
Boer, Frank S. de ; Gouw, Stijn de ; Johnsen, Einar Broch ; Kohn, Andreas ; Wong, Peter Y. H. / Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs : An Industrial Case Study. Transactions on Aspect-Oriented Software Development XI. editor / Shigeru Chiba ; Eric Bodden ; Éric Tanter ; Shahar Maoz ; Jörg Kienzle. Vol. 11 Springer, 2014. pp. 1-26 (Lecture Notes in Computer Science). (Transactions on Aspect-Oriented Software Development [discontinued series]).
@inbook{c387412c44a541dea08c9e1479358b46,
title = "Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study",
abstract = "Run-time assertion checking is one of the useful techniques for detecting faults, and can be applied during any program execution context, including debugging, testing, and production. In general, however, it is limited to checking state-based properties. We introduce SAGA, a general framework that provides a smooth integration of the specification and the run-time checking of both data- and protocol-oriented properties of Java classes and interfaces. We evaluate SAGA, which combines several state-of-the art tools, by conducting an industrial case study from an eCommerce software company Fredhopper.",
author = "Boer, {Frank S. de} and Gouw, {Stijn de} and Johnsen, {Einar Broch} and Andreas Kohn and Wong, {Peter Y. H.}",
year = "2014",
doi = "10.1007/978-3-642-55099-7_1",
language = "English",
isbn = "978-3-642-55098-0",
volume = "11",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "1--26",
editor = "{Shigeru Chiba} and {Eric Bodden} and {{\'E}ric Tanter} and {Shahar Maoz} and {J{\"o}rg Kienzle}",
booktitle = "Transactions on Aspect-Oriented Software Development XI",

}

Boer, FSD, Gouw, SD, Johnsen, EB, Kohn, A & Wong, PYH 2014, Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. in SC, EB, ÉT, SM & JK (eds), Transactions on Aspect-Oriented Software Development XI. vol. 11, Lecture Notes in Computer Science, vol. 8400, Transactions on Aspect-Oriented Software Development [discontinued series], Springer, pp. 1-26. https://doi.org/10.1007/978-3-642-55099-7_1

Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs : An Industrial Case Study. / Boer, Frank S. de; Gouw, Stijn de; Johnsen, Einar Broch; Kohn, Andreas; Wong, Peter Y. H.

Transactions on Aspect-Oriented Software Development XI. ed. / Shigeru Chiba; Eric Bodden; Éric Tanter; Shahar Maoz; Jörg Kienzle. Vol. 11 Springer, 2014. p. 1-26 (Lecture Notes in Computer Science; Vol. 8400), (Transactions on Aspect-Oriented Software Development [discontinued series]).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

TY - CHAP

T1 - Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs

T2 - An Industrial Case Study

AU - Boer, Frank S. de

AU - Gouw, Stijn de

AU - Johnsen, Einar Broch

AU - Kohn, Andreas

AU - Wong, Peter Y. H.

PY - 2014

Y1 - 2014

N2 - Run-time assertion checking is one of the useful techniques for detecting faults, and can be applied during any program execution context, including debugging, testing, and production. In general, however, it is limited to checking state-based properties. We introduce SAGA, a general framework that provides a smooth integration of the specification and the run-time checking of both data- and protocol-oriented properties of Java classes and interfaces. We evaluate SAGA, which combines several state-of-the art tools, by conducting an industrial case study from an eCommerce software company Fredhopper.

AB - Run-time assertion checking is one of the useful techniques for detecting faults, and can be applied during any program execution context, including debugging, testing, and production. In general, however, it is limited to checking state-based properties. We introduce SAGA, a general framework that provides a smooth integration of the specification and the run-time checking of both data- and protocol-oriented properties of Java classes and interfaces. We evaluate SAGA, which combines several state-of-the art tools, by conducting an industrial case study from an eCommerce software company Fredhopper.

U2 - 10.1007/978-3-642-55099-7_1

DO - 10.1007/978-3-642-55099-7_1

M3 - Chapter

SN - 978-3-642-55098-0

VL - 11

T3 - Lecture Notes in Computer Science

SP - 1

EP - 26

BT - Transactions on Aspect-Oriented Software Development XI

A2 - , Shigeru Chiba

A2 - , Eric Bodden

A2 - , Éric Tanter

A2 - , Shahar Maoz

A2 - , Jörg Kienzle

PB - Springer

ER -

Boer FSD, Gouw SD, Johnsen EB, Kohn A, Wong PYH. Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. In SC, EB, ÉT, SM, JK, editors, Transactions on Aspect-Oriented Software Development XI. Vol. 11. Springer. 2014. p. 1-26. (Lecture Notes in Computer Science). (Transactions on Aspect-Oriented Software Development [discontinued series]). https://doi.org/10.1007/978-3-642-55099-7_1