Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências (2013)
- Authors:
- Autor USP: SOUSA, THIAGO CARVALHO DE - EP
- Unidade: EP
- Sigla do Departamento: PCS
- Subjects: DESENVOLVIMENTO DE SOFTWARE; UML
- Language: Português
- Abstract: 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.
- Imprenta:
- Data da defesa: 29.11.2013
-
ABNT
SOUSA, Thiago Carvalho de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/. Acesso em: 19 set. 2024. -
APA
Sousa, T. C. de. (2013). Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/ -
NLM
Sousa TC de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências [Internet]. 2013 ;[citado 2024 set. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/ -
Vancouver
Sousa TC de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências [Internet]. 2013 ;[citado 2024 set. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas