Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/363
Title: Comparing test sets and criteria in the presence of test hypotheses and fault domains
Authors: Hierons, RM
Keywords: Theory;Verification;Fault domains
Issue Date: 2002
Publisher: Association For Computing Machinery Press, New York, NY, USA
Citation: ACM Transactions On Software Engineering and Methodology, 11(4): 427-448, 2002
Abstract: A number of authors have considered the problem of comparing test sets and criteria. Ideally test sets are compared using a preorder with the property that test set T1 is at least as strong as T2 if whenever T2 determines that an implementation p is faulty, T1 will also determine that p is faulty. This notion can be extended to test criteria. However, it has been noted that very few test sets and criteria are comparable under such an ordering; instead orderings are based on weaker properties such as subsumes. This paper explores an alternative approach, in which comparisons are made in the presence of a test hypothesis or fault domain. This approach allows strong statements about fault detecting ability to be made and yet for a number of test sets and criteria to be comparable. It may also drive incremental test generation.
URI: http://www.acm.org/pubs/tosem/
http://bura.brunel.ac.uk/handle/2438/363
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

Files in This Item:
File Description SizeFormat 
Comparing test sets.pdf688.92 kBAdobe PDFView/Open


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