Sciweavers

FM
2009
Springer

Model-Based GUI Testing Using Uppaal at Novo Nordisk

13 years 1 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in 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.
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where FM
Authors Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou
Comments (0)