Exhaustive Simulation and Test Generation Using fUML Activity Diagrams

Iqbal, Junaid; Ashraf, Adnan; Truşcan, Dragoş; Porres, Iván

doi:10.1007/978-3-030-21290-2_7

Cited by 5 publications

(8 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [18], a simulation and test generation approach is proposed for the fUML activity diagrams containing Alf 7 code [18]. At first, the fUML models are translated into Java code.…”

Section: Testing Approaches For Specific Dslsmentioning

confidence: 99%

“…Accordingly, different approaches have emerged in recent years to provide testing support for xDSLs. A first set of approaches aim to provide testing frameworks that are specific to selected xDSLs, such as fUML activity diagrams [30,18] or service-based Business Process Model and Notation (BPMN) processes [26], A second set of approaches aim to provide more generic testing frameworks, i. e. directly compatible with a wide range of xDSLs. Such approaches are much more versatile and can target large categories of DSLs such as grammar-based compiled DSLs [41] or interpreted xDSLs [20].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

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

“…In [18], a simulation and test generation approach is proposed for the fUML activity diagrams containing Alf 7 code [18]. At first, the fUML models are translated into Java code.…”

Section: Testing Approaches For Specific Dslsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Advanced testing and debugging support for reactive executable DSLs

et al. 2022

View full text Add to dashboard Cite

show abstract

“…A simulation and test generation approach for fUML activity diagrams is proposed in (Iqbal et al 2019a). The approach is mainly based on a translation from fUML Activity diagram containing Alf 9 code to Java.…”

Section: Ad-hoc Testing Facilities For Dslsmentioning

confidence: 99%

“…In the field of software engineering, probably the most prevalent dynamic V&V technique is testing, which involves executing systems and observing whether they act as expected. Accordingly, testing frameworks have been built for both a wide range of General-Purpose Languages (GPLs) (e. g. JUnit for Java) and specific xDSLs (Mijatov et al 2015;Kos et al 2016;Lübke & van Lessen 2017;Iqbal et al 2019a). A testing framework must at least include both a way to write test cases, and a way to execute such test cases in unison with the programs or models under test.…”

Section: Introductionmentioning

confidence: 99%

Adapting TDL to Provide Testing Support for Executable DSLs.

Khorram¹,

Bousse²,

Mottu³

et al. 2021

JOT

View full text Add to dashboard Cite

Testing is one of the most prevalent and successful verification and validation (V&V) techniques used in the field of software engineering. While a large number of testing frameworks exist for general-purpose programming languages, providing testing facilities for any given executable Domain Specific Language (xDSL) remains a costly and challenging task. In this context, a standard such as the Test Description Language (TDL) appears as a suitable foundation for the definition of a generic testing approach for xDSLs. Unfortunately, TDL does not provide the domain-specific concepts required to write test cases for a given xDSL and does not include any model execution facilities. Our contribution addresses these limitations and thereby provides a fully generic testing approach for xDSLs based on TDL. Required TDL domain-specific concepts are automatically inferred from the xDSL definition through a model transformation into TDL. Model execution facilities are provided through the definition of a refined operational semantics for TDL. The application of our approach on 5 different xDSLs shows its generality and that it can successfully be used for testing executable models.

show abstract

“…Testing is a popular dynamic V&V technique that involves executing systems and observing whether they act as expected. Currently, several testing approaches are proposed for xDSLs, some tailored for specific ones [25,29,33,37], while some others provide generic solutions that are applicable to a wide range of xD-SLs [10,27,28,36,54]. They allow the domain experts to write and execute test cases for behavioral models.…”

Section: Introductionmentioning

confidence: 99%

Automatic test amplification for executable models

Khorram

Bousse

Mottu

et al. 2022

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Behavioral models are important assets that must be thoroughly verified early in the design process. This can be achieved with manuallywritten test cases that embed carefully hand-picked domain-specific input data. However, such test cases may not always reach the desired level of quality, such as high coverage or being able to localize faults efficiently. Test amplification is an interesting emergent approach to improve a test suite by automatically generating new test cases out of existing manually-written ones. Yet, while ad-hoc test amplification solutions have been proposed for a few programming languages, no solution currently exists for amplifying the test cases of behavioral models.In this paper, we fill this gap with an automated and generic approach. Given an executable DSL, a conforming behavioral model, and an existing test suite, our approach generates new regression test cases in three steps: (i) generating new test inputs by applying a set of generic modifiers on the existing test inputs; (ii) running the model under test with new inputs and generating assertions from the execution traces; and (iii) selecting the new test cases that increase the mutation score. We provide tool support for the approach atop the Eclipse GEMOC Studio 1 and show its applicability in an empirical study. In the experiment, we applied the approach to 71 test suites written for models conforming to two different DSLs, and for 67 of the 71 cases, it successfully improved the mutation score between 3.17 % and 54.11 % depending on the initial setup. CCS CONCEPTS• Software and its engineering → Software testing and debugging; Model-driven software engineering.

show abstract

Exhaustive Simulation and Test Generation Using fUML Activity Diagrams

Cited by 5 publications

References 18 publications

Advanced testing and debugging support for reactive executable DSLs

Advanced testing and debugging support for reactive executable DSLs

Adapting TDL to Provide Testing Support for Executable DSLs.

Automatic test amplification for executable models

Contact Info

Product

Resources

About