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 journalConference article in JournalResearchpeer-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 languageEnglish
Book seriesLecture Notes in Computer Science
Volume5850
Pages (from-to)814-818
ISSN0302-9743
DOIs
Publication statusPublished - 2009
EventFM 2009: Formal Methods 2009, Second World Congress - Eindhoven, Netherlands
Duration: 2 Nov 20096 Nov 2009
Conference number: 2

Conference

ConferenceFM 2009: Formal Methods 2009, Second World Congress
Number2
CountryNetherlands
CityEindhoven
Period02/11/200906/11/2009

Fingerprint

Graphical user interfaces
Model-based
Testing
Coverage
Test Generation
Graphical User Interface
State Machine
Convert
Target
Model

Keywords

  • Testing
  • UML
  • State Machines
  • UPPAAL

Cite this

H. Hjort, Ulrik ; Rasmussen, Jacob Illum ; Larsen, Kim Guldstrand ; A. Petersen, Michael ; Skou, Arne. / Model-Based GUI Testing Using Uppaal at Novo Nordisk. In: Lecture Notes in Computer Science. 2009 ; Vol. 5850. pp. 814-818.
@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",
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",

}

Model-Based GUI Testing Using Uppaal at Novo Nordisk. / H. Hjort, Ulrik; Rasmussen, Jacob Illum; Larsen, Kim Guldstrand; A. Petersen, Michael; Skou, Arne.

In: Lecture Notes in Computer Science, Vol. 5850, 2009, p. 814-818.

Research output: Contribution to journalConference article in JournalResearchpeer-review

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

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

VL - 5850

SP - 814

EP - 818

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -