CONVERSÃO DE DIAGRAMA DE ATIVIDADES UML PARA SAN: GERAÇÃO DE CASOS DE TESTE DE SOFTWARE

Abstract

Recent Research suggest the use of formalismssuch as stochastic Petri nets (SPN - Stochastic Petri Nets),Markov chains (MC - Markov Chains) and stochasticautomata networks (SAN - Stochastic Automata Networks)to build a behavioral model which facilitates the analysis andvalidation of system during development, whose resultsmake possible to develop a more robust and efficientsoftware. Aiming to obtain a behavioral model of computingsystems in this paper demonstrates a method of convertingactivity diagrams to SAN, a formalism that allows modelingof systems, from which it is possible to extract probabilisticindices related to states the model and generate test cases forsoftware.Index Terms ⎯ (SAN - Stochastic Automata Networks),Software Testing, UML (Uni fied Modeling Language).