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

Lee, Choonghwan

Permalink

https://hdl.handle.net/2142/46910 Copy

Description

Title

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

Author(s)

Lee, Choonghwan

Issue Date

2014-01-16T18:26:04Z

Director of Research (if dissertation) or Advisor (if thesis)

Rosu, Grigore

Doctoral Committee Chair(s)

Rosu, Grigore

Committee Member(s)

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

Department of Study

Computer Science

Discipline

Computer Science

Degree Granting Institution

University of Illinois at Urbana-Champaign

Degree Name

Ph.D.

Degree Level

Dissertation

Keyword(s)

• parametric specification
• specification mining
• runtime verification

Abstract

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.

Graduation Semester

2013-12

Permalink

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

Copyright and License Information

Copyright 2013 Choonghwan Lee

Owning Collections