Model based functional testing using pattern directed filmstrips

Tony Clark

doi:10.1109/IWAST.2009.5069041

Model based functional testing using pattern directed filmstrips

Tony Clark

College of Engineering and Physical Sciences

Research output: Chapter in Book/Published conference output › Conference 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 language	English
Title of host publication	AST '09. ICSE Workshop on Automation of Software Test, 2009.
Publisher	IEEE
Pages	53-61
ISBN (Print)	978-1-4244-3711-5
DOIs	https://doi.org/10.1109/IWAST.2009.5069041
Publication status	Published - 5 Jun 2009
Event	2009 ICSE Workshop on Automation of Software Test (AST) - Vancouver, BC, Canada Duration: 18 May 2009 → 19 May 2009

Conference

Conference	2009 ICSE Workshop on Automation of Software Test (AST)
Period	18/05/09 → 19/05/09

Access to Document

10.1109/IWAST.2009.5069041

Cite this

@inproceedings{9d08980f47164ef6a128202ddd9c3ed7,

title = "Model based functional testing using pattern directed filmstrips",

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.",

author = "Tony Clark",

year = "2009",

month = jun,

day = "5",

doi = "10.1109/IWAST.2009.5069041",

language = "English",

isbn = "978-1-4244-3711-5",

pages = "53--61",

booktitle = "AST '09. ICSE Workshop on Automation of Software Test, 2009.",

publisher = "IEEE",

address = "United States",

note = "2009 ICSE Workshop on Automation of Software Test (AST) ; Conference date: 18-05-2009 Through 19-05-2009",

}

TY - GEN

T1 - Model based functional testing using pattern directed filmstrips

AU - Clark, Tony

PY - 2009/6/5

Y1 - 2009/6/5

N2 - 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.

AB - 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.

UR - https://ieeexplore.ieee.org/document/5069041/

U2 - 10.1109/IWAST.2009.5069041

DO - 10.1109/IWAST.2009.5069041

M3 - Conference publication

SN - 978-1-4244-3711-5

SP - 53

EP - 61

BT - AST '09. ICSE Workshop on Automation of Software Test, 2009.

PB - IEEE

T2 - 2009 ICSE Workshop on Automation of Software Test (AST)

Y2 - 18 May 2009 through 19 May 2009

ER -

Model based functional testing using pattern directed filmstrips

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this