Academic Journals Database
Disseminating quality controlled scientific knowledge

Fault Based Techniques For Testing Boolean Expressions: A Survey

Author(s): Usha Badhera | Purohit G.N | S.Taruna

Journal: International Journal of Computer Science and Engineering Survey
ISSN 0976-3252

Volume: 3;
Issue: 1;
Start page: 81;
Date: 2012;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

Keywords: Boolean expressions | Branch Operator Strategy (BOR) | Meaningful Impact (MI) | BOR+MI | Modified Condition/ Decision Coverage (MCDC) | MUMCUT | fault detection.

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 safetyrelated real time control system.

Tango Rapperswil
Tango Rapperswil

RPA Switzerland

Robotic Process Automation Switzerland