| Full text | |
| Author(s): |
Rocha, Mauricio
;
Simao, Adenilso
;
Sousa, Thiago
Total Authors: 3
|
| Document type: | Journal article |
| Source: | SOFTWARE QUALITY JOURNAL; v. 29, n. 3, p. 31-pg., 2021-03-17. |
| Abstract | |
The effectiveness of model-based testing (MBT) is mainly due to its potential for automation. If the model is formal and machine-readable, test cases can be derived automatically. One of the most used formal modeling techniques is the interpretation of a system as an extended finite state machine (EFSM). However, formal models are not a common practice in the industry. The Unified Modeling Language (UML) has become the de facto standard for software modeling. Nevertheless, due to the lack of formal semantics, its diagrams can be given ambiguous interpretations and are not suitable for testing automation. This article introduces a systematic procedure for the generation of tests from UML models that uses concepts of model-driven engineering (MDE) for formalizing UML sequence diagrams into extended finite state machines and providing a precise semantics for them. It also applies ModelJUnit and JUnit libraries for an automatic generation of test cases. A case study was conducted in a real software towards the evaluation of its applicability. (AU) | |
| FAPESP's process: | 13/07375-0 - CeMEAI - Center for Mathematical Sciences Applied to Industry |
| Grantee: | Francisco Louzada Neto |
| Support Opportunities: | Research Grants - Research, Innovation and Dissemination Centers - RIDC |
| FAPESP's process: | 19/06937-0 - Study and development of software testing techniques and their applications |
| Grantee: | Márcio Eduardo Delamaro |
| Support Opportunities: | Regular Research Grants |