Combining Monitoring with Run-Time Assertion Checking
Presented at the International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinoro, Italy
According to a study in 2002 commissioned 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.
|Run-Time Assertion Checking, Monitoring, Run-Time Verification, Attribute Grammars|
|Software (theme 1)|
|M. Bernardo , F. Damiani , R. Hähnle (Reiner) , E.B. Johnsen (Einar Broch) , I. Schaefer|
|International School on Formal Methods for the Design of Computer, Communication, and Software Systems|
de Boer, F.S, & de Gouw, C.P.T. (2014). Combining Monitoring with Run-Time Assertion Checking. In M Bernardo, F Damiani, R Hähnle, E.B Johnsen, & I Schaefer (Eds.), Proceedings of International School on Formal Methods for the Design of Computer, Communication, and Software Systems 2014 (SFM 14) (pp. 217–262). Springer. doi:10.1007/978-3-319-07317-0_6