Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/346
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hierons, RM | - |
dc.contributor.author | Harman, M | - |
dc.contributor.author | Fox, CJ | - |
dc.coverage.spatial | 17 | en |
dc.date.accessioned | 2006-11-06T10:10:14Z | - |
dc.date.available | 2006-11-06T10:10:14Z | - |
dc.date.issued | 2005 | - |
dc.identifier.citation | The Computer Journal, 48(4): 421-436, May 2005 | en |
dc.identifier.uri | http://comjnl.oxfordjournals.org/cgi/content/abstract/48/4/421 | en |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/346 | - |
dc.description.abstract | Test data generation by hand is a tedious, expensive and error-prone activity, yet testing is a vital part of the development process. Several techniques have been proposed to automate the generation of test data, but all of these are hindered by the presence of unstructured control flow. This paper addresses the problem using testability transformation. Testability transformation does not preserve the traditional meaning of the program, rather it deals with preserving test-adequate sets of input data. This requires new equivalence relations which, in turn, entail novel proof obligations. The paper illustrates this using the branch coverage adequacy criterion and develops a branch adequacy equivalence relation and a testability transformation for restructuring. It then presents a proof that the transformation preserves branch adequacy. | en |
dc.format.extent | 539986 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Oxford University Press | - |
dc.subject | Branch coverage | en |
dc.subject | Transformation | en |
dc.subject | Testability | en |
dc.subject | Exit statements | en |
dc.title | Branch-coverage testability transformation for unstructured programs | en |
dc.type | Research Paper | en |
dc.identifier.doi | http://dx.doi.org/10.1093/comjnl/bxh093 | - |
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 | 345.39 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.