Banca de DEFESA: ISRAEL BARBOSA GARCIA

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: ISRAEL BARBOSA GARCIA
DATA: 31/01/2013
HORA: 14:00
LOCAL: Sala D1- A
TÍTULO:

 UMA FERRAMENTA DE ANÁLISE DE ROBUSTEZ PARA A MELHORIA DA QUALIDADE DE SISTEMAS DE SOFTWARE

PALAVRAS-CHAVES:

Sistemas de Software. Qualidade. Tratamento de Exceções. Robustez. Análise Estática. Plataforma .NET. 

PÁGINAS: 90
GRANDE ÁREA: Engenharias
ÁREA: Engenharia de Produção
RESUMO:

Um produto de software é considerado confiável quando ele consegue entregar suas funcionalidades da forma como elas foram definidas. Robustez é um sub-atributo de confiabilidade e diz respeito à capacidade do software em reagir especificamente a defeitos externos. Os mecanismos de tratamento de exceções deveriam garantir a robustez dos sistemas. Entretanto, na prática é dificil atingir tal objetivo, seja por mau uso dos modelos existentes, seja pela deficiência dos próprios modelos. Além disso, percebe-se que os desenvolvedores que tratam as exceções de maneira adequada acabam tendo problemas sérios de produtividade, ao passo que o seu negligenciamento embora seja mais produtivo, tende a gerar sistemas menos confiáveis e com subseqüente aumento do custo de pós-produção. Alguns desastres reais tiveram relação direta com o negligenciamento do tratamento de exceções, por exemplo: o caso do foguete europeu Ariane 5 que se auto-destruiu logo após o lançamento, e do sistema do radar brasileiro X-4000 que foi indicado como uma das causas do acidente aéreo do vôo GOL 1907 em 2006. Nesse contexto, este trabalho apresenta a ferramenta de análise estática do fluxo excepcional eFlowMining, focada na melhoria da robustez de aplicações .NET. Ela permite que o desenvolvedor: visualize métricas coletadas sobre o comportamento excepcional; analise o fluxo excepcional através de uma representação gráfica em forma de árvore; identifique possíveis bugs entre diferentes versões da mesma aplicação; e localize de forma rápida os tipos de exceções lançadas e seus respectivos tratadores. Todas as informações coletadas são armazenadas em bancos de dados a fim de possibilitar consultas e comparações das análises realizadas. A avaliação da ferramenta foi dividida em duas fases. A primeira teve o objetivo de mostrar os benefícios práticos providos pelo conjunto de métricas, através da execução da ferramenta em cinco aplicações .NET de diferentes linguagens. A segunda irá avaliar se a ferramenta ajuda os desenvolvedores a identificar possíveis falhas entre diferentes versões do mesmo sistema de software. 

MEMBROS DA BANCA:
Presidente - 1678918 - NELIO ALESSANDRO AZEVEDO CACHO
Interno - 1753722 - LUCIANO FERREIRA
Externo à Instituição - GILBERT AZEVEDO DA SILVA - IFRN