A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 1 CIÊNCIA DA COMPUTAÇÃO ENGENHARIA DE SOFTWARE Aula.

Apresentações semelhantes


Apresentação em tema: "15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 1 CIÊNCIA DA COMPUTAÇÃO ENGENHARIA DE SOFTWARE Aula."— Transcrição da apresentação:

1 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 1 CIÊNCIA DA COMPUTAÇÃO ENGENHARIA DE SOFTWARE Aula 13

2 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 2 Validação de sistemas críticos Orientações para confecção de trabalho de reposição de faltas Qualidade de software Bibliografia AGENDA

3 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 3 Define-se sistema crítico, como um software em que suas características causam riscos inerentes a danos físicos, pessoal e financeiro. Atualmente, são três os tipos de sistemas críticos, tais como: Sistema crítico de segurança: sua falha pode proceder em prejuízos, danos ambientais e perda da vida humana. Um exemplo de sistema crítico de segurança é um software de controle de uma fábrica de fogos de artifício; Sistema crítico de missão: sua falha pode ocasionar problema em alguma atividade conduzida a metas. Um exemplo de sistema crítico de missão é um software de navegação para uma aeronave Sistema crítico de negócio: sua falha pode resultar em custos elevados para a empresa que trabalha com o software. Um exemplo de sistema crítico de negócio é um software contábil de clientes bancários. Validação de Sistemas criticos

4 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 4 Técnicas de Validação Técnicas Estáticas Revisão de projeto, inspeção de código Provas e argumentos matemáticos Técnicas Teste estatístico Teste baseado em cenário Verificação (checking) de run-time Validação de Processo Processos de desenvolvimento que minimizem a probabilidade de erros que possam comprometer a confiabilidade do sistema. Validação de Sistemas criticos

5 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 5 Técnicas de Validação Técnicas de Validação Dinâmicas Testes - analisar o sistema fora de seu ambiente operacional Verificação de run-time - analisar se o sistema está operando dentro de um envelope de confiabilidade Validação de Sistemas criticos

6 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 6 Validação Estática para Segurança Demonstração da segurança através de testes é difícil (deve mostrar o que o sistema faz em todas as situações) Revisões/inspeções devem ser suplementadas com foco em verificar que situações inseguras não acontecem. Pontos importantes Sistemas com aspectos de segurança devem ser desenvolvidos de maneira mais simples possível, utilizando técnicas segurasde desenvolvimento. Provas de segurança são mais simples do que provas de consistência ou correção. Validação de Sistemas criticos

7 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 7 Validação de Confiabilidade Exercitar o programa para verificar se atingiu o nível requerido de confiabilidade Não é o mesmo que processo de teste para defeitos Testes estatísticos devem ser usados, baseados em amostra real/simulada de uso Processo de Validação Estabelecer um perfil operacional para o sistema Construir dados de teste que reflitam o perfil operacional Testar o sistema e observar o número de falhas e os tempos de ocorrência Computar a confiabilidade após número significativo de falhas terem sido observadas Validação de Sistemas criticos

8 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 8 Efetuar pesquisa sobre os temas do prox. slide, preferencialmente na bibliografia da disciplina (listada no final de cada memória de aula). Criar memória de aula no mesmo formato apresentado semanalmente (usar esta memória como modelo, mudando o nome do professor para o grupo). Deverá ser enviado por até o dia 20 (domingo) Dois grupos serão sorteados para apresentar as aulas no dia 24/11 impreterivelmente, para discussão em sala. Serão feitas atividades/exercícios sobre os temas. Orientações para confecção de trabalho de reposição de faltas

9 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 9 TEMAS: Medições de processo, Introdução aos modelos de maturidade. Material deve fornecer compreensão de métricas e modelos de maturidade na Enga. De software. Evolução do software : Sistemas legados; Evolução de arquitetura Material deve fornecer compreensão do paradigma evolutivo do software e arquitetura Orientações para confecção de trabalho de reposição de faltas

10 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 10 Artefatos de gestão de qualidade Planos Listas de conferencia Registros Relatórios Qualidade de software

11 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 11 Planos Plano de apreciações – É o plano de projeto de onde extrai-se o Escopo de liberações derivado do plano de liberações. Qualidade de software

12 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 12 Planos de apreciações - continuação Dele é derivada a distribuição de esforços por disciplina e iteração. Qualidade de software

13 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 13 Uso de material de apoio para confecção de resumo e discussão. Qualidade de software

14 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 14 Exercicios: 1.Leia o material de apoio e descreva os pontos de vista de cada uma das principais visões de arquitetura de software. 2.Explique cada um dos cinco problemas com reuso. 3.Explique o plano de liberações no modelo de solução (figura 18.1) 4.Crie um plano de liberações Tabular com 3 iterações, considerando emissão de relatórios de notas fiscais: 1.Diário 2.Semanal 3.Mensal. Projeto de software - reuso

15 15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 15 Bibliografia BIBLIOGRAFIA BÁSICA ENGHOLM JUNIOR, Helio. Engenharia de software na prática. 1ª Edição. São Paulo: Novatec, PAULA FILHO, Wilson de Pádua. Engenharia de Software. 3ª Edição. Rio de Janeiro: LTC, SCHACH, STEPHEN R. Engenharia de Software: Os paradigmas Clássico e Orientado a Objetos. 7ª EdIção. São Paulo: Mcgraw Hill Interamericana, BIBLIOGRAFIA COMPLEMENTAR KOSCIANSKI, André; SOARES, Michel dos Santos. Qualidade de software: Aprenda as Metodologias e Técnicas mais modernas para o desenvolvimento. 2ª Edição. São Paulo: Novatec, NOGUEIRA, Marcelo. Engenharia de Software: Um Framework para a Gestão de Riscos em Projetos de Software. 1ª Edição. Rio de Janeiro: Ciência Moderna, PRESSMAN, Roger S. Engenharia de Software. 6ª Edição. São Paulo: Mcgraw Hill, SOMMERVILLE, Ian. Engenharia de Software. 8º Edição. São Paulo: Pearson Education, TONSIG. Sérgio Luiz. Engenharia de Software: Análise e Projeto de Sistemas. 2ª Edição. Rio de Janeiro: Ciência Moderna, 2008.


Carregar ppt "15/1/2014 Professor Leomir J. Borba- –http://professorleomir.wordpress.com 1 CIÊNCIA DA COMPUTAÇÃO ENGENHARIA DE SOFTWARE Aula."

Apresentações semelhantes


Anúncios Google