원문정보
초록
영어
Cause-effect graphs can be used for specifying safety critical systems including avionics control software that are often intended to satisfy Boolean expressions. While Boolean expressions are useful to model predicates and complex conditions for state transitions, it is also true that they are very error prone to introduction of faults. Even though many Boolean specification based testing techniques have been proposed to detect faults of implementations of such specifications, there is almost no research about experimental investigation of the effectiveness of testing techniques with cause-effect graphs. In this paper, we present a new fault model which encompasses a variety of fault classes being hypothesized on the cause-effect graph. We have developed a tool to generate faults according to the fault model and to determine if a testing technique can detect those faults. We show a case study where experimental assessment of testing effectiveness using two testing approaches, namely Meyers’ approach and combinatorial testing, has been carried to examine the applicability of our fault model based on the cause-effect graph.
목차
1. Introduction
2. Cause-Effect Graphs
3. A New Fault Model for Cause-Effect Graph
3.1. Motivation
3.2. Fault Classes
3.3. Tool Implementation
4. A Case Study
5. Concluding Remarks
Acknowledgements
References