Model-Based GUI Testing Using Uppaal at Novo Nordisk

Research output: Research - peer-reviewConference article in Journal

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

Details

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
DOI
StatePublished - 2009
Publication categoryResearch
Peer-reviewedYes
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

    Research areas

  • Testing, UML, State Machines, UPPAAL
ID: 36513016