Model based functional testing using pattern directed filmstrips

Research output: Chapter in Book/Report/Conference proceedingConference publication

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.
Original languageEnglish
Title of host publicationAST '09. ICSE Workshop on Automation of Software Test, 2009.
PublisherIEEE
Pages53-61
ISBN (Print)978-1-4244-3711-5
DOIs
Publication statusPublished - 5 Jun 2009
Event2009 ICSE Workshop on Automation of Software Test (AST) - Vancouver, BC, Canada
Duration: 18 May 200919 May 2009

Conference

Conference2009 ICSE Workshop on Automation of Software Test (AST)
Period18/05/0919/05/09

Fingerprint Dive into the research topics of 'Model based functional testing using pattern directed filmstrips'. Together they form a unique fingerprint.

Cite this