Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Exhaustive Simulation and Test...

Exhaustive Simulation and Test Generation Using fUML Activity Diagrams

Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres, Exhaustive Simulation and Test Generation Using fUML Activity Diagrams. In: P. Giorgini, B. Weber (Eds.), Advanced Information Systems Engineering, Lecture Notes in Computer Science 11483, 96–110, Springer, Cham, 2019.

http://dx.doi.org/10.1007/978-3-030-21290-2_7

Abstract:

The quality of the specifications used for test generation plays an important role in the quality of the generated tests. One approach to improve the quality of the UML specification is the use of executable models specified using the Foundational Subset for Executable UML Models (fUML) and the Action language for fUML (Alf). Due to their precise semantics, fUML and Alf models can be simulated or executed using an fUML execution engine. However, in order to execute the models exhaustively, one must provide input data required to reach and cover all essential elements not only in the graphical fUML models, but also in the textual Alf code associated with the graphical models. In this paper, we present an approach for exhaustive simulation and test generation from fUML activity diagrams containing Alf code. The proposed approach translates fUML activity diagrams and associated Alf code into equivalent Java code and then automatically generates: (1) input data needed to cover or execute all paths in the executable fUML and Alf models and (2) test cases and test oracle (expected output) for testing the actual implementation of the system under development. We also present a tool chain and demonstrate our proposed approach with the help of an example.

BibTeX entry:

@INPROCEEDINGS{inpIqAsTrPo19a,
  title = {Exhaustive Simulation and Test Generation Using fUML Activity Diagrams},
  booktitle = {Advanced Information Systems Engineering},
  author = {Iqbal, Junaid and Ashraf, Adnan and Truscan, Dragos and Porres, Ivan},
  volume = {11483},
  series = {Lecture Notes in Computer Science},
  editor = {Giorgini, P. and Weber, B.},
  publisher = {Springer, Cham},
  pages = { 96–110},
  year = {2019},
  keywords = {fUML Activity diagram, Alf, Simulation, Model-Based Testing, Test data generation, Eclipse Papyrus, Moka },
  ISSN = {978-3-030-21290-2},
}

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

Edit publication