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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.