Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software
Autor(a) principal: | |
---|---|
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 |