Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0

Detalhes bibliográficos
Autor(a) principal: Ferreira, Jeferson, 1973-
Data de Publicação: 2011
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1615865
Resumo: Orientador: Eliane Martins
id UNICAMP-30_644781d225b5361bc87b4db234a5f18b
oai_identifier_str oai::804619
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0Validation of exceptional flow in UML 2.0 acitivity diagramTolerância à falha (Computação)Tratamento de exceções (Computação)Engenharia de softwareSoftware - TestesFault-tolerant computingException handlingSoftware engineeringSoftware testingOrientador: Eliane MartinsDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: Para a construção de sistemas robustos, devem ser utilizadas técnicas de tolerância a falhas que podem ser implementadas através de mecanismos de tratamento de exceções. Esses mecanismos possibilitam o tratamento de possíveis exceções, ou até mesmo a continuação da execução das funcionalidades do sistema mesmo na presença de uma exceção. O uso dos mecanismos de tratamento de exceções para desenvolver sistemas de software em larga escala, juntamente com o fato de ser implementado por diversas linguagens modernas, confirma a importância desta prática de desenvolvimento. Por outro lado, o uso desses mecanismos tem suas desvantagens, impactando principalmente na complexidade dos sistemas. Um problema que ocorre com muita frequência é efetuar a validação do fluxo excepcional somente na fase de implementação. A detecção de um problema de especificação nesta etapa do processo, pode acarretar em um aumento nos custos e prazos para a entrega do software. Este trabalho apresenta uma abordagem que utiliza as técnicas de análise estática, normalmente empregadas para detectar falhas no código fonte, para antecipar a validação do fluxo excepcional de um componente de software durante o ciclo de desenvolvimento. A solução proposta utiliza as informações do fluxo de controle e fluxo de dados obtidas a partir de um modelo comportamental. O modelo utilizado nesta abordagem é o diagrama de atividades da UML, que passa por uma série de transformações até gerar um grafo de fluxo de controle interprocedimental. Durante este processo são executadas análises de fluxo de dados para inferir com precisão quais são os tipos de exceções podem ser lançadas em dado ponto do modelo. Também faz parte deste trabalho a apresentação de uma ferramenta de apoio para o processo de validação do fluxo excepcional. Esta ferramenta, denominada ADEX (Activity Diagram EXceptional flow analyzer), implementa os algoritmos utilizados para a conversão do diagrama de atividades no grafo de fluxo de controle interprocedimental. A ferramenta também oferece recursos para a visualização do fluxo de controle normal e excepcional do modeloAbstract: In order to develop robust software, should be used fault tolerant techniques that can be implemented by exception handling mechanisms. These mechanisms allow the handling of possible exceptions or even the continued of execution of the system's functionalities, even in the presence of an exception. The use of exception handling mechanisms to develop large scale software systems together with the fact that several modern programming languages provide these mechanisms, confirm the importance of these mechanisms in practice. On the other hand, the use of these mechanisms has some disadvantages, principally impacting on the complexity of the systems. One problem that occurs very often is performing the validation of the exceptional flow only during the implementation phase. The detection of a specification problem at this stage of the process can lead the increasing of costs and delays to delivery the software. This paper presents an approach that uses static analysis techniques, usually used to detect anomalies in the source code, to antecipate the validation of the exceptional flow of a software component in the development cycle. The proposed solution uses the information of control flow and data flow gathered from a behavioral model. The model used in this approach is the UML activity diagram, which undergoes a series of transformations to generate a interprocedural control flow graph. During this process are performed data flow analysis to inferring precisely what kind of exceptions can be thrown at a specific point of the model. The presentation of a tool to support the validation of the exceptional flow, also is part of this work. This tool, called ADEX (Activity Diagram EXceptional flow analyzer), implements the algorithms used to convert the activity diagram in the interprocedural control flow graph. The tool also provides features for visualization of normal and exceptional control flow of the modelMestradoCiência da ComputaçãoMestre em Ciência da Computação[s.n.]Martins, Eliane, 1955-Garcia, Alessandro FabricioAraújo, Guido Costa Souza deUniversidade Estadual de Campinas (UNICAMP). Instituto de ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASFerreira, Jeferson, 1973-2011info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf138 p. : il.https://hdl.handle.net/20.500.12733/1615865FERREIRA, Jeferson. Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0. 2011. 138 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1615865. Acesso em: 3 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/804619porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T06:20:54Zoai::804619Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T06:20:54Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0
Validation of exceptional flow in UML 2.0 acitivity diagram
title Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0
spellingShingle Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0
Ferreira, Jeferson, 1973-
Tolerância à falha (Computação)
Tratamento de exceções (Computação)
Engenharia de software
Software - Testes
Fault-tolerant computing
Exception handling
Software engineering
Software testing
title_short Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0
title_full Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0
title_fullStr Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0
title_full_unstemmed Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0
title_sort Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0
author Ferreira, Jeferson, 1973-
author_facet Ferreira, Jeferson, 1973-
author_role author
dc.contributor.none.fl_str_mv Martins, Eliane, 1955-
Garcia, Alessandro Fabricio
Araújo, Guido Costa Souza de
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação
Programa de Pós-Graduação em Ciência da Computação
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Ferreira, Jeferson, 1973-
dc.subject.por.fl_str_mv Tolerância à falha (Computação)
Tratamento de exceções (Computação)
Engenharia de software
Software - Testes
Fault-tolerant computing
Exception handling
Software engineering
Software testing
topic Tolerância à falha (Computação)
Tratamento de exceções (Computação)
Engenharia de software
Software - Testes
Fault-tolerant computing
Exception handling
Software engineering
Software testing
description Orientador: Eliane Martins
publishDate 2011
dc.date.none.fl_str_mv 2011
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.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1615865
FERREIRA, Jeferson. Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0. 2011. 138 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1615865. Acesso em: 3 set. 2024.
url https://hdl.handle.net/20.500.12733/1615865
identifier_str_mv FERREIRA, Jeferson. Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0. 2011. 138 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1615865. Acesso em: 3 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/804619
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
138 p. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809189059297280000

Registros relacionados