Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios

Arnaud, Mathilde; Bannour, Boutheina; Cuccuru, Arnaud; Gaston, Christophe; Gérard, Sébastien; Lapitre, Arnault

doi:10.1007/978-3-319-11617-4_19

Cited by 4 publications

(4 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [2], a testing approach is proposed for fUML where the behavioral scenarios of a system are first described using UML sequence diagrams enriched with timing properties that are described in UML MARTE constraint language. These diagrams describe the communications between the different components of a system, and each component is itself described using fUML activity diagram.…”

Section: Testing Approaches For Specific Dslsmentioning

confidence: 99%

Advanced testing and debugging support for reactive executable DSLs

et al. 2022

View full text Add to dashboard Cite

Executable Domain-Specific Languages (xDSLs) allow the definition and the execution of behavioral models. Some behavioral models are reactive, meaning that during their execution, they accept external events and react by exposing events to the external environment. Since complex interaction may occur between the reactive model and the external environment, they should be tested as early as possible to ensure the correctness of their behavior. In this paper, we propose a set of generic testing facilities for reactive xDSLs using the standardized Test Description Language (TDL). Given a reactive xDSL, we generate a TDL library enabling the domain experts to write and run event-driven TDL test cases for conforming reactive models. To further support the domain expert, the approach integrates interactive debugging to help in localizing defects, and mutation analysis to measure the quality of test cases. We evaluate the level of genericity of the approach by successfully writing,

show abstract

Section: Testing Approaches For Specific Dslsmentioning

confidence: 99%

Advanced testing and debugging support for reactive executable DSLs

et al. 2022

View full text Add to dashboard Cite

show abstract

“…In particular, execution engines have been implemented for this modeling language, which no longer requires upstream translation into code artifacts [9]. This was implemented by Arnaud et al and extended by more formal concepts like symbolic execution [2]. Similarly, Iftikhar et al introduced a virtual machine for the execution of timed automata [12].…”

Section: Related Workmentioning

confidence: 99%

Abstract Test Execution for Early Testing Activities in Model-Driven Scenarios

Pröll

Hagemann

Bauer

2021

Communications in Computer and Information Science

View full text Add to dashboard Cite

The continuous improvement of the performance of computing units makes it possible to cope with increasingly complex tasks. This results in more complex software systems. However, the development of such highly complex systems is difficult to achieve using traditional approaches. Concepts like model-driven software development can weaken this problem in these constructive phases. However, new challenges arise for the testing of development artifacts. In order to be able to perform a real shift left of verification and validation tasks towards early phases of development, we present a semi-formal approach that enables users to execute test cases against the system under development (SUD) on the model-level. Grounded on an Integrated Model Basis which is created and maintained during development, test reports are automatically derived. This opens up a wide range of possibilities for early and targeted troubleshooting.

show abstract

“…Arnaud et al [2] proposed a timed symbolic execution [5] and conformance testing framework for executable models. Their approach checks correctness of fUML ADs with respect to high-level system scenarios modeled as UML MARTE 14 sequence diagrams.…”

Section: Test Generation From Adsmentioning

confidence: 99%

“…However, UML lacks precise semantics, which hinders the creation of high quality models. To address this problem, the Object Management Group (OMG) has published the Foundational Subset for Executable UML Models (fUML) 1 and Action Language for fUML (Alf) 2 standards. fUML provides precise semantics and allows to create models that are not only executable, but also provide the basis to generate fully functional code.…”

Section: Introductionmentioning

confidence: 99%

Exhaustive Simulation and Test Generation Using fUML Activity Diagrams

Iqbal

Ashraf

Truşcan

et al. 2019

Advanced Information Systems Engineering

View full text Add to dashboard Cite

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.

show abstract

Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios

Cited by 4 publications

References 15 publications

Advanced testing and debugging support for reactive executable DSLs

Advanced testing and debugging support for reactive executable DSLs

Abstract Test Execution for Early Testing Activities in Model-Driven Scenarios

Exhaustive Simulation and Test Generation Using fUML Activity Diagrams

Contact Info

Product

Resources

About