skip to main content
Idioma:

Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências.

Sousa, Thiago Carvalho De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2013-11-29

Acesso online. A biblioteca também possui exemplares impressos.

  • Título:
    Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências.
  • Autor: Sousa, Thiago Carvalho De
  • Orientador: Silva, Paulo Sérgio Muniz
  • Assuntos: Uml; Verificação De Inconsistências; Event-B; Iconix; Processo De Desenvolvimento De Software; Métodos Formais; Uml; Software Development Process; Inconsistencies Verification; Formal Methods
  • Notas: Tese (Doutorado)
  • Notas Locais: Programa Engenharia Elétrica
  • Descrição: As melhores práticas de engenharia de software indicam que a atividade de verificação é fundamental para se alcançar o mínimo de qualidade na construção de um software. Nos processos de desenvolvimento baseados na UML, um dos seus focos principais é detectar inconsistências nos diagramas representativos do software. No entanto, a maioria desses processos, como o Iconix, aplica apenas técnicas informais (ex: inspeções visuais nos modelos), fazendo com que muitas vezes essa atividade seja negligenciada pelos desenvolvedores. Por outro lado, com o avanço das ferramentas automatizadas de verificação, os métodos formais, tais como o Event-B, estão atraindo cada vez mais a atenção das empresas de software. Porém, ainda é difícil convencer os desenvolvedores a adotá-los, pois não estão acostumados com os conceitos matemáticos envolvidos. Assim, este trabalho apresenta uma proposta de inclusão do Event-B no Iconix, dando origem ao BIconix, um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências. Mais especificamente, esta tese aborda a tradução automática dos quatro diagramas existentes no Iconix (classes, casos de uso, robustez e sequência) para o Event-B, além de mostrar como esta formalização pode auxiliar na atividade de verificação em pontos específicos e bem definidos no processo proposto.
  • DOI: 10.11606/T.3.2013.tde-21102014-113929
  • Editor: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica
  • Data de criação/publicação: 2013-11-29
  • Formato: Adobe PDF
  • Idioma: Português
Links
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.