Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > An Approach for Validation, Ve...

An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems

Mehdi Nobakht, Dragos Truscan, An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems. In: Luigi Lavazza, Roy Oberhauser, Adriana Martin, Jameleddine Hassine, Michael Gebhart, Marko Jäntti (Eds.), ICSEA 2013, The Eighth International Conference on Software Engineering Advances, 79–85, IARIA, 2013.

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.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpNoTr13a,
  title = {An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems},
  booktitle = {ICSEA 2013, The Eighth International Conference on Software Engineering Advances},
  author = {Nobakht, Mehdi and Truscan, Dragos},
  editor = {Lavazza, Luigi and Oberhauser, Roy and Martin, Adriana and Hassine, Jameleddine and Gebhart, Michael and Jäntti, Marko},
  publisher = {IARIA},
  pages = {79–85},
  year = {2013},
  keywords = {UML; UPPAAL; model verification; model-based conformance testing; real-time systems},
}

Belongs to TUCS Research Unit(s): Software Engineering Laboratory (SE Lab)

Publication Forum rating of this publication: level 1

Edit publication