Return to search

Utiliza??o de redes aut?matos estoc?sticos no processo unificado, visando a gera??o de casos de teste de software

Made available in DSpace on 2015-04-14T14:49:42Z (GMT). No. of bitstreams: 1
437824.pdf: 998259 bytes, checksum: 86aed75c028c71b8918c33ddb60ad22f (MD5)
Previous issue date: 2007-03-20 / This research proposes a method to build the SAN, using information extracted from UML diagrams defined according to Unified Process methodology. A framework was formalized to translate the UML state diagrams into SAN structures. The UML state diagrams are basically used to describe the system features. The SAN provided reflect a usage model of the system, what can be used to generate software test cases. This research proposal is to generate the models considering two approaches: the first just focus on functionalities available for the system user, and the second one consider the whole system. This last approach also specifies a simplified function to reduce the SAN status to be visible in the PEP2003 Tool. Based on the framework proposed, a prototype was developed to generate the SAN automatically, based on UML diagrams provided by Rational Rose Tool. Finally, this search describes a case of study, where this framework is described in a real example. / 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.

Identiferoai:union.ndltd.org:IBICT/oai:tede2.pucrs.br:tede/5160
Date20 March 2007
CreatorsBarros, Andr? de Almeida
ContributorsFernandes, Paulo Henrique Lemelle
PublisherPontif?cia Universidade Cat?lica do Rio Grande do Sul, Programa de P?s-Gradua??o em Ci?ncia da Computa??o, PUCRS, BR, Faculdade de Inform?ca
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Formatapplication/pdf
Sourcereponame:Biblioteca Digital de Teses e Dissertações da PUC_RS, instname:Pontifícia Universidade Católica do Rio Grande do Sul, instacron:PUC_RS
Rightsinfo:eu-repo/semantics/openAccess
Relation1974996533081274470, 500, 600, 1946639708616176246

Page generated in 0.0017 seconds