Fault Based Techniques for Testing Boolean Expressions: A Survey

TL;DR

This survey reviews fault-based testing techniques for Boolean expressions, comparing their fault detection capabilities, algorithms, and empirical evaluations on safety-related systems.

Contribution

It provides a comprehensive overview of various fault-based testing strategies for Boolean expressions, highlighting their differences and performance evaluations.

Findings

Techniques differ in fault detection capabilities

Algorithms and fault categories are summarized

Empirical evaluations on safety systems conducted

Abstract

Boolean expressions are major focus of specifications and they are very much prone to introduction of faults, this survey presents various fault based testing techniques. It identifies that the techniques differ in their fault detection capabilities and generation of test suite. The various techniques like Cause effect graph, meaningful impact strategy, Branch Operator Strategy (BOR), BOR+MI, MUMCUT, Modified Condition/ Decision Coverage (MCDC) has been considered. This survey describes the basic algorithms and fault categories used by these strategies for evaluating their performance. Finally, it contains short summaries of the papers that use Boolean expressions used to specify the requirements for detecting faults. These techniques have been empirically evaluated by various researchers on a simplified safety related real time control system.