- Link:
- http://dx.doi.org/10.1093/comjnl/bxh093
- Collection:
-
- Subjects
- Branch coverage Transformation Testability Exit statements
- Creators:
- Hierons, R M Harman, M Fox, C J Fox, CJ Hierons, RM
- Type
- Research Paper
- Format
- 539986 bytes
- Format
- application/pdf
- Language
- en
- Coverage
- 17
- Description
- 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.
- Publisher
- Oxford University Press
- Access:
- Instructions in case access is denied
Site powered by:
