JUCÁ, M. A.; http://lattes.cnpq.br/2965835643666014; JUCÁ, Makelli Araújo.
Résumé:
The usefulness of the model produced on software development covers a range of activities in the product life cycle, ranging from improving the quality of the specification to the test generation . Model Based Testing is one of the software test technique that benefits from the use of software model. The MBT idea is to compare behavior of input and output of the system model with the real system. In this process, the model serves as the testing plan and the test cases maintenance due to requirements changes are reflected in model changes. Therefore, the testing process is an activity that occurs early in the development process. Moreover, automation leads to a greater number of test cases. Although promising characteristics,the industry adoption has been very limited. The model developed with test purpose is included as part of the main obstacles encountered by the introduction of new technology. Accordingly, we raised specific problems with regard to environmental Motorola. Thiswork aims to general propose an approach to constructing the model used by the MBT technical. The fundamental problem is to facilitate the process of writing use cases from requirements documents, while making the process more appropriate and complete for the test cases generation. For this, we develop a strategy for writing use cases cenarios using the formalism of sequence diagrams of UML version 2 where we propose a procedure for use of test cases patterns in the activity of producing the test model, anotation to describe use cases relationship and an approach todescribe use cases in two levels of abstraction.
