Test case generation using stochastic automata networks: quantitative analysis
Cristiano Bertolini, André G. Farina, Paulo Fernandes, Flávio Moreira de Oliveira · 2004
The software engineering community has been using Markov Chains (MC) to describe usage models. We have been working on the use of a more sophisticated discrete state formalism: Stochastic Automata Networks (SAN). SAN is a formalism with the same power of description as MC; however, a system in SAN is described as a collection of subsystems described by local states, transitions and synchronizing events, allowing higher modularity and maintainability. We present a description of SAN formalism, as well as quantitative analysis of the modeling examples considering the generation time, quality of the test suites. 1.