MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

3 Lataukset (Pure)

Abstrakti

The Foundational Subset for Executable UML Models (fUML) and the Action language for fUML (Alf) can be used for creating executable models in the Eclipse-based UML editing tool called Papyrus. An fUML execution engine in Papyrus, such as Moka, allows to simulate or execute fUML models along with their associated Alf code. However, for exhaustive simulation of such models, one must provide input data required to reach and cover all important elements not only in the graphical fUML models but also in the textual Alf code. In this paper, we present MATERA2-AlfTester, an Eclipse-plugin for exhaustive simulation and test generation for fUML models. MATERA2-AlfTester integrates with Papyrus and Moka tools and extends their functionally by allowing one to automatically generate test data, test suite with test oracle, and partial Java code at design time. We also present the simulation and testing process of MATERA2-AlfTester with the help of an example and demonstrate how exhaustive simulation and test generation with MATERA2-AlfTester can help designers in assessing and improving the quality of fUML models.

AlkuperäiskieliEi tiedossa
Otsikko45th Euromicro Conference on Software Engineering and Advanced Applications
ToimittajatMiroslaw Staron, Rafael Capilla, Amund Skavhaug.
KustantajaIEEE
Sivut466–470
ISBN (painettu)978-1-7281-3421-5
DOI - pysyväislinkit
TilaJulkaistu - 2019
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaEuromicro Conference on Software Engineering and Advanced Applications (SEAA) - 45th Euromicro Conference on Software Engineering and Advanced Applications
Kesto: 28 elokuuta 201930 elokuuta 2019

Konferenssi

KonferenssiEuromicro Conference on Software Engineering and Advanced Applications (SEAA)
Ajanjakso28/08/1930/08/19

Keywords

  • Alf
  • Eclipse Papyrus
  • Test data generation
  • fUML
  • modelling and simulation

Viittausmuodot