Conference paper
Putting formal specifications under the magnifying glass: Model-based testing for validation
2nd International Conference on Software Testing, Verification, and Validation, pp.131-140
International Conference on Software Testing, Verification, and Validation (ICST 2009), 2nd (Denver, United States, 01-Apr-2009–04-Apr-2009)
IEEE Publishing Inc.
2009
Abstract
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code can be automatically generated. The success (or failure) of such a transformation depends substantially on obtaining a correct, well-formed initial model that captures user concerns. Model-based testing automates black box testing based on the model of the system under analysis. This paper proposes and evaluates a novel model-based testing technique that aims to reveal specification/requirement-related errors by generating test cases from a test model and exercising them on the design model. The case study outlined in the paper shows that a separate test model not only increases the level of objectivity of the requirements, but also supports the validation of the system under test through test case generation. The results obtained from the case study support the hypothesis that there may be discrepancies between the formal specification of the system modeled and the problem to be solved, and that using solely formal verification methods may not be sufficient to reveal these. The approach presented in this paper aims at providing means to obtain greater confidence in the design model that is used as the basis for code generation.
Details
- Title
- Putting formal specifications under the magnifying glass: Model-based testing for validation
- Authors
- E G Aydal (Author) - University of York, United KingdomR F Paige (Author) - University of York, United KingdomMark Utting (Author) - University of Waikato, New ZealandJ Woodcock (Author) - University of York, United Kingdom
- Publication details
- 2nd International Conference on Software Testing, Verification, and Validation, pp.131-140
- Conference details
- International Conference on Software Testing, Verification, and Validation (ICST 2009), 2nd (Denver, United States, 01-Apr-2009–04-Apr-2009)
- Publisher
- IEEE Publishing Inc.
- Date published
- 2009
- DOI
- 10.1109/ICST.2009.20
- ISBN
- 9780769536019
- Copyright note
- Copyright © 2009 IEEE Publishing Inc. The accepted version of this manuscript is reproduced here in accordance with the copyright policy of the publisher.
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99449095202621
- Output Type
- Conference paper
Metrics
79 File views/ downloads
458 Record Views