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: