@MASTERSTHESIS{ 2007:1820624294,
 	title = {Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software},
 	year = {2007},
 	url = "http://tede2.pucrs.br/tede2/handle/tede/5160",
 	abstract = "Esse trabalho apresenta método para a construcão de SAN, a partir de informacões extraídas de diagramas UML concebidos sob a abordagem do Processo Unificado. Nele foi formalizado umframework para a transcricão de diagramas de estado UML, utilizados para a descricão comportamental de um sistema, para uma estrutura equivalente em SAN. Essa SAN é utilizada como um modelo de uso do sistema, de onde é possível a extracão de casos de teste de software, conforme verificado em estudo anteriores. Foi proposta a geracão dos modelos sob duas óticas: a primeira focada nas funcionalidades disponibilizadas aos usuários do sistema, e a segunda analisando o sistema como um todo. Para essa última, foi especificado um método de simplificacão da SAN, viabilizando assim a sua análise na ferramenta PEPS2003. Baseado no framework descrito, foi implementado um protótipo para a construcão automática de SAN, a partir de arquivos gerados pelo Rational Rose, arquivos esses contendo informacões sobre os diagramas UML utilizados na descricão do sistema. O trabalho também descreve um estudo de caso, onde são aplicadas as técnicas descritas.",
 	publisher = {Pontifícia Universidade Católica do Rio Grande do Sul},
 	scholl = {Programa de Pós-Graduação em Ciência da Computação},
 	note = {Faculdade de Informáca}
}