Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/363
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hierons, RM | - |
dc.coverage.spatial | 21 | en |
dc.date.accessioned | 2006-11-07T15:22:00Z | - |
dc.date.available | 2006-11-07T15:22:00Z | - |
dc.date.issued | 2002 | - |
dc.identifier.citation | Hierons, R.M. (2002) 'Comparing test sets and criteria in the presence of test hypotheses and fault domains', ACM Transactions On Software Engineering and Methodology, 11(4), pp. 427-448. doi:10.1145/606612.606615. | en |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/363 | - |
dc.description.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. | en |
dc.format.extent | 705454 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Association For Computing Machinery Press, New York, NY, USA | en |
dc.subject | Theory | en |
dc.subject | Verification | en |
dc.subject | Fault domains | en |
dc.title | Comparing test sets and criteria in the presence of test hypotheses and fault domains | en |
dc.type | Research Paper | en |
dc.identifier.doi | https://doi.org/10.1145/606612.606615 | - |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers Software Engineering (B-SERC) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
FullText.pdf | 688.92 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.