Defesa de Estágio

João Arthur Brunet MonteiroGMF/DSC/CEEI/UFCG

1

Defesa de Estágio

Análise automática de impacto causado por mudanças em sistemas de software

08/10/2007 João Arthur Brunet MonteiroGMF/DSC/CEEI/UFCG

2

Roteiro• Introdução• Contextualização• O Problema• A Solução – Impala• Considerações finais

08/10/2007 João Arthur Brunet MonteiroGMF/DSC/CEEI/UFCG

3

Introdução

• Onde?• Laboratório do Grupo de Métodos Formais• Projeto DesignChecker

• Quem esteve envolvido?• João Arthur• Jemerson Damásio• Lile Hattori• Geovani Santagelo – CPM Braxis• Dalton Serey

08/10/2007 João Arthur Brunet MonteiroGMF/DSC/CEEI/UFCG

4

Contextualização

• Requisitos mudam com frequência• Código em constante evolução• Estimar precisamente custos de mudanças

• Alocação de recursos• Estimar prazos• Diminuir prejuízos

• Estimativa de custo/tempo

08/10/2007 João Arthur Brunet MonteiroGMF/DSC/CEEI/UFCG

5

Contextualização

• Estimativas buscam analisar o efeito das mudanças no sistema

• Analisar a complexidade dos efeitos• Aplicar heurísticas• Obter custos

08/10/2007 João Arthur Brunet MonteiroGMF/DSC/CEEI/UFCG

6

O Problema

• Análise de impacto decorrente de mudanças no código dos sistemas é feita manualmente

08/10/2007 João Arthur Brunet MonteiroGMF/DSC/CEEI/UFCG

7

A Solução - Impala

• Suporte à estimativa de custo de mudanças em sistemas de software

• Análise de custo = Análise de impacto + heurísticas para estimar custos

• O que foi feito ?• Análise de impacto: Identificação no código

das entidades impactadas

08/10/2007 João Arthur Brunet MonteiroGMF/DSC/CEEI/UFCG

8

Impala - Funcionamento

08/10/2007 João Arthur Brunet MonteiroGMF/DSC/CEEI/UFCG

9

Impala - Funcionamento

• Uso do Design Wizard• Estruturação das entidades em árvore• Algoritmos com poda

08/10/2007 João Arthur Brunet MonteiroGMF/DSC/CEEI/UFCG

10

Impala – Como foi feito

• Estudo de Caso• Wepayu• Projetos da CPM Braxis

• Uso de testes de aceitação• Testes de unidade• Adaptação de XP• XPlanner

08/10/2007 João Arthur Brunet MonteiroGMF/DSC/CEEI/UFCG

11

Considerações Finais

• Dificuldades• Equipe Distribuída• Urgência nos requisitos• Modificar o Design Wizard para considerar

relações de herança• Facilidades

• Conhecer o Design Wizard• Equipe motivada

• Motivação pela existência de clientes da solução

08/10/2007 João Arthur Brunet MonteiroGMF/DSC/CEEI/UFCG

12

Considerações

• Nova versão do Design Wizard foi desenvolvida

• Inclusão do cliente no processo de desenvolvimento é primordial

• O desenvolvimento da ferramenta será continuado no projeto DesignChecker

• Aliar a análise a heurísticas• Uso do histórico do CVS

08/10/2007 João Arthur Brunet MonteiroGMF/DSC/CEEI/UFCG

13

Agradecimentos

• Dalton Serey• Lile Hattori• Geovani Santagelo• Jemerson Damásio• À Banca• Aos amigos

08/10/2007 João Arthur Brunet MonteiroGMF/DSC/CEEI/UFCG

14

Dúvidas?