MC626 - Análise e Projeto de Sistemas de Informação

Of.: S-1 T:04 L:00 HS:04 SL:04 C:04

 

Pre-Req.: MC427 MC526

 

Ementa:

 

Atividades da garantia de qualidade de softwrae (SQA). Técnicas de validação, verificação, revisão e teste de software. Manutenção e documentação de software.

 

 

Programa:

 

  1. Garantia de Integridade de software
    1. Qualidade de software
    2. Métricas de qualidade de software
    3. Garantia de qualidade de software (SQA)
    4. Confiabilidade de software
  2. Validação, verificação e testes
    1. Critérios de validação
    2. Tipos de verificação
    3. Técnicas para testes
    4. Estratégias para testes
    5. Revisões
  3. Técnicas formais
    1. Mītodos formais de desenvolvimento
    2. Técnicas formais de verificação
  4. Manutenção de software
    1. Manutenibilidade
    2. Tarefas da manutenção
    3. Efeitos colaterais da manutenção
    4. Engenharia reversa e reengenharia
    5. Aspectos de documentação

 

Bibliografia: