DocumentCode
467109
Title
Comparing Fault-based Testing Strategies of General Boolean Specifications
Author
Chen, Zhenyu ; Xu, Baowen ; Nie, Changhai
Author_Institution
Southeast Univ., Nanjing
Volume
1
fYear
2007
fDate
24-27 July 2007
Firstpage
621
Lastpage
622
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International
Conference_Location
Beijing
ISSN
0730-3157
Print_ISBN
0-7695-2870-8
Type
conf
DOI
10.1109/COMPSAC.2007.91
Filename
4291063
Link To Document