Emulation of software faults by educated mutations at machine-code level

被引:14
作者
Duraes, J [1 ]
Madeira, H [1 ]
机构
[1] Polytech Inst Coimbra, ISEC, Coimbra, Portugal
来源
13TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS | 2002年
关键词
D O I
10.1109/ISSRE.2002.1173283
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper proposes a new technique to emulate software faults by educated mutations introduced at the machine-code level and presents an experimental study on the accuracy of the injected faults. The proposed method consists of finding key programming structures at the machine code-level where high-level software faults can be emulated. The main advantage of emulating software faults at the machine-code level is that software faults can be injected even when the source code of the target application is not available, which is very important for the evaluation of COTS components or for the validation of software fault tolerance techniques in COTS based systems. The technique was evaluated using several real programs and different types of faults and, additionally, it includes our study on the key aspects that may impact on the technique accuracy. The portability of the technique is also addressed. The results show that classes of faults such as assignment, checking, interface, and simple algorithm faults can be directly emulated using this technique.
引用
收藏
页码:329 / 340
页数:12
相关论文
共 38 条
[1]   GOOFI: Generic Object-Oriented Fault Injection tool [J].
Aidemark, J ;
Vinter, J ;
Folkesson, P ;
Karlsson, J .
INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2001, :83-88
[2]   FAULT INJECTION AND DEPENDABILITY EVALUATION OF FAULT-TOLERANT SYSTEMS [J].
ARLAT, J ;
COSTES, A ;
CROUZET, Y ;
LAPRIE, JC ;
POWELL, D .
IEEE TRANSACTIONS ON COMPUTERS, 1993, 42 (08) :913-923
[3]  
BIEMAN J, 1996, P 7 IEEE INT S SOFTW
[4]  
BLOUGH D, 27 IEEE FAULT TOL CO, P258
[5]  
Brown A, 2000, USENIX ASSOCIATION PROCEEDINGS OF THE 2000 USENIX ANNUAL TECHNICAL CONFERENCE, P263
[6]   Xception: A technique for the experimental evaluation of dependability in modern computers [J].
Carreira, J ;
Madeira, H ;
Silva, JG .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (02) :125-136
[7]  
CARTER P, COMMON C ERRORS
[8]  
CARTER P, 2001, PC ASSEMBLY LANGUAGE
[9]  
CHILLAREGE R, 1995, HDB SOFTWARE RELIABI, pCH9
[10]   Generation of an error set that emulates software faults based on field data [J].
Christmansson, J ;
Chillarege, R .
PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 1996, :304-313