Earticle

초록

영어

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.

목차

Abstract
 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

키워드

저자

• Insang Chung [ Department of Computer Engineering, Hansung University, Seoul, Republic of Korea ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Software Engineering and Its Applications

• 간기

  월간

• pISSN

  1738-9984

• 수록기간

  2008~2016

• 등재여부

  SCOPUS

• 십진분류

  KDC 505 DDC 605