Combining Monitoring with Run-Time Assertion Checking

Frank S. de Boer, Stijn de Gouw

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Abstract

According to a study in 2002 commisioned by a US Department, software bugs annually costs the US economy an estimated $59 billion. A more recent study in 2013 by Cambridge University estimated that the global cost has risen to $312 billion globally.

There exists various ways to prevent, isolate and fix software bugs, ranging from lightweight methods that are (semi)-automatic, to heavyweight methods that require significant user interaction. Our own method described in this tutorial is based on automated run-time checking of a combination of protocol- and data-oriented properties of object-oriented programs.
Original languageEnglish
Title of host publicationFormal Methods for Executable Software Models
Subtitle of host publication14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
EditorsMarco Bernardo , Ferruccio Damiani , Reiner Hähnle , Einar Broch Johnsen , Ina Schaefer
PublisherSpringer
Pages217-262
Number of pages46
ISBN (Electronic)978-3-319-07317-0
ISBN (Print)978-3-319-07316-3
DOIs
Publication statusPublished - 2014
Externally publishedYes
Event14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models - Bertinoro, Italy
Duration: 16 Jun 201420 Jun 2014
http://www.sti.uniurb.it/events/sfm14esm/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume8483
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Seminar

Seminar14th International School on Formal Methods for the Design of Computer, Communication and Software Systems
Abbreviated titleSFM-14: ESM
CountryItaly
CityBertinoro
Period16/06/1420/06/14
Internet address

Fingerprint

Monitoring
Costs

Cite this

Boer, F. S. D., & Gouw, S. D. (2014). Combining Monitoring with Run-Time Assertion Checking. In M. B., F. D., R. H., E. B. J., & I. S. (Eds.), Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (pp. 217-262). (Lecture Notes in Computer Science; Vol. 8483). Springer. https://doi.org/10.1007/978-3-319-07317-0_6
Boer, Frank S. de ; Gouw, Stijn de. / Combining Monitoring with Run-Time Assertion Checking. Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. editor / Marco Bernardo ; Ferruccio Damiani ; Reiner Hähnle ; Einar Broch Johnsen ; Ina Schaefer. Springer, 2014. pp. 217-262 (Lecture Notes in Computer Science).
@inproceedings{399d4a5401a94d4ca609ec1d144a6543,
title = "Combining Monitoring with Run-Time Assertion Checking",
abstract = "According to a study in 2002 commisioned by a US Department, software bugs annually costs the US economy an estimated $59 billion. A more recent study in 2013 by Cambridge University estimated that the global cost has risen to $312 billion globally.There exists various ways to prevent, isolate and fix software bugs, ranging from lightweight methods that are (semi)-automatic, to heavyweight methods that require significant user interaction. Our own method described in this tutorial is based on automated run-time checking of a combination of protocol- and data-oriented properties of object-oriented programs.",
author = "Boer, {Frank S. de} and Gouw, {Stijn de}",
year = "2014",
doi = "10.1007/978-3-319-07317-0_6",
language = "English",
isbn = "978-3-319-07316-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "217--262",
editor = "{Marco Bernardo} and {Ferruccio Damiani} and {Reiner H{\"a}hnle} and {Einar Broch Johnsen} and {Ina Schaefer}",
booktitle = "Formal Methods for Executable Software Models",

}

Boer, FSD & Gouw, SD 2014, Combining Monitoring with Run-Time Assertion Checking. in MB, FD, RH, EBJ & IS (eds), Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Lecture Notes in Computer Science, vol. 8483, Springer, pp. 217-262, 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bertinoro, Italy, 16/06/14. https://doi.org/10.1007/978-3-319-07317-0_6

Combining Monitoring with Run-Time Assertion Checking. / Boer, Frank S. de; Gouw, Stijn de.

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. ed. / Marco Bernardo; Ferruccio Damiani; Reiner Hähnle; Einar Broch Johnsen; Ina Schaefer. Springer, 2014. p. 217-262 (Lecture Notes in Computer Science; Vol. 8483).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

TY - GEN

T1 - Combining Monitoring with Run-Time Assertion Checking

AU - Boer, Frank S. de

AU - Gouw, Stijn de

PY - 2014

Y1 - 2014

N2 - According to a study in 2002 commisioned by a US Department, software bugs annually costs the US economy an estimated $59 billion. A more recent study in 2013 by Cambridge University estimated that the global cost has risen to $312 billion globally.There exists various ways to prevent, isolate and fix software bugs, ranging from lightweight methods that are (semi)-automatic, to heavyweight methods that require significant user interaction. Our own method described in this tutorial is based on automated run-time checking of a combination of protocol- and data-oriented properties of object-oriented programs.

AB - According to a study in 2002 commisioned by a US Department, software bugs annually costs the US economy an estimated $59 billion. A more recent study in 2013 by Cambridge University estimated that the global cost has risen to $312 billion globally.There exists various ways to prevent, isolate and fix software bugs, ranging from lightweight methods that are (semi)-automatic, to heavyweight methods that require significant user interaction. Our own method described in this tutorial is based on automated run-time checking of a combination of protocol- and data-oriented properties of object-oriented programs.

U2 - 10.1007/978-3-319-07317-0_6

DO - 10.1007/978-3-319-07317-0_6

M3 - Conference article in proceeding

SN - 978-3-319-07316-3

T3 - Lecture Notes in Computer Science

SP - 217

EP - 262

BT - Formal Methods for Executable Software Models

A2 - , Marco Bernardo

A2 - , Ferruccio Damiani

A2 - , Reiner Hähnle

A2 - , Einar Broch Johnsen

A2 - , Ina Schaefer

PB - Springer

ER -

Boer FSD, Gouw SD. Combining Monitoring with Run-Time Assertion Checking. In MB, FD, RH, EBJ, IS, editors, Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Springer. 2014. p. 217-262. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-07317-0_6