Brunel University Research Archive (BURA) >
Research Areas >
Computer Science >

Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/362

Title: Avoiding coincidental correctness in boundary value analysis
Authors: Hierons, RM
Keywords: Reliability
Theory
Verification
Test case generation
Boundary value analysis
Coincidental correctness
Domain faults
Test case generation
Boundary value analysis
Coincidental correctness
Publication Date: 2006
Publisher: ACM Press, New York, NY, USA
Citation: ACM Transactions on Software Engineering and Methodology, 15(3): 227 - 241, Jul 2006
Abstract: In partition analysis we divide the input domain to form subdomains on which the system's behaviour should be uniform. Boundary value analysis produces test inputs near each subdomain's boundaries to find failures caused by incorrect implementation of the boundaries. However, boundary value analysis can be adversely affected by coincidental correctness---the system produces the expected output, but for the wrong reason. This article shows how boundary value analysis can be adapted in order to reduce the likelihood of coincidental correctness. The main contribution is to cases of automated test data generation in which we cannot rely on the expertise of a tester.
URI: http://campus.acm.org/public/search/search.cfm
http://bura.brunel.ac.uk/handle/2438/362
Appears in Collections:B-SERC Research Papers
Computer Science
Dept of Computer Science Research Papers

Files in This Item:

File Description SizeFormat
Avoiding Coincidental.pdf554.57 kBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.