Análise de Segurança Recovery Blocks MO828 – Tópicos em Engenharia de Software II Profa. Eliane Martins
Abordagem Recovery Blocks: 3 ordenadores diferentes (Mergesort, Quicksort e Bubblesort) FHA - Failure Hazard Analysis Inspeção e Run Time Safety Checking
Análise de Perigos Funcionais Análise de Perigos Funcionais (Functional Hazard Analysis - FHA) técnica dedutiva: identifica funções do sistema que contribuem para os perigos identificados, atribuindo-lhes grau de severidade abordagem funcional: independente de implementação
Análise de Perigos Funcionais Procedimento: identificar funções do sistema definir objetivo e comportamento de cada função examinar cada função e determinar defeitos potenciais (omissão, comissão e operação incorreta) determinar efeitos determinar severidade
Análise de Perigos Funcionais Funções: Ordenador, Avaliador e Mecanismo de Recovery Classificação de Severidade: Catastrófica, Crítica, Marginal e Desprezível Planilha Excel tabelando resultados
Aplicação da Análise Run time safety checking - inserção de código extra para verificar estados inconsistentes Inspeção - verificação do código focada nos riscos identificados
Considerações Finais Inspeção: direcionada pelos resultados da análise - objetividade e menos esforço Avaliador (adjudicator): robusto porém mais complexo
Perguntas? ? Obrigado! rodrigo.tomita@ic.unicamp.br