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

parametric specification;specification mining;runtime verification

Lee, Choonghwan

关键词: parametric specification;    specification mining;    runtime verification;   

Others  :  https://www.ideals.illinois.edu/bitstream/handle/2142/46910/Choonghwan_Lee.pdf?sequence=1&isAllowed=y

美国|英语

来源: The Illinois Digital Environment for Access to Learning and Scholarship

【 摘 要 】

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.