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

Detalhes bibliográficos
Autor(a) principal: Barros, André de Almeida
Data de Publicação: 2007
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da PUC_RS
Texto Completo: http://tede2.pucrs.br/tede2/handle/tede/5160
Resumo: 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.
id P_RS_754a85fd87e1bb6fbc3d2f35be8aa2ed
oai_identifier_str oai:tede2.pucrs.br:tede/5160
network_acronym_str P_RS
network_name_str Biblioteca Digital de Teses e Dissertações da PUC_RS
repository_id_str
spelling Fernandes, Paulo Henrique LemelleCPF:43706223015http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781822J3CPF:80785247068http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4435269Y1Barros, André de Almeida2015-04-14T14:49:42Z2012-04-132007-03-20BARROS, André de Almeida. Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software. 2007. 123 f. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre, 2007.http://tede2.pucrs.br/tede2/handle/tede/5160This 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.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-20application/pdfhttp://tede2.pucrs.br:80/tede2/retrieve/15980/437824.pdf.jpgporPontifícia Universidade Católica do Rio Grande do SulPrograma de Pós-Graduação em Ciência da ComputaçãoPUCRSBRFaculdade de InformácaINFORMÁTICAENGENHARIA DE SOFTWAREREDES DE AUTÔMATOS ESTOCÁSTICOSSOFTWARE - AVALIAÇÃOCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOUtilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de softwareinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis19749965330812744705006001946639708616176246info:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da PUC_RSinstname:Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)instacron:PUC_RSTHUMBNAIL437824.pdf.jpg437824.pdf.jpgimage/jpeg4499http://tede2.pucrs.br/tede2/bitstream/tede/5160/3/437824.pdf.jpgf7a47284dba4cd8fd01f57bb4b5348caMD53TEXT437824.pdf.txt437824.pdf.txttext/plain233042http://tede2.pucrs.br/tede2/bitstream/tede/5160/2/437824.pdf.txt9918c15675f026f3e62004ada7ebd623MD52ORIGINAL437824.pdfapplication/pdf998259http://tede2.pucrs.br/tede2/bitstream/tede/5160/1/437824.pdf86aed75c028c71b8918c33ddb60ad22fMD51tede/51602015-04-17 11:57:32.489oai:tede2.pucrs.br:tede/5160Biblioteca Digital de Teses e Dissertaçõeshttp://tede2.pucrs.br/tede2/PRIhttps://tede2.pucrs.br/oai/requestbiblioteca.central@pucrs.br||opendoar:2015-04-17T14:57:32Biblioteca Digital de Teses e Dissertações da PUC_RS - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)false
dc.title.por.fl_str_mv Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software
title Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software
spellingShingle Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software
Barros, André de Almeida
INFORMÁTICA
ENGENHARIA DE SOFTWARE
REDES DE AUTÔMATOS ESTOCÁSTICOS
SOFTWARE - AVALIAÇÃO
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
title_short Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software
title_full Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software
title_fullStr Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software
title_full_unstemmed Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software
title_sort Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software
author Barros, André de Almeida
author_facet Barros, André de Almeida
author_role author
dc.contributor.advisor1.fl_str_mv Fernandes, Paulo Henrique Lemelle
dc.contributor.advisor1ID.fl_str_mv CPF:43706223015
dc.contributor.advisor1Lattes.fl_str_mv http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781822J3
dc.contributor.authorID.fl_str_mv CPF:80785247068
dc.contributor.authorLattes.fl_str_mv http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4435269Y1
dc.contributor.author.fl_str_mv Barros, André de Almeida
contributor_str_mv Fernandes, Paulo Henrique Lemelle
dc.subject.por.fl_str_mv INFORMÁTICA
ENGENHARIA DE SOFTWARE
REDES DE AUTÔMATOS ESTOCÁSTICOS
SOFTWARE - AVALIAÇÃO
topic INFORMÁTICA
ENGENHARIA DE SOFTWARE
REDES DE AUTÔMATOS ESTOCÁSTICOS
SOFTWARE - AVALIAÇÃO
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
description 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.
publishDate 2007
dc.date.issued.fl_str_mv 2007-03-20
dc.date.available.fl_str_mv 2012-04-13
dc.date.accessioned.fl_str_mv 2015-04-14T14:49:42Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv BARROS, André de Almeida. Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software. 2007. 123 f. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre, 2007.
dc.identifier.uri.fl_str_mv http://tede2.pucrs.br/tede2/handle/tede/5160
identifier_str_mv BARROS, André de Almeida. Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software. 2007. 123 f. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre, 2007.
url http://tede2.pucrs.br/tede2/handle/tede/5160
dc.language.iso.fl_str_mv por
language por
dc.relation.program.fl_str_mv 1974996533081274470
dc.relation.confidence.fl_str_mv 500
600
dc.relation.department.fl_str_mv 1946639708616176246
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Pontifícia Universidade Católica do Rio Grande do Sul
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Ciência da Computação
dc.publisher.initials.fl_str_mv PUCRS
dc.publisher.country.fl_str_mv BR
dc.publisher.department.fl_str_mv Faculdade de Informáca
publisher.none.fl_str_mv Pontifícia Universidade Católica do Rio Grande do Sul
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da PUC_RS
instname:Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
instacron:PUC_RS
instname_str Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
instacron_str PUC_RS
institution PUC_RS
reponame_str Biblioteca Digital de Teses e Dissertações da PUC_RS
collection Biblioteca Digital de Teses e Dissertações da PUC_RS
bitstream.url.fl_str_mv http://tede2.pucrs.br/tede2/bitstream/tede/5160/3/437824.pdf.jpg
http://tede2.pucrs.br/tede2/bitstream/tede/5160/2/437824.pdf.txt
http://tede2.pucrs.br/tede2/bitstream/tede/5160/1/437824.pdf
bitstream.checksum.fl_str_mv f7a47284dba4cd8fd01f57bb4b5348ca
9918c15675f026f3e62004ada7ebd623
86aed75c028c71b8918c33ddb60ad22f
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da PUC_RS - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
repository.mail.fl_str_mv biblioteca.central@pucrs.br||
_version_ 1799765305993461760