Test Case Generation by EFSM Extracted from UML Sequence Diagrams
Mauricio Rocha, Adenilso Da Silva Simao, Thiago Carvalho de Sousa, Marcelo Batista · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 2019
The effectiveness of Model-Based Testing (MBT) is mainly due to the potential for automation it offers.If the model is formal and machine-readable, test cases can be derived automatically.The Extended Finite State Machine (EFSM) is a formal modeling technique widely used to represent a system.However, EFSM is not a common practice in industry.On the other hand, the Unified Modeling Language (UML) has become the de-facto standard for modeling software, but due to the lack of formal semantics, its diagrams can have ambiguous interpretations and are not suitable for testing automation.In this context, we present a systematic procedure for generating tests from a UML model.More specifically, our approach proposes a mapping from the UML Sequence Diagram into Extended Finite State Machine in order to provide a precise semantics to them and uses the ModelJUnit and JUnit libraries in order to generate test cases automatically.