1 2º semestre de 2006 csc v-ctr usc ctr – vinícius usc pot - caio usc comb - débora prof. cunha...

21
1 2º Semestre de 2006 2º Semestre de 2006 CSC V-CTR CSC V-CTR USC CTR – Vinícius USC CTR – Vinícius USC POT - Caio USC POT - Caio USC COMB - Débora USC COMB - Débora Prof. Cunha Prof. Cunha Prof. Vieira Dias Prof. Vieira Dias Prof. Márcio Prof. Márcio Programa de Pós-Graduação Programa de Pós-Graduação do do Instituto Tecnológico da Aeronáutica – Instituto Tecnológico da Aeronáutica – ITA ITA Divisão de Engenharia Eletrônica e Divisão de Engenharia Eletrônica e Computação Computação CE-32 CES-230 Qualidade, CE-32 CES-230 Qualidade, Confiabilidade e Segurança de Confiabilidade e Segurança de Software Software

Upload: internet

Post on 22-Apr-2015

108 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

11

2º Semestre de 20062º Semestre de 2006CSC V-CTRCSC V-CTR

USC CTR – ViníciusUSC CTR – ViníciusUSC POT - CaioUSC POT - Caio

USC COMB - DéboraUSC COMB - Débora

Prof. CunhaProf. CunhaProf. Vieira DiasProf. Vieira Dias

Prof. MárcioProf. Márcio

Programa de Pós-Graduação Programa de Pós-Graduação do do

Instituto Tecnológico da Aeronáutica – ITAInstituto Tecnológico da Aeronáutica – ITADivisão de Engenharia Eletrônica e ComputaçãoDivisão de Engenharia Eletrônica e Computação

CE-32 CES-230 Qualidade, CE-32 CES-230 Qualidade, Confiabilidade e Segurança de SoftwareConfiabilidade e Segurança de Software

Page 2: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

22

SumárioSumário

- Motivação- Motivação- Contextualização- Contextualização- Objetivação- Objetivação- Redução de Escopo- Redução de Escopo- Especificação de Requisitos- Especificação de Requisitos- Estimativa de Esforços de Desenvolvimento por Pontos de Casos - Estimativa de Esforços de Desenvolvimento por Pontos de Casos

de Uso (PCU) do CSC (Previsto X Realizado);de Uso (PCU) do CSC (Previsto X Realizado);- Plano De Testes (PDT) do CSC;- Plano De Testes (PDT) do CSC;- Caso de Uso de Teste (CUT) do CSC;- Caso de Uso de Teste (CUT) do CSC;- Plano de Garantia da Qualidade (PGQ) do CSC;- Plano de Garantia da Qualidade (PGQ) do CSC;- Exemplos de Análises de Sensitividade- Exemplos de Análises de Sensitividade- Exemplos de Testes de Integração Significativos Implementados - Exemplos de Testes de Integração Significativos Implementados

com Sucesso; com Sucesso; - Conclusão; e- Conclusão; e- Recomendações.- Recomendações.

Page 3: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

33

MotivaçãoMotivaçãoCom o intuito de ampliar a eficiência no monitoramento dos recursos Com o intuito de ampliar a eficiência no monitoramento dos recursos

naturais o governo federal mobilizou os meios acadêmicos para desenvolver um naturais o governo federal mobilizou os meios acadêmicos para desenvolver um sistema embarcado e de tempo real para o sistema embarcado e de tempo real para o monitoramentomonitoramento ecológico denominado ecológico denominado VANT-EC-SAME.VANT-EC-SAME.

ContextualizaçãoContextualizaçãoEm janeiro de 2005, iniciou-se no CTA o projeto denominado VANT Em janeiro de 2005, iniciou-se no CTA o projeto denominado VANT

(Veículo aéreo não tripulado). As aeronaves militares não-tripuladas em geral (Veículo aéreo não tripulado). As aeronaves militares não-tripuladas em geral são empregadas em missões especiais, como o reconhecimento e vigilância de são empregadas em missões especiais, como o reconhecimento e vigilância de campos de batalha. campos de batalha.

Para o sucesso destas missões é necessário além do VANT, uma Para o sucesso destas missões é necessário além do VANT, uma Estação de Controle - EC e um Satélite Ambiental de Monitoramento Ecológico - Estação de Controle - EC e um Satélite Ambiental de Monitoramento Ecológico - SAME, formando o Sistema SAME, formando o Sistema VANT-EC-SAME. VANT-EC-SAME.

Este sistema poderá ser utilizado na Amazônia, para a identificação de Este sistema poderá ser utilizado na Amazônia, para a identificação de atividades ilegais, incêndios espontâneos e outros. atividades ilegais, incêndios espontâneos e outros.

Esta Equipe foi designada para desenvolver CSC – Componente de Esta Equipe foi designada para desenvolver CSC – Componente de Software de Computador V-CTR(Controle).Software de Computador V-CTR(Controle).

Page 4: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

44

ObjetivaçãoObjetivação Enunciado do ProblemaEnunciado do ProblemaO enunciado do Problema consiste em dotar o ICSC do VANT de O enunciado do Problema consiste em dotar o ICSC do VANT de

um Protótipo de Projeto de Controle, visando desenvolvimento um Protótipo de Projeto de Controle, visando desenvolvimento de um sistema embarcado para controlar de forma sincronizada de um sistema embarcado para controlar de forma sincronizada com a disponibilidade de potência e combustível da aeronave, com a disponibilidade de potência e combustível da aeronave, até o final do 2º semestre de 2006.até o final do 2º semestre de 2006.

Enunciado da Alternativa da SoluçãoEnunciado da Alternativa da SoluçãoDesenvolver uma CSC de Controle do VANT para o ICSC do Desenvolver uma CSC de Controle do VANT para o ICSC do

VANT, visando propiciar o controle de direção, potência e VANT, visando propiciar o controle de direção, potência e combustível do VANT, até o final do 2º semestre de 2006.combustível do VANT, até o final do 2º semestre de 2006.

Intitulação Intitulação Componente de Software de Computador de Controle do Veículo Componente de Software de Computador de Controle do Veículo

Aéreo Não Tripulado – CSC V-CTRAéreo Não Tripulado – CSC V-CTR

Page 5: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

55

Redução de EscopoRedução de Escopo

O escopo deste projeto foi restringido O escopo deste projeto foi restringido apenas para atender os requisitos apenas para atender os requisitos acadêmicos, será desenvolvido um acadêmicos, será desenvolvido um Protótipo do Sistema de Software Protótipo do Sistema de Software Embarcado e de Tempo Real para o Projeto Embarcado e de Tempo Real para o Projeto VANT-EC-SAME,qualquer aspecto que fuja VANT-EC-SAME,qualquer aspecto que fuja a este enfoque não pertence ao escopo a este enfoque não pertence ao escopo deste projeto.deste projeto.

Page 6: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

66

Especificação de RequisitosEspecificação de Requisitos

O CSC V-CTR deverá ser capaz de propiciar:O CSC V-CTR deverá ser capaz de propiciar:

1) O controle de direção, velocidade e altitude do VANT, 1) O controle de direção, velocidade e altitude do VANT, sincronizado com a disponibilidade do combustível;sincronizado com a disponibilidade do combustível;

2) A alteração da potência de acordo com a solicitação 2) A alteração da potência de acordo com a solicitação da cápsula de controle;da cápsula de controle;

3) O controle do nível de combustível, alterando o seu 3) O controle do nível de combustível, alterando o seu fluxo de acordo com a potencia solicitada.fluxo de acordo com a potencia solicitada.

Page 7: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

77

Estimativa de Esforços de Desenvolvimento Estimativa de Esforços de Desenvolvimento por Pontos de Casos de Uso (Previsto)por Pontos de Casos de Uso (Previsto)

Page 8: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

88

Estimativa de Esforços de Desenvolvimento Estimativa de Esforços de Desenvolvimento por Pontos de Casos de Uso (Executado)por Pontos de Casos de Uso (Executado)

Page 9: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

99

Plano de Teste - VCTR (1)Plano de Teste - VCTR (1)VCTR – Receber Sinal do Componente de Combustível.VCTR – Receber Sinal do Componente de Combustível.

Objetivo do Tipo de Objetivo do Tipo de Teste: Teste:

Verificar se está recebendo os dados do combustível Verificar se está recebendo os dados do combustível corretamente.corretamente.

Técnica:Técnica: Gerar anomalias nos dados recebidos, do USC V-Gerar anomalias nos dados recebidos, do USC V-COMB.COMB.

Critérios de Êxito:Critérios de Êxito: Receber sinal corretamente.Receber sinal corretamente.

VCTR – verificar a missão solicitada com o nível de combustível. VCTR – verificar a missão solicitada com o nível de combustível.

Objetivo do Tipo de Objetivo do Tipo de Teste: Teste:

Verificar se o nível de combustível é compatível com a Verificar se o nível de combustível é compatível com a altura requisitada pela missão.altura requisitada pela missão.

Técnica:Técnica: Gerar anomalias nos dados.Gerar anomalias nos dados.

Critérios de Êxito:Critérios de Êxito: Aprovar o andamento da missão.Aprovar o andamento da missão.

Page 10: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

1010

VPOT – Verificar a possibilidade de Alterar a potênciaVPOT – Verificar a possibilidade de Alterar a potência

Plano de Teste - VPOT (2)Plano de Teste - VPOT (2)

Objetivo do Tipo de Objetivo do Tipo de Teste: Teste:

Verificar se é possível alterar a potência.Verificar se é possível alterar a potência.

Técnica:Técnica: Gerar anomalias na recepção da requisição.Gerar anomalias na recepção da requisição.

Critérios de Êxito:Critérios de Êxito: Aprovar o andamento da missão.Aprovar o andamento da missão.

VPOT – Alterar potênciaVPOT – Alterar potência

Objetivo do Tipo de Objetivo do Tipo de Teste: Teste:

De acordo com o sinal recebida verificar se a potência De acordo com o sinal recebida verificar se a potência está sendo alterada corretamente.está sendo alterada corretamente.

Técnica:Técnica: Gerar anomalias nos dados recebidos.Gerar anomalias nos dados recebidos.

Critérios de Êxito:Critérios de Êxito: Alterar a potência corretamente.Alterar a potência corretamente.

Page 11: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

1111

Plano de Teste - VCOMB (3)Plano de Teste - VCOMB (3)

Objetivo do Tipo de Objetivo do Tipo de Teste: Teste:

Verificar se o Controle de Combustível é capaz de Verificar se o Controle de Combustível é capaz de controlar o nível de combustível do VANT de acordo controlar o nível de combustível do VANT de acordo com a potência.com a potência.

Técnica:Técnica: Gerar anomalias e observar o comportamento da Gerar anomalias e observar o comportamento da VCOMB.VCOMB.

Critérios de Êxito:Critérios de Êxito: O Controle de Combustível vai aumentar e diminuir o O Controle de Combustível vai aumentar e diminuir o nível de combustível de acordo com a potência.nível de combustível de acordo com a potência.

VCOMB – Controle do Nível de Combustível do VANTVCOMB – Controle do Nível de Combustível do VANT

VCOMB – Exibir status do Nível de CombustívelVCOMB – Exibir status do Nível de Combustível

Objetivo do Tipo de Objetivo do Tipo de Teste: Teste:

Verificar se o Controle de Combustível exibe o nível Verificar se o Controle de Combustível exibe o nível correto do combustível para o operadorcorreto do combustível para o operador

Técnica:Técnica: Gerar anomalias no nível de combustível e observar o Gerar anomalias no nível de combustível e observar o comportamento da VCOMB.comportamento da VCOMB.

Critérios de Êxito:Critérios de Êxito: O Status do Nível de combustível é alterado na tela de O Status do Nível de combustível é alterado na tela de acordo com o consumo de combustívelacordo com o consumo de combustível

Page 12: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

1212

Caso de Uso de TesteCaso de Uso de Teste Rational Quality Architect RealTime – RQA-RTRational Quality Architect RealTime – RQA-RT

Integrado ao Integrado ao Rose RealTimeRose RealTime;;

Baseado em Diagramas de Colaboração e Baseado em Diagramas de Colaboração e Diagramas de Seqüência;Diagramas de Seqüência;

Testes de Integridade de Sistema;Testes de Integridade de Sistema;

Teste de Caixa Preta/Branca.Teste de Caixa Preta/Branca.

Tela do RQA-RT.Tela do RQA-RT.

Page 13: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

1313

Caso de Uso de Teste 1º NívelCaso de Uso de Teste 1º NívelDiagrama de Colaboração e de SeqüênciaDiagrama de Colaboração e de Seqüência

Top Capsule do CSC V-CTRTop Capsule do CSC V-CTR

Page 14: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

1414

Resultados ObtidosResultados Obtidos

Page 15: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

1515

Caso de Uso de Teste 2º NívelCaso de Uso de Teste 2º Nível

Page 16: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

1616

Plano de Garantia da Qualidade Plano de Garantia da Qualidade

Para garantir a Confiabilidade de um Software Para garantir a Confiabilidade de um Software deve-se Começar a avaliá-lo antes e durante o deve-se Começar a avaliá-lo antes e durante o seu desenvolvimento e Acrescentar estruturas seu desenvolvimento e Acrescentar estruturas

que evitem:que evitem:

A ocorrência de DEFeitos; A ocorrência de DEFeitos; A ocorrência de Erros; eA ocorrência de Erros; e

A ocorrência de Falhas em seu código.A ocorrência de Falhas em seu código.

Page 17: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

1717

EstratégiaEstratégia de de TesteTeste

1st Teste de USC

2nd Teste de CSC

3rd Teste de ICSC

4th Teste deSSC

Page 18: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

1818

Análise de Sensitividade daAnálise de Sensitividade daTop Capsule do V-CTRTop Capsule do V-CTR

V(g) Risco

1 – 10 Programa Simples, risco baixo

11 – 20 Programa Complexo, risco tolerável

21 – 50 Programa Complexo, risco alto

> 50Impossível de testar, risco

extremamente alto

Halstead Metrics – IBM Rational Test RealTimeHalstead Metrics – IBM Rational Test RealTime

McCabe, T., 1976, A Complexity Measure, McCabe, T., 1976, A Complexity Measure, IEEE Transactions on Software EngineeringIEEE Transactions on Software Engineering

IBM-Ration Test Real TimeIBM-Ration Test Real Time

Page 19: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

1919

Exemplo de Teste Integração das USCs (1º Nível)Exemplo de Teste Integração das USCs (1º Nível)Formando a CSC V-CTR (2º Nível)Formando a CSC V-CTR (2º Nível)

Diagramas de Estado em Tempo de Execução do ModeloDiagramas de Estado em Tempo de Execução do Modelo

Page 20: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

2020

ConclusãoConclusãoOs testes foram realizados com completeza assim como Os testes foram realizados com completeza assim como

a Missão Atribuída. Foram utilizada com sucesso, conforme a Missão Atribuída. Foram utilizada com sucesso, conforme planejado, as seguintes ferramentas da IBM Rational:planejado, as seguintes ferramentas da IBM Rational:

•Rose RealTime;Rose RealTime;•Quality Architect; e Quality Architect; e •Test RealTime.Test RealTime.

O CSC "Controle" do VANT foi implementado, verificado O CSC "Controle" do VANT foi implementado, verificado e validado com sucesso, cumprindo todos os requisitos e validado com sucesso, cumprindo todos os requisitos especificados, de forma que cada uma das USCs manteve sua especificados, de forma que cada uma das USCs manteve sua identidade preservada até o final de todas integrações.identidade preservada até o final de todas integrações.

Page 21: 1 2º Semestre de 2006 CSC V-CTR USC CTR – Vinícius USC POT - Caio USC COMB - Débora Prof. Cunha Prof. Vieira Dias Prof. Márcio Programa de Pós-Graduação

2121

RecomendaçõesRecomendações

Comece o mais breve possível a Comece o mais breve possível a implantação de um padrão, norma ou implantação de um padrão, norma ou modelo de qualidade na seu local de modelo de qualidade na seu local de trabalhotrabalho

Pesquise e verifique a norma mais Pesquise e verifique a norma mais adequada a sua realidadeadequada a sua realidade