Preparation-free and comprehensive runtime verification tool for testing Java programs

Runtime verification is an effective and accurate technique for ensuring that an execution of a program conform to certain specifications at runtime. Although excessive runtime overhead, one of its main drawbacks, has been alleviated by many recent works, its usefulness seems to be limited by rarely available specifications and non-trivial preparation. This thesis presents research for showing that it is achievable to build a runtime verification system that reveals violations in an execution of a program without requiring any preparation from user's point of view. This attempt is demonstrated by providing a comprehensive set of specifications for a few commonly used Java class library packages, and devising a system that is capable of instrumenting the program under monitoring at runtime. Additionally, this thesis presents an automated specification mining technique, a few optimization techniques for monitoring, and a new runtime monitoring system, designed with modularity in mind, that separates instrumentation, which can be domain-specific, from monitoring. Using the new system, these specifications have been thoroughly tested and the results show that runtime verification is indeed a convenient and efficient means of ensuring the correctness of a program execution.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2014

Author dc:creator

• Lee, Choonghwan

Contributors dc:contributor

• Rosu, Grigore
• Marinov, Darko
• Viswanathan, Mahesh
• Xie, Tao

• parametric specification
• specification mining
• runtime verification

Statement dc:rights

• Copyright 2013 Choonghwan Lee

Language dc:language

en

Handle dc:identifier

http://hdl.handle.net/2142/46910

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/46910