A taxonomy and catalog of runtime software-fault monitoring tools

被引:173
作者
Delgado, N [1 ]
Gates, AQ
Roach, S
机构
[1] Microsoft Corp, Bellevue, WA 98007 USA
[2] Univ Texas, Dept Comp Sci, El Paso, TX 79902 USA
基金
美国国家航空航天局; 美国国家科学基金会;
关键词
assertion checkers; runtime monitors; specification; specification language; survey; software/program verification;
D O I
10.1109/TSE.2004.91
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
A goal of runtime software-fault monitoring is to observe software behavior to determine whether it complies with its intended behavior. Monitoring allows one to analyze and recover from detected faults, providing additional defense against catastrophic failure. Although runtime monitoring has been in use for over 30 years, there is renewed interest in its application to fault detection and recovery, largely because of the increasing complexity and ubiquitous nature of software systems. This paper presents a taxonomy that developers and researchers can use to analyze and differentiate recent developments in runtime software fault-monitoring approaches. The taxonomy categorizes the various runtime monitoring research by classifying the elements that are considered essential for building a monitoring system, i.e., the specification language used to define properties; the monitoring mechanism that oversees the program's execution; and the event handler that captures and communicates monitoring results. After describing the taxonomy, the paper presents the classification of the software-fault monitoring systems described in the literature.
引用
收藏
页码:859 / 872
页数:14
相关论文
共 76 条
[31]  
GATES AQ, 2000, J INTEGRATED DES PRO, V14, P63
[32]  
GU W, 1994, ACM SIGPLAN NOTI SEP
[33]  
GU W, 1994, GITCC9421
[34]   A HYBRID MONITOR FOR BEHAVIOR AND PERFORMANCE ANALYSIS OF DISTRIBUTED SYSTEMS [J].
HABAN, D ;
WYBRANIETZ, D .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (02) :197-211
[35]   Monitoring programs using rewriting [J].
Havelund, K ;
Rosu, G .
16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, :135-143
[36]  
Havelund K, 2000, LECT NOTES COMPUT SC, V1885, P245
[37]  
HAVELUND K, 2001, P S ART INT ROB AUT
[38]  
HAVELUND K, 2002, COMMUNICATION
[39]  
Havelund K., 2001, P 1 WORKSH RUNT VER
[40]   The model checker SPIN [J].
Holzmann, GJ .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) :279-295