BDBComp
Parceria:
SBC
Aplicação de Redes de Autômatos Estocásticos no Teste Estatístico de Software

André G. FarinaVII Workshop de Teses em Engenharia de Software - Gramado, RS, Brasil - 2002

O teste estatístico de software emprega modelos de uso para fornecer um suporte estatístico às técnicas de teste de software. Estes modelos - que descrevem as interações do usuário com o sistema - são construídos utilizando um formalismo de modelagem baseado em estados discretos. Conseqüentemente emprega-se cadeias de Markov como formalismo de modelagem. Este trabalho apresenta uma proposta de utilização de um outro formalismo: as Redes de Autômatos Estocásticos (SAN). Busca-se com isso colocar em evidência os benefícios inerentes à utilização de SAN no teste estatístico.

http://www.lbd.dcc.ufmg.br:8080/colecoes/wtes/2002/011.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD