Model based functional testing using pattern directed filmstrips.
Clark, Tony (2009) Model based functional testing using pattern directed filmstrips. In: Fourth International Workshop on the Automation of Software Test, May 2009, Vancouver.
Model driven functional system testing generates test scenarios from behavioral and structural models. In order to automatically 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:||Conference or Workshop Item (Paper)|
|Research Areas:||A. > School of Science and Technology > Computer Science|
A. > School of Science and Technology > Computer Science > Intelligent Environments group
A. > School of Science and Technology > Computer Science > SensoLab group
|Citations on ISI Web of Science:||0|
|Deposited On:||26 May 2010 14:31|
|Last Modified:||22 Sep 2015 17:10|
Repository staff only: item control page
Full text downloads (NB count will be zero if no full text documents are attached to the record)
Downloads per month over the past year