Compartilhe o registro |
![]() ![]() |
Use este identificador para citar ou linkar para este item:
https://tede2.pucrs.br/tede2/handle/tede/5103
Tipo do documento: | Dissertação |
Título: | Método de conversão de diagrama de atividades UML para SAN e geração de casos de teste de software |
Autor: | Oliveira, Toni Amorim de ![]() |
Primeiro orientador: | Fernandes, Paulo Henrique Lemelle |
Resumo: | O 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. |
Palavras-chave: | INFORMÁTICA ENGENHARIA DE SOFTWARE REDES DE AUTÔMATOS ESTOCÁSTICOS SOFTWARE - AVALIAÇÃO UML (INFORMATICA) |
Área(s) do CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
Idioma: | por |
País: | BR |
Instituição: | Pontifícia Universidade Católica do Rio Grande do Sul |
Sigla da instituição: | PUCRS |
Departamento: | Faculdade de Informáca |
Programa: | Programa de Pós-Graduação em Ciência da Computação |
Citação: | OLIVEIRA, 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. |
Tipo de acesso: | Acesso Aberto |
URI: | http://tede2.pucrs.br/tede2/handle/tede/5103 |
Data de defesa: | 27-Jan-2010 |
Aparece nas coleções: | Programa de Pós-Graduação em Ciência da Computação |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
425004.pdf | Texto Completo | 1,25 MB | Adobe PDF | ![]() Baixar/Abrir Pré-Visualizar |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.