Fault injection for formal testing of fault tolerance

被引：29

作者：

Avresky, D ^{[1
]}

Arlat, J ^{[1
]}

Laprie, JC ^{[1
]}

Crouzet, Y ^{[1
]}

机构：

[1] CNRS,LAAS,F-31077 TOULOUSE,FRANCE

来源：

IEEE TRANSACTIONS ON RELIABILITY | 1996年 / 45卷 / 03期

关键词：

fault-tolerance testing; fault/error injection; design/implementation fault removal; execution tree; well-defined formula;

D O I：

10.1109/24.537015

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Summ & Conclusions - This study addresses the use of fault injection for explicitly removing design/implementation faults in complex fault-tolerance algorithms & mechanisms (FTAM), viz, fault-tolerance deficiency faults. A formalism is introduced to represent the FTAM by a set of assertions. This formalism enables an execution tree to be generated, where each path from the root to a leaf of the tree is a well-defined formula, The set of well-defined formulas constitutes a useful framework that fully characterizes the test sequence, The input patterns of the test sequence (fault & activation domains) then are determined to cover specific structural criteria over the execution tree (activation of proper sets of paths), This provides a framework for generating a functional deterministic test for programs that implement complex FTAM. This methodology has been used to extend a debugging tool aimed at testing fault tolerance protocols developed by BULL France. It has been applied successfully to the injection of faults in the inter-replica protocol that supports the application-level fault-tolerance features of the architecture of the ESPRIT-funded Delta-4 project. The results of these experiments are analyzed in detail, In particular, even though the target protocol had been independently verified formally, the application of the proposed testing strategy revealed two fault-tolerance deficiency faults.

引用

页码：443 / 455

页数：13

共 30 条

[21]

JENN E, 1994, P 24 INT S FAULT TOL, P66, DOI DOI 10.1109/FTCS.1994.315656

[22] FERRARI - A FLEXIBLE SOFTWARE-BASED FAULT AND ERROR INJECTION SYSTEM [J].

KANAWATI, GA ;

KANAWATI, NA ;

ABRAHAM, JA .

IEEE TRANSACTIONS ON COMPUTERS, 1995, 44 (02) :248-260

[23] USING HEAVY-ION RADIATION TO VALIDATE FAULT-HANDLING MECHANISMS [J].

KARLSSON, J ;

LIDEN, P ;

DAHLGREN, P ;

JOHANSSON, R ;

GUNNEFLO, U .

IEEE MICRO, 1994, 14 (01) :8-23

[24] AUTOMATED SOFTWARE TEST DATA GENERATION [J].

KOREL, B .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (08) :870-879

[25]

Laprie J.-C., 1985, Fifteenth Annual International Symposium on Fault-Tolerant Computing FTCS 15. Digest of Papers. (Cat. No. 85CH2143-6), P2

[26]

Laprie J. C. C., 1992, Dependability: Basic Concepts and Terminology-In English, French,German, Italian and Japanese

[27]

Powell D, 1991, DELTA 4 GENERIC ARCH

[28]

Segall Z., 1988, Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers. FTCS-18 (Cat. No.88CH2543-7), P102, DOI 10.1109/FTCS.1988.5306

[29]

THEVENODFOSSE P, 1991, P 21 INT S FAULT TOL, P410, DOI DOI 10.1109/FTCS.1991.146694

[30] EVALUATION AND DESIGN OF AN ULTRA-RELIABLE DISTRIBUTED ARCHITECTURE FOR FAULT TOLERANCE [J].

WALTER, CJ .

IEEE TRANSACTIONS ON RELIABILITY, 1990, 39 (04) :492-499

← 1 2 3 →