On the experience of using cause-effect graphs for software specification and test generation

Authors:
Amit Paradkar
Affiliations:
Dept. of Computer Science, North Carolina State University
Venue:
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Year:
1994

Citing 5
Cited 1

An Applicable Family of Data Flow Testing Criteria

IEEE Transactions on Software Engineering
Evaluation of a predicate-based software testing strategy

IBM Systems Journal
Predicate-based test generation for computer programs

ICSE '93 Proceedings of the 15th international conference on Software Engineering
Art of Software Testing

Art of Software Testing
Fault-based test generation for cause-effect graphs

CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1

A new solution to test generation for Boolean expressions

CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research

Quantified Score

Hi-index	0.00

Visualization

Abstract

The notion of cause-effect graphs (CEGs) has existed for more than two decades, but its use is not yet popular. In this paper, we describe several empirical studies of using cause-effect graphs for the specification and testing of real software, including a boiler control and monitor system, a set of N-version programs for navigation tracking, and a database monitoring system. We present the problems encountered in these empirical studies, the solutions developed to solve them, the evaluation of CEG-based specification and test generation, and the experience of using CEG-based tools.