Model-Based GUI Testing Using Uppaal at Novo Nordisk

Ulrik H. Hjort; Jacob Illum Rasmussen; Kim Guldstrand Larsen; Michael A. Petersen; Arne Skou

doi:10.1007/978-3-642-05089-3_53

Model-Based GUI Testing Using Uppaal at Novo Nordisk

Ulrik H. Hjort
, Jacob Illum Rasmussen
, Kim Guldstrand Larsen
, Michael A. Petersen
, Arne Skou

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

1 Citation (Scopus)

Abstract

This paper details a collaboration between Aalborg University and Novo Nordiskin developing an automatic model-based test generation tool for system testing of the graphical user interface of a medical device on an embedded platform. The tool takes as input an UML Statemachine model and generates a test suite satisfying some testing criterion, such as edge or state coverage, and converts the individual test case into a scripting language that can be automatically executed against the target. The tool has significantly reduced the time required for test construction and generation, and reduced the number of test scripts while increasing the coverage.

Original language	English
Book series	Lecture Notes in Computer Science
Volume	5850
Pages (from-to)	814-818
ISSN	0302-9743
DOIs	https://doi.org/10.1007/978-3-642-05089-3_53
Publication status	Published - 2009
Event	FM 2009: Formal Methods 2009, Second World Congress - Eindhoven, Netherlands Duration: 2 Nov 2009 → 6 Nov 2009 Conference number: 2

Conference

Conference	FM 2009: Formal Methods 2009, Second World Congress
Number	2
Country/Territory	Netherlands
City	Eindhoven
Period	02/11/2009 → 06/11/2009

Keywords

Testing
UML
State Machines
UPPAAL

Access to Document

10.1007/978-3-642-05089-3_53

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{f594c320fdc711de9a61000ea68e967b,

title = "Model-Based GUI Testing Using Uppaal at Novo Nordisk",

abstract = "This paper details a collaboration between Aalborg University and Novo Nordiskin developing an automatic model-based test generation tool for system testing of the graphical user interface of a medical device on an embedded platform. The tool takes as input an UML Statemachine model and generates a test suite satisfying some testing criterion, such as edge or state coverage, and converts the individual test case into a scripting language that can be automatically executed against the target. The tool has significantly reduced the time required for test construction and generation, and reduced the number of test scripts while increasing the coverage.",

keywords = "Testing, UML, State Machines, UPPAAL, Testing, UML, State Machines, UPPAAL",

author = "\{H. Hjort\}, Ulrik and Rasmussen, \{Jacob Illum\} and Larsen, \{Kim Guldstrand\} and \{A. Petersen\}, Michael and Arne Skou",

note = "Titel: FM 2009: Formal Methods Oversat titel: Oversat undertitel: Forlag: Springer ISBN (Trykt): 978-3-642-05088-6 ISBN (Elektronisk): Publikationsserier: Lecture Notes in Computer Science, Springer Verlag, 0302-9743, 1611-3349, 5850 ; FM 2009: Formal Methods 2009, Second World Congress ; Conference date: 02-11-2009 Through 06-11-2009",

year = "2009",

doi = "10.1007/978-3-642-05089-3\_53",

language = "English",

volume = "5850",

pages = "814--818",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - GEN

T1 - Model-Based GUI Testing Using Uppaal at Novo Nordisk

AU - H. Hjort, Ulrik

AU - Rasmussen, Jacob Illum

AU - Larsen, Kim Guldstrand

AU - A. Petersen, Michael

AU - Skou, Arne

N1 - Conference code: 2

PY - 2009

Y1 - 2009

N2 - This paper details a collaboration between Aalborg University and Novo Nordiskin developing an automatic model-based test generation tool for system testing of the graphical user interface of a medical device on an embedded platform. The tool takes as input an UML Statemachine model and generates a test suite satisfying some testing criterion, such as edge or state coverage, and converts the individual test case into a scripting language that can be automatically executed against the target. The tool has significantly reduced the time required for test construction and generation, and reduced the number of test scripts while increasing the coverage.

AB - This paper details a collaboration between Aalborg University and Novo Nordiskin developing an automatic model-based test generation tool for system testing of the graphical user interface of a medical device on an embedded platform. The tool takes as input an UML Statemachine model and generates a test suite satisfying some testing criterion, such as edge or state coverage, and converts the individual test case into a scripting language that can be automatically executed against the target. The tool has significantly reduced the time required for test construction and generation, and reduced the number of test scripts while increasing the coverage.

KW - Testing

KW - UML

KW - State Machines

KW - UPPAAL

KW - Testing

KW - UML

KW - State Machines

KW - UPPAAL

U2 - 10.1007/978-3-642-05089-3_53

DO - 10.1007/978-3-642-05089-3_53

M3 - Conference article in Journal

SN - 0302-9743

VL - 5850

SP - 814

EP - 818

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - FM 2009: Formal Methods 2009, Second World Congress

Y2 - 2 November 2009 through 6 November 2009

ER -

Model-Based GUI Testing Using Uppaal at Novo Nordisk

Abstract

Conference

Keywords

Access to Document

AUB Link

Fingerprint

Cite this