Model-based test case generation from UML sequence diagrams using extended finite state machines

Rocha, Mauricio; Simão, Adenilso da Silva; Sousa, Thiago de Jesus

doi:10.1007/s11219-020-09531-0

Cited by 18 publications

(12 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…EFSM models can be represented as a directed graph G(V, E). The elements of V represent the states of an EFSM, and E denotes its transitions [11].…”

Section: B Extended Finite State Machinementioning

confidence: 99%

“…In addition to the mentioned problem, due to the lack of formal semantics, the use of UML diagrams can lead to inconsistency, transformation problems, and different interpretations [5]. Another issue of note is that UML specification presents a challenge in terms of navigation and comprehension [11].…”

Section: Introductionmentioning

confidence: 99%

“…Finite State Machines (FSMs) are a favorite notation in formal system modeling and testing software [5]. Although, formal models are rarely used in practice, probably because developers lack the necessary training and familiarity with the mathematical notation [11].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Automated Model-Based Test Case Generation for UML Activity Diagrams using EFSM

Shahbazi,

Keyvanpour

2023

Proceedings of Computer Science and Information Technologies 2023 Conference

View full text Add to dashboard Cite

Model-based testing (MBT) is a promising approach for generating test cases from system models, providing high levels of automation and effectiveness. The potential for automation in MBT is possible if the model is formal and machine-readable. A commonly employed formal modeling technique is the representation of a system as an extended finite state machine (EFSM). However, in practice, formal models are not common in the industry. Activity diagrams, on the other hand, are well-suited for generating test cases, but their lack of formal semantics can lead to ambiguous interpretations and make them unsuitable for automation. In this paper, we propose an efficient approach that maps UML Activity Diagrams into EFSMs, providing a formal modeling of the system under test (SUT) and utilizes JUnit and ModelJUnit Java libraries to automatically generate test cases, using coverage measures to evaluate them. Our approach aims to overcome the limitations of automation in MBT, while achieving efficient coverage and execution time metrics.

show abstract

“…EFSM models can be represented as a directed graph G(V, E). The elements of V represent the states of an EFSM, and E denotes its transitions [11].…”

Section: B Extended Finite State Machinementioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Automated Model-Based Test Case Generation for UML Activity Diagrams using EFSM

Shahbazi,

Keyvanpour

2023

Proceedings of Computer Science and Information Technologies 2023 Conference

View full text Add to dashboard Cite

show abstract

“…Ahmadi and Hili [3] present an approach for automatically test components of UML-RT models with respect to a set of properties defined by state machines, and apply slicing to reduce the size of the components with respect to the properties. Rocha et al [42] generate JUnit test cases from sequence diagrams via a transformation of the latter into extended finite state machines. From fUML activity diagrams, Iqbal et al [25] generate test cases with input data to cover all executable paths of the diagrams, together with their expected output.…”

Section: Test Case Generation For Behavioral Modelsmentioning

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

“…This paper helped us to analyze and transform the decision node of the activity diagram to table format. In paper [6], the author developed a procedure to formalize sequence diagrams into an extended finite state machine by generating the test cases from sequence diagrams. This paper helped us to analyze and transform the ALT and LOOP of sequence diagram to activity diagram.…”

Section: Literature Reviewmentioning

confidence: 99%

Novel approach to transform UML Sequence diagram to Activity diagram

Kulkarni¹,

Srinivasa²

2021

JUSST

View full text Add to dashboard Cite

Unified Modelling Language (UML) is currently accepted as a defacto standard language for modeling the software in the software industry. It will allow to implement object oriented concepts to model the software system. It provides a complete pictographic representation of software. Broadly these UML diagrams are classified into two groups viz. Structural diagrams and Behavioral diagrams. The sequence diagrams and Activity diagrams belongs to the second group i.e. behavioral diagrams. The sequence diagram represents the sequence of messages flowing from one object to another and activity diagram represents the flow of activities one after the other in a system. In this paper, we are proposing an automated tool which transforms the sequence diagram (which is represented in the table format) into activity diagram. The sequence diagram which is represented in the three column table called sequence table comprises various components of sequence diagram like objects, interactions, messages, alternations, iterations, loops, etc. The proposed tool reads the sequence table and converts the entire table components into the equivalent Activity table. Further the tool reads the activity table and then transforms to its equivalent activity diagram.

show abstract

Model-based test case generation from UML sequence diagrams using extended finite state machines

Cited by 18 publications

References 19 publications

Automated Model-Based Test Case Generation for UML Activity Diagrams using EFSM

Automated Model-Based Test Case Generation for UML Activity Diagrams using EFSM

Automatic test amplification for executable models

Novel approach to transform UML Sequence diagram to Activity diagram

Contact Info

Product

Resources

About