Software monitoring through formal specification animation |
| |
Authors: | Hui Liang Jin Song Dong Jing Sun W Eric Wong |
| |
Affiliation: | 1. School of Computing, National University of Singapore, Singapore, Singapore 2. Department of Computer Science, The University of Auckland, Auckland, New Zealand 3. Department of Computer Science, University of Texas at Dallas, Texas, USA
|
| |
Abstract: | This paper presents a formal specification-based software monitoring approach that can dynamically and continuously monitor
the behaviors of a target system and explicitly recognize undesirable behaviors in the implementation with respect to its
formal specification. The key idea of our approach is in building a monitoring module that connects a specification animator
with a program debugger. The requirements information about expected dynamic behaviors of the target system are gathered from
the formal specification animator, while the actual behaviors of concrete implementations of the target system are obtained
through the program debugger. Based on the information obtained from both sides, the judgement on the conformance of the concrete
implementation with respect to the formal specification is made timely while the target system is running. Furthermore, the
proposed formal specification-based software monitoring technique does not embed any instrumentation codes to the target system
nor does it annotate the target system with any formal specifications. It can detect implementation errors in a real-time
manner, and help the developers and users of the system to react to the problems before critical failure occurs. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|