Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software

• Ano de defesa: 2007
• Autor(a) principal: Barros, André de Almeida
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Pontifícia Universidade Católica do Rio Grande do Sul; Faculdade de Informáca; BR; PUCRS; Programa de Pós-Graduação em Ciência da Computação
• Palavras-chave em Português: INFORMÁTICA; ENGENHARIA DE SOFTWARE; REDES DE AUTÔMATOS ESTOCÁSTICOS; SOFTWARE - AVALIAÇÃO; CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
• Link de acesso: http://tede2.pucrs.br/tede2/handle/tede/5160

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.