Teste e Análise de Software Processos, Princípios e Técnicas

I Fundamentos de Teste e Análise

1 Teste e Análise de Software em Resumo
1.1 Processos de engenharia e verificação
1.2 Questões básicas
1.3 Quando a verificação e validação começam e terminam?
1.4 Quais técnicas devem ser aplicadas?
1.5 Como avaliar se um produto está pronto?
1.6 Como garantir a qualidade de versões sucessivas?
1.7 Como o processo de desenvolvimento pode ser melhorado?
2 Uma Estrutura de Trabalho para Teste e Análise
2.1 Validação e verificação
2.2 Graus de liberdade
2.3 Variedades de software
3 Princípios Básicos
3.1 Sensitividade
3.2 Redundância
3.3 Restrição
3.4 Particionamento
3.5 Visibilidade
3.6 Retorno
4 Atividades de Teste e Análise em um Processo de Software
4.1 O processo da qualidade
4.2 Planejamento e monitoração
4.3 Metas de qualidade
4.4 Propriedades de confiança
4.5 Análise
4.6 Teste
4.7 Melhorando o processo
4.8 Fatores organizacionais

II Técnicas Básicas

5 Modelos Finitos
5.1 Visão geral
5.2 Abstrações finitas de comportamento
5.3 Grafos de fluxo de controle
5.4 Grafos de chamada
5.5 Máquinas de estados finitos
6 Modelos de Dependências e de Fluxo de Dados
6.1 Pares definição-uso
6.2 Análise de fluxo de dados
6.3 Análises clássicas: Live e Avail
6.4 Da execução para a análise de fluxo conservativa
6.5 Análise de fluxo de dados com vetores e ponteiros
6.6 Análise interprocedural
7 Execução Simbólica e Prova de Propriedades
7.1 Estado e interpretação simbólicos
7.2 Informação sumária
7.3 Laços e asserções
7.4 Raciocínio composicional
7.5 Raciocínio sobre estruturas de dados e classes
8 Verificação de Estados Finitos
8.1 Visão geral
8.2 Exploração do espaço de estados
8.3 O problema da explosão do espaço de estados
8.4 O problema da correspondência entre modelos
8.5 Granularidade da modelagem
8.6 Modelos intensionais
8.7 Refinamento de modelos
8.8 Verificação de modelos de dados e álgebra relacional

III Problemas e Métodos

9 Seleção de Casos de Teste e Adequação
9.1 Visão geral
9.2 Especificações de teste e casos de teste
9.3 Critérios de adequação
9.4 Comparando critérios
20.6 Monitorando o processo
20.7 Melhorando o processo
20.8 A equipe de qualidade
21 Teste de Integração e Teste Baseado em Componente
21.1 Visão geral
21.2 Estratégias de teste de integração
21.3 Teste de componentes e montagens
22 Teste de Sistema, Aceitação e Regressão
22.1 Visão geral
22.2 Teste de sistema
22.3 Teste de aceitação
22.4 Usabilidade
22.5 Teste de regressão
22.6 Técnicas de seleção de testes de regressão
22.7 Priorização dos casos de teste e execução seletiva
23 Automatizando o Teste e a Análise
23.1 Visão geral
23.2 A automação e o planejamento
23.3 Gerenciamento de processos
23.4 Métricas estáticas
23.5 Geração e execução de casos de teste
23.6 Análise estática e prova
23.7 Auxílio cognitivo
23.8 Controle de versão
23.9 Depuração
23.10 Escolhendo e integrando ferramentas
24 Documentando o Teste e Análise
24.1 Visão geral
24.2 Organizando os documentos
24.3 Documento de estratégia de teste
24.4 Plano de teste e análise
24.5 Documentos de especificação de projeto de teste
24.6 Relatórios de teste e análise

Conteúdo online

Material p/ professores