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

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

1 Citationer (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.

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	5850
Sider (fra-til)	814-818
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-05089-3_53
Status	Udgivet - 2009
Begivenhed	FM 2009: Formal Methods 2009, Second World Congress - Eindhoven, Holland Varighed: 2 nov. 2009 → 6 nov. 2009 Konferencens nummer: 2

Konference

Konference	FM 2009: Formal Methods 2009, Second World Congress
Nummer	2
Land/Område	Holland
By	Eindhoven
Periode	02/11/2009 → 06/11/2009

Bibliografisk 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

Emneord

Testing
UML
State Machines
UPPAAL

Adgang til dokumentet

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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

Konference

Bibliografisk note

Emneord

Adgang til dokumentet

AUB Link

Fingeraftryk

Citationsformater