MC626 - Primeiro Semestre 2004

Prof. Ricardo Anido

Sala37 - IC01

Atendimento

Notas

Notas de Aula

• Qualidade de Software
• Verificação Estática
• Verificação Estática (cont.)
• Fases de Testes
• Testes Baseados na Especificação
• Testes Baseados na Especificação (cont.)
• Testes Baseados na Implementação
• Testes de Regressão
• Manutenção de Software
• Gerência de Configuração
• Exemplo de Ferramenta: Make
• Sistemas Críticos
• Extreme Programming
• Exemplos de Relatórios, checklists, etc.

Trabalho para avaliação

Programa do Curso

Garantia da Qualidade de Software

• Conceito, fatores, padrões
• Controle da qualidade
• Medição da qualidade do software. Métricas de software

Verificação e validação:

• Conceito e principais técnicas
• V&V nos modelos de ciclo de vida
• Verificação Estática
• Revisões Técnicas Formais: o processo de inspeção
• Análise estática de programas
• Processo sala limpa

Técnicas de Testes

• Objetivos e fases
• Processo de teste
• Testes caixa branca: fluxo de controle, fluxo de dados
• Testes caixa preta independentes da especificação: classes de equivalência, valores limites, grafo causa efeito
• Testes caixa preta dependentes da especificação: testes de transição de estados.
• Estratégias de Testes
• Testes de unidades (drivers e stubs)
• Testes de integração: estratégias e infraestrutura
• Testes de validação e de sistemas. Testes de regressão.
• Testes OO.
• Documentação de testes.
• Automação de testes.

Manutenção

• Conceito, processo
• Controle de configuração

Avaliação

A nota final (N) será calculada como a média aritmética das notas das cinco atividades.

Os alunos que tiverem média final N < 5 deverão fazer o exame final (E). Nesse caso a média final (MF) do aluno é calculada do modo tradicional, ou seja MF = (N + E) / 2.

Observações:

Sobre prazos :

- entrega 1 dia após o prazo: desconto de 30%;

- entrega até 1 semana após o prazo: desconto de 70%;

- entrega após 1 semana de atraso: os trabalhos valerão zero.

Referências

• .Sommerville, Software Engineering . Addison-Wesley, 5 a. ed, 1996 ou 6\xbb ed 2001 (traduzida para o português).
• R.S.Pressman, Software Engineering: a Practitoner's Approach . McGraw-Hill, da 4 a.ed, 1997 em diante.
• E.Martins, Verificação e Validação de Software . Notas de Curso.
• B.Beizer. Software Testing Techniques . International Thomson Computer Press, 2\xbb ed, 1990.
• G.J.Myers. The Art of Software Testing . John Wiley & Sons, 1979.
• R.Binder. Testing OO Systems. Addison Wesley, 2000. URL: http://www.rbsc.com
• E. Martins. Manutenção e Ferramentas CASE . Notas de Curso.
• S.R.Rakitin. Software Verification and Validation . Artech House Computer Science Library, 1997.
• P. Jalote. An Integrated Approach to Software Engineering . Springer-Verlag, 2 \xbb edição, 1997.
• J.F.Peters, W.Pedrycz. Engenharia de Software. Teoria e Prática. Ed. Campus, 2001.
• W. de Pádua Paula F\xbc . Engenharia de Software. Ed. LTC, 2001.