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 tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citationer (Scopus)

Abstrakt

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.
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind5850
Sider (fra-til)814-818
ISSN0302-9743
DOI
StatusUdgivet - 2009
BegivenhedFM 2009: Formal Methods 2009, Second World Congress - Eindhoven, Holland
Varighed: 2 nov. 20096 nov. 2009
Konferencens nummer: 2

Konference

KonferenceFM 2009: Formal Methods 2009, Second World Congress
Nummer2
LandHolland
ByEindhoven
Periode02/11/200906/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

Fingeraftryk Dyk ned i forskningsemnerne om 'Model-Based GUI Testing Using Uppaal at Novo Nordisk'. Sammen danner de et unikt fingeraftryk.

Citationsformater