Event Logs for the Analysis of Software Failures: A Rule-Based Approach

被引:78
作者
Cinque, Marcello [1 ]
Cotroneo, Domenico [1 ]
Pecchia, Antonio [1 ]
机构
[1] Univ Naples Federico II, DIS, I-80125 Naples, Italy
关键词
Event log; logging mechanism; rule-based logging; error detection; software failures; FAULTS; TIME;
D O I
10.1109/TSE.2012.67
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Event logs have been widely used over the last three decades to analyze the failure behavior of a variety of systems. Nevertheless, the implementation of the logging mechanism lacks a systematic approach and collected logs are often inaccurate at reporting software failures: This is a threat to the validity of log-based failure analysis. This paper analyzes the limitations of current logging mechanisms and proposes a rule-based approach to make logs effective to analyze software failures. The approach leverages artifacts produced at system design time and puts forth a set of rules to formalize the placement of the logging instructions within the source code. The validity of the approach, with respect to traditional logging mechanisms, is shown by means of around 12,500 software fault injection experiments into real-world systems.
引用
收藏
页码:806 / 821
页数:16
相关论文
共 52 条
[1]   Data Center TCP (DCTCP) [J].
Alizadeh, Mohammad ;
Greenberg, Albert ;
Maltz, David A. ;
Padhye, Jitendra ;
Patel, Parveen ;
Prabhakar, Balaji ;
Sengupta, Sudipta ;
Sridharan, Murari .
ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 2010, 40 (04) :63-74
[2]  
[Anonymous], 1992, DIGEST PAPERS FTCS 2
[3]  
[Anonymous], 2012, AP LOG4J
[4]  
[Anonymous], 2012, SLOCCOUNT
[5]   Basic concepts and taxonomy of dependable and secure computing [J].
Avizienis, A ;
Laprie, JC ;
Randell, B ;
Landwehr, C .
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2004, 1 (01) :11-33
[6]   Formal Analysis of Log Files [J].
Barringer, Howard ;
Groce, Alex ;
Havelund, Klaus ;
Smith, Margaret .
JOURNAL OF AEROSPACE COMPUTING INFORMATION AND COMMUNICATION, 2010, 7 (11) :365-390
[7]  
Bauer A., 2006, MODELLIERUNG AUTOMOT
[8]  
BUCKLEY MF, 1995, DIG PAP INT SYMP FAU, P414, DOI 10.1109/FTCS.1995.466958
[9]   Comparative analysis of event tupling schemes [J].
Buckley, MF ;
Siewiorek, DP .
PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 1996, :294-303
[10]  
Cantrill B., 2004, P USENIX ANN TECHN C