Test Synthesis from UML Models of Distributed Software

The UML diagrams used in this approach are activity diagrams for modeling the flow of work (called Activity Graphs in UML1.3), class diagrams to associate

Our approach reuses the well-known k-tail algorithm to extract a generalized labeled transition system from a set of observed execution traces. This LTS is then translated into

specification (class diagram, state diagrams and object/deployment diagram) and a test objective in the form of a scenario structure described in the O-TeLa language.. The output is

Using UML sequence diagrams as basis for a formal test description language2. Simon Pickin,

Driven by the cooperative application structure, we propose, in this paper, an UML extension named “DM profile” ensuring a high-level description for modeling the deployment and

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

With the UML profile defined in this paper it is possible to already add Tar- getLink Data Dictionary properties which will be used in a later step for pro- duction code generation

Figure 4 summarizes the proposed development process distinguishing two main roles: the architect, who is assumed to be an expert in the given domain,