Reliability verification of fault-tolerant systems design based on mutation analysis

被引：1

作者：

Vargas, F ^{[1
]}

Bezerra, E ^{[1
]}

Terroso, A ^{[1
]}

Barros, D ^{[1
]}

机构：

[1] Catholic Univ, PUCRS, Dept Elect Engn, Inst Informat, BR-90619900 Porto Alegre, RS, Brazil

来源：

XI BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, PROCEEDINGS | 1998年

关键词：

D O I：

10.1109/SBCCI.1998.715410

中图分类号：

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

学科分类号：

0812 ;

摘要：

We propose in this work an innovative approach for system reliability verification based on an adaptation of the weak mutation analysis technique. This technique was originally proposed for software resting by means of verifying the adequacy of a test vectors set for a given program. We also present a case study to illustrate the proposed approach. This methodology is being automated through the development of CAD tools that perform fault injection and simulation data analysis.

引用

页码：55 / 58

页数：4