Model based functional testing using pattern directed filmstrips

CLARK, Anthony (2009). Model based functional testing using pattern directed filmstrips. In: Automation of Software Test, 2009. AST '09. ICSE Workshop on. IEEE, 53-61.

Full text not available from this repository.

Abstract

Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and pre-/post-conditions must be precisely defined. UML provides the Object Constraint Language (OCL) for this purpose; however OCL expressions can become very complex. This paper describes an approach that allows many commonly found OCL patterns to be expressed as snapshot patterns that correspond directly to the information model diagrams. Behaviour is constructed as chains of snapshots, or filmstrips. Snapshots and filmstrips are as expressive as UML behaviour models and OCL but it is argued that they are more accessible and more modular.

Item Type:	Book Section
Research Institute, Centre or Group - Does NOT include content added after October 2018:	Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Departments - Does NOT include content added after October 2018:	Faculty of Science, Technology and Arts > Department of Computing
Identification Number:	https://doi.org/10.1109/IWAST.2009.5069041
Page Range:	53-61
Depositing User:	Tony Clark
Date Deposited:	07 Apr 2016 11:30
Last Modified:	18 Mar 2021 18:16
URI:	https://shura.shu.ac.uk/id/eprint/11921

Actions (login required)

View Item

Downloads

Publication Metrics