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

Toni Amorim

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).

Full Text: PDF (Português (Brasil))

Refbacks

  • There are currently no refbacks.


Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

----------------------------------------------------------------------

Indexing

Logotipo do IBICT

----------------------------------------------------------------------

Scientific Societies and Directories

Logotipo COPEC Logotipo SHERO Logotipo da Capes

----------------------------------------------------------------------

Follow Us

Logotipo facebook Logotipo LinkedIn Logotipo Twitter