Fault Based Techniques for Testing Boolean Expressions: A Survey

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.

[1]  Nancy G. Leveson,et al.  Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..

[2]  Jonathan P. Bowen,et al.  Experimental evaluation of the variation in effectiveness for DC, FPC and MC/DC test criteria , 2003, 2003 International Symposium on Empirical Software Engineering, 2003. ISESE 2003. Proceedings..

[3]  Man F. Lau,et al.  An extended fault class hierarchy for specification-based testing , 2005, TSEM.

[4]  K. A. Foster,et al.  Sensitive test data for logic expressions , 1984, SOEN.

[5]  John Joseph Chilenski,et al.  An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion , 2001 .

[6]  D. Richard Kuhn.  Fault classes and error detection capability of specification-based testing , 1999, TSEM.

[7]  Mladen A. Vouk,et al.  Automatic test generation for predicates , 1996, Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering.

[8]  Jonathan P. Bowen,et al.  Test conditions for fault classes in Boolean specifications , 2007, TSEM.

[9]  Mary Jean Harrold,et al.  Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage , 2003, IEEE Trans. Software Eng..

[10]  Tsong Yueh Chen,et al.  Test case selection strategies based on Boolean specifications ‡ , 2001, Softw. Test. Verification Reliab..

[11]  Angelo Gargantini,et al.  Generating minimal fault detecting test suites for general Boolean specifications , 2011, Inf. Softw. Technol..

[12]  Kuo-Chung Tai,et al.  Test generation for Boolean expressions , 1995, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95.

[13]  R. K. Singh,et al.  An evaluation of Boolean expression testing techniques , 2006, SOEN.

[14]  Elaine J. Weyuker,et al.  A Formal Analysis of the Fault-Detecting Ability of Testing Methods , 1993, IEEE Trans. Software Eng..

[15]  Sigrid Eldh.  Software Testing Techniques , 2007 .

[16]  Baowen Xu,et al.  A revisit of fault class hierarchies in general boolean specifications , 2011, TSEM.

[17]  Kuo-Chung Tai.  Predicate-based test generation for computer programs , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[18]  Jonathan P. Bowen,et al.  Tolerance of control-flow testing criteria , 2003, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003.

[19]  Elaine J. Weyuker,et al.  Automatically Generating Test Data from a Boolean Specification , 1994, IEEE Trans. Software Eng..

[20]  A. Jefferson Offutt,et al.  Combination testing strategies: a survey , 2005, Softw. Test. Verification Reliab..

[21]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[22]  A. Jefferson Offutt,et al.  Investigations of the software testing coupling effect , 1992, TSEM.

[23]  Pankaj Mudholkar,et al.  Software Testing , 2002, Computer.

[24]  Kuo-Chung Tai,et al.  Theory of Fault-Based Predicate Testing for Computer Programs , 1996, IEEE Trans. Software Eng..

[25]  Tatsuhiro Tsuchiya,et al.  On fault classes and error detection capability of specification-based testing , 2002, TSEM.

[26]  Praveen Ranjan Srivastava,et al.  Cause effect graph to decision table generation , 2009, SOEN.

[27]  Robert L. Probert,et al.  Cause-effect graphing analysis and validation of requirements , 1995, CASCON.

[28]  Tsong Yueh Chen,et al.  On detecting faults for Boolean expressions , 2008, Software Quality Journal.

[29]  Mladen A. Vouk,et al.  Evaluation of a Predicate-Based Software Testing Strategy , 1994, IBM Syst. J..

[30]  Amit M. Paradkar.  A new solution to test generation for Boolean expressions , 1995, CASCON.

[31]  Steven P. Miller,et al.  Applicability of modified condition/decision coverage to software testing , 1994, Softw. Eng. J..

[32]  Mladen A. Vouk,et al.  Empirical studies of predicate-based software testing , 1994, Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering.