1. TEDE PUCRS
  2. Teses e Dissertações dos Programas de Pós-Graduação da PUCRS
  3. Programa de Pós-Graduação em Ciência da Computação
Export this record: EndNote BibTex

Please use this identifier to cite or link to this item: https://tede2.pucrs.br/tede2/handle/tede/5103
Full metadata record
DC FieldValueLanguage
dc.creatorOliveira, Toni Amorim de-
dc.creator.Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4775472J0por
dc.contributor.advisor1Fernandes, Paulo Henrique Lemelle-
dc.contributor.advisor1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781822J3por
dc.date.accessioned2015-04-14T14:49:24Z-
dc.date.available2010-07-28-
dc.date.issued2010-01-27-
dc.identifier.citationOLIVEIRA, Toni Amorim de. Método de conversão de diagrama de atividades UML para SAN e geração de casos de teste de software. 2010. 107 f. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre, 2010.por
dc.identifier.urihttp://tede2.pucrs.br/tede2/handle/tede/5103-
dc.description.resumoO processo de desenvolvimento de software é uma tarefa que envolve um conjunto de atividades a serem realizadas, e em muitos casos, por equipes grandes que podem se encontrar geograficamente dispersas. Isso exige do desenvolvedor a utilizacão de métodos que proporcionem uma visão de todas as etapas desse processo de desenvolvimento. A UML (Unified Modeling Language) é uma linguagem de modelagem que possibilita essa visão através do uso de diagramas que demonstram graficamente a estrutura do software em desenvolvimento. O diagrama de atividades é utilizado para modelar o comportamento do sistema, através dos fluxos de execução de cada atividade desempenhada pelo mesmo. Com o objetivo de obter um modelo comportamental de sistemas computacionais apresentamos neste trabalho uma proposta de conversão de diagramas de atividades para SAN (Stochastic Automata Networks), um formalismo matemático que possibilita a modelagem de sistemas em geral, a partir do qual é possível extrair índices probabilísticos relacionados aos estados, permitindo aos responsáveis pelo processo de desenvolvimento tomar decisões sobre os recursos alocados no projeto. Com o intuito de demonstrarmos como executar a conversão, usamos uma versão simplificada dos elementos do diagrama de atividades da UML, para descrever os parâmetros e regras utilizadas para a conversão proposta. Apresentamos ainda os resultados obtidos a partir do modelo SAN gerado.por
dc.description.provenanceMade available in DSpace on 2015-04-14T14:49:24Z (GMT). No. of bitstreams: 1 425004.pdf: 1283916 bytes, checksum: 06a02199cf1e50a23c7a99c93e1147e3 (MD5) Previous issue date: 2010-01-27eng
dc.formatapplication/pdfpor
dc.thumbnail.urlhttp://tede2.pucrs.br:80/tede2/retrieve/15099/425004.pdf.jpg*
dc.languageporpor
dc.publisherPontifícia Universidade Católica do Rio Grande do Sulpor
dc.publisher.departmentFaculdade de Informácapor
dc.publisher.countryBRpor
dc.publisher.initialsPUCRSpor
dc.publisher.programPrograma de Pós-Graduação em Ciência da Computaçãopor
dc.rightsAcesso Abertopor
dc.subjectINFORMÁTICApor
dc.subjectENGENHARIA DE SOFTWAREpor
dc.subjectREDES DE AUTÔMATOS ESTOCÁSTICOSpor
dc.subjectSOFTWARE - AVALIAÇÃOpor
dc.subjectUML (INFORMATICA)por
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOpor
dc.titleMétodo de conversão de diagrama de atividades UML para SAN e geração de casos de teste de softwarepor
dc.typeDissertaçãopor
Appears in Collections:Programa de Pós-Graduação em Ciência da Computação

Files in This Item:
File Description SizeFormat 
425004.pdfTexto Completo1.25 MBAdobe PDFThumbnail

Download/Open Preview
Show simple item record Recommend this item


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.