Model-Based GUI Testing Using Uppaal at Novo Nordisk

Authors:
Ulrik H. Hjort;Jacob Illum;Kim G. Larsen;Michael A. Petersen;Arne Skou
Affiliations:
Novo Nordisk A/S, Hillerød, Denmark;Department of Computer Science, Aalborg University, Denmark;Department of Computer Science, Aalborg University, Denmark;Novo Nordisk A/S, Hillerød, Denmark;Department of Computer Science, Aalborg University, Denmark
Venue:
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Year:
2009

Citing 5
Cited 0

Model Driven Architecture: Applying MDA to Enterprise Computing

Model Driven Architecture: Applying MDA to Enterprise Computing
Production Scheduling by Reachability Analysis - A Case Study

IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Optimal scheduling using priced timed automata

ACM SIGMETRICS Performance Evaluation Review
Automatic Synthesis of Robust and Optimal Controllers --- An Industrial Case Study

HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Guided controller synthesis for climate controller using UPPAAL TIGA

FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems

Quantified Score

Hi-index	0.00

Visualization

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.