A Tool for Modeling and Behavioral Tests Generation of Embedded Software

  • Thiago C. T. e Nascimento Instituto Federal Fluminense, RJ
  • Lucas C. T. e Nascimento Instituto Federal Fluminense, RJ
  • Rogerio A. de Carvalho Instituto Federal Fluminense, RJ
Keywords: finite state machines, embedded systems, automatic testing, software tool, system design


This paper summarizes the functionalities of a module for the Modelio UML Case Tool named WOOM Flow. Its purpose is to extend the tool by allowing greater efficiency in the development of embedded systems, both in the design and the testing phases. This module interacts directly with Modelio's Finite State Machine (FSM) diagramming functionality, allowing the resulting diagram to be exported to the SCXML format. The model can then be used to produce a table that permits the assignment of responsibilities. This table gathers information that specifies the internal interactions of the system to be developed, which was previously specified through UML modelling of the behaviour expected by the system at a higher level. Technologies that focus on the structure, for example, Class-Responsibility-Collaboration Cards, suffer the possibility of losing information related to the system requirements during the transference to the coding phase. It happens because it directly associates a responsibility from a use case to a class. The advantage of using WOOM is to reduce as much as possible the loss of information by prioritizing the behaviour of the system. With the generated FSM and the assignments mapped by the table, it is possible to produce the skeleton of the embedded system, as well as the methods that will test it.