Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > MATERA - An Integrated Framewo...

MATERA - An Integrated Framework for Model-Based Testing

Fredrik Abbors, Andreas Bäcklund, Dragos Truscan, MATERA - An Integrated Framework for Model-Based Testing. In: Sterritt Roy, Eames Brandon, Sprinkle Jonathan (Eds.), Proceedings of the 7th Workshop on System Testing and Validation (STV10), 321 – 328, IEEE Computer Society, 2010.

Abstract:

This paper presents MATERA, a framework that integrates modeling in the Unified Modeling Language (UML) with requirement traceability across a model-based testing (MBT) process. The Graphical User Interface (GUI) of MATERA is implemented as a plug-in in the NoMagic’s MagicDraw modeling tool, combining existing capabilities of MagicDraw with custom ones. MATERA supports graphical specification of the requirements using SysML and tracing of them to the UML models specifying the SUT. Model validation is performed in MagicDraw using both predefined and custom validation rules. The resulting models are automatically transformed into input for the Conformiq Qtronic tool, used for automated test generation. Upon executing the test scripts generated by
Qtronic in the NetHawk’s East execution environment, the results of statistic analysis of the test run are presented in the GUI. The back-traceability of the covered requirements from test to models is also provided in the GUI to facilitate the identification of the source of possible errors in the models. The approach we present shows that existing model-based languages and tools are an enabler for model-based testing and for providing integrated tool support across the MBT process.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpAbBaTr10a,
  title = {MATERA - An Integrated Framework for Model-Based Testing},
  booktitle = {Proceedings of the 7th Workshop on System Testing and Validation (STV10)},
  author = {Abbors, Fredrik and Bäcklund, Andreas and Truscan, Dragos},
  editor = {Roy, Sterritt and Brandon, Eames and Jonathan, Sprinkle},
  publisher = {IEEE Computer Society},
  pages = {321 – 328},
  year = {2010},
  keywords = {Model-Based Testing; Model Validation; Requirements Traceability;},
  ISSN = {2159-3469},
}

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

Edit publication