Test conditions for fault classes in Boolean specifications-Reference-Cited by-同舟云学术

Test conditions for fault classes in Boolean specifications

Published:2007-07 Issue:3 Volume:16 Page:10
ISSN:1049-331X
Container-title:ACM Transactions on Software Engineering and Methodology
language:en
Short-container-title:ACM Trans. Softw. Eng. Methodol.

Author:

Kapoor Kalpesh¹,Bowen Jonathan P.²

Affiliation:

1. Dhirubhai Ambani Institute of Information and Communication Technology, Gandhinagar (Gujarat), India

2. Museophile Limited, Oxon, United Kingdom

Abstract

Fault-based testing of software checks the software implementation for a set of faults. Two previous papers on fault-based testing [Kuhn 1999; Tsuchiya and Kikuno 2002] represent the required behavior of the software as a Boolean specification represented in Disjunctive Normal Form (DNF) and then show that faults may be organized in a hierarchy. This article extends these results by identifying necessary and sufficient conditions for fault-based testing. Unlike previous solutions, the formal analysis used to derive these conditions imposes no restrictions (such as DNF) on the form of the Boolean specification.

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

https://dl.acm.org/doi/pdf/10.1145/1243987.1243988

Reference25 articles.

1. Hints on Test Data Selection: Help for the Practicing Programmer

2. Constraint-based automatic test data generation

3. An experimental comparison of the effectiveness of branch testing and data flow testing

4. Comparing test sets and criteria in the presence of test hypotheses and fault domains

5. IEEE Standard Glossary of Software Engineering Terminology;IEEE.;ANSI/IEEE Std.,1990

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Do we need high-order mutation in fault-based Boolean-specification testing?;Journal of Systems and Software;2024-04

2. BOOMPizer: Minimization and prioritization of CONCOLIC based boosted MC/DC test cases;Journal of King Saud University - Computer and Information Sciences;2022-11

3. Formal Methods Communities of Practice: A Survey of Personal Experience;Lecture Notes in Computer Science;2022

4. Test input generation from cause–effect graphs;Software Quality Journal;2021-06-18

5. Measuring MC/DC Coverage and Boolean Fault Severity of Object-Oriented Programs Using Concolic Testing;Smart Innovation, Systems and Technologies;2020-10-31