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

• Author: Sousa, Thiago Carvalho De
• Supervisor: Silva, Paulo Sérgio Muniz
  
• Subjects: 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
• Notes: Tese (Doutorado)
  
• Local notes: Programa Engenharia Elétrica
  
• Description: 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
  
• Publisher: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica
  
• Creation Date: 2013-11-29
  
• Format: Adobe PDF
  
• Language: Portuguese