Test-data generation for control coverage by proof
Many tools can check if a test set provides control coverage; they are, however, of little or no help when coverage is not achieved and the test set needs to be completed. In this paper, we describe how a formal characterisation of a coverage criterion can be used to generate test data; we present a...
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2014
|
| _version_ | 1797068866963111936 |
|---|---|
| author | Cavalcanti, A King, S O'Halloran, C Woodcock, J |
| author_facet | Cavalcanti, A King, S O'Halloran, C Woodcock, J |
| author_sort | Cavalcanti, A |
| collection | OXFORD |
| description | Many tools can check if a test set provides control coverage; they are, however, of little or no help when coverage is not achieved and the test set needs to be completed. In this paper, we describe how a formal characterisation of a coverage criterion can be used to generate test data; we present a procedure based on traditional programming techniques like normalisation, and weakest precondition calculation. It is a basis for automation using an algebraic theorem prover. In the worst situation, if automation fails to produce a specific test, we are left with a specification of the compliant test sets. Many approaches to model-based testing rely on formal models of a system under test. Our work, on the other hand, is not concerned with the use of abstract models for testing, but with coverage based on the text of programs. © 2013 British Computer Society. |
| first_indexed | 2024-03-06T22:16:09Z |
| format | Journal article |
| id | oxford-uuid:53737509-394c-4596-abcb-12c544c70e1c |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T22:16:09Z |
| publishDate | 2014 |
| record_format | dspace |
| spelling | oxford-uuid:53737509-394c-4596-abcb-12c544c70e1c2022-03-26T16:31:45ZTest-data generation for control coverage by proofJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:53737509-394c-4596-abcb-12c544c70e1cEnglishSymplectic Elements at Oxford2014Cavalcanti, AKing, SO'Halloran, CWoodcock, JMany tools can check if a test set provides control coverage; they are, however, of little or no help when coverage is not achieved and the test set needs to be completed. In this paper, we describe how a formal characterisation of a coverage criterion can be used to generate test data; we present a procedure based on traditional programming techniques like normalisation, and weakest precondition calculation. It is a basis for automation using an algebraic theorem prover. In the worst situation, if automation fails to produce a specific test, we are left with a specification of the compliant test sets. Many approaches to model-based testing rely on formal models of a system under test. Our work, on the other hand, is not concerned with the use of abstract models for testing, but with coverage based on the text of programs. © 2013 British Computer Society. |
| spellingShingle | Cavalcanti, A King, S O'Halloran, C Woodcock, J Test-data generation for control coverage by proof |
| title | Test-data generation for control coverage by proof |
| title_full | Test-data generation for control coverage by proof |
| title_fullStr | Test-data generation for control coverage by proof |
| title_full_unstemmed | Test-data generation for control coverage by proof |
| title_short | Test-data generation for control coverage by proof |
| title_sort | test data generation for control coverage by proof |
| work_keys_str_mv | AT cavalcantia testdatagenerationforcontrolcoveragebyproof AT kings testdatagenerationforcontrolcoveragebyproof AT ohalloranc testdatagenerationforcontrolcoveragebyproof AT woodcockj testdatagenerationforcontrolcoveragebyproof |