Show simple item record  

dc.contributor.authorAydal, Emine G.
dc.contributor.authorPaige, Richard F.
dc.contributor.authorUtting, Mark
dc.contributor.authorWoodcock, Jim
dc.coverage.spatialConference held at Denver, Colorado, USAen_NZ
dc.date.accessioned2009-01-21T21:10:15Z
dc.date.available2009-01-21T21:10:15Z
dc.date.issued2009
dc.identifier.citationAydal, E. G., Paige, R. F., Utting, M. & Woodcock, J. (2009). Putting formal specifications under the magnifying glass: Model-based testing for validation. In Proceedings of 2nd International Conference on Software Testing, Verification, and Validation, Denver, Colorado, USA, April 1-4, 2009 (pp.131 - 140). IEEE.en
dc.identifier.urihttps://hdl.handle.net/10289/1831
dc.description.abstractA software development process is effectively an abstract form of model transformation, starting from an end-user 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 at developer end and the problem to be solved, and 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.en
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEE Computer Societyen
dc.relation.urihttp://doi.ieeecomputersociety.org/10.1109/ICST.2009.20en
dc.rights©2009 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.en
dc.source2nd International Conference on Software Testing, Verification and Validation Workshopsen_NZ
dc.subjectcomputer scienceen
dc.subjectmodel-based testingen
dc.titlePutting formal specifications under the magnifying glass: Model-based testing for validationen
dc.typeConference Contributionen
dc.identifier.doi10.1109/ICST.2009.20
dc.relation.isPartOfInternational Conference on Software Testing Verification and Validationen_NZ
pubs.begin-page131en_NZ
pubs.elements-id19011
pubs.end-page140en_NZ
pubs.finish-date2009-04-04en_NZ
pubs.start-date2009-04-01en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record