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

SeriesLecture Notes in Computer Science
Volume8400
ISSN0302-9743
SeriesTransactions on Aspect-Oriented Software Development [discontinued series]
ISSN1864-3027

    Fingerprint

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). Springer. Lecture Notes in Computer Science, Vol.. 8400, Transactions on Aspect-Oriented Software Development [discontinued series] https://doi.org/10.1007/978-3-642-55099-7_1