Title :
Comparing Fault-based Testing Strategies of General Boolean Specifications
Author :
Chen, Zhenyu ; Xu, Baowen ; Nie, Changhai
Author_Institution :
Southeast Univ., Nanjing
Abstract :
Testing Boolean specifications in general form (GF) by the IDNF-oriented approaches always results in superabundant cost and missing detection of some faults. This paper proposes GF-oriented approaches to improve them. The experimental results show that the GF-oriented strategies could enhance the fault detection capability and reduce the sizes of test sets.
Keywords :
Boolean functions; formal specification; program testing; software fault tolerance; Boolean specification testing; fault detection; fault-based testing strategy; Application software; Computer applications; Computer science; Costs; Design for experiments; Education; Fault detection; Laboratories; Software engineering; Testing;
Conference_Titel :
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International
Conference_Location :
Beijing
Print_ISBN :
0-7695-2870-8
DOI :
10.1109/COMPSAC.2007.91
