Home // ICSEA 2013, The Eighth International Conference on Software Engineering Advances // View article

An Approach for Validation, Verification, and Model-based Testing of UML-based Real-time Systems

Authors:
Mehdi Nobakht
Dragos Truscan

Keywords: UML; UPPAAL; model verification; model-based conformance testing; real-time systems.

Abstract:
UML is gaining popularity in designing real-time systems. However, UML tools often lack support for verification. This paper describes an approach and a tool in which UML models used for designing real-time systems are translated into UPPAAL timed automata in order to take advantage of validation and verification support in the UPPAAL tool. This allows one to increase the quality of the UML models by complementing static validation via OCL with behavioral validation and verification using the UPPAAL model-checker. Having an implementation of the system under consideration, the obtained UPPAAL timed automata serve as input of the UPPAAL-TRON tool to perform online model-based conformance testing. The proposed approach also generates a skeleton of the test adapter required to interface the testing tool and the implementation under test. The approach and the tool are exemplified with a telecommunication case study.

Pages: 79 to 85

Copyright: Copyright (c) IARIA, 2013

Publication date: October 27, 2013

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-304-9

Location: Venice, Italy

Dates: from October 27, 2013 to October 31, 2013