@MASTERSTHESIS{ 2007:956620679,
 	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}
}