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.
Originalsprog | Engelsk |
---|---|
Bogserie | Lecture Notes in Computer Science |
Vol/bind | 5850 |
Sider (fra-til) | 814-818 |
ISSN | 0302-9743 |
DOI | |
Status | Udgivet - 2009 |
Begivenhed | FM 2009: Formal Methods 2009, Second World Congress - Eindhoven, Holland Varighed: 2 nov. 2009 → 6 nov. 2009 Konferencens nummer: 2 |
Konference
Konference | FM 2009: Formal Methods 2009, Second World Congress |
---|---|
Nummer | 2 |
Land/Område | Holland |
By | Eindhoven |
Periode | 02/11/2009 → 06/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