Grupo GUGOU

Plus de détails

SendMail

par Hermano Moreira da Silva Jr

Engenharia de alimentos

par Duda Carmo

Valores do Sucrilhos

par wallace oliveira

Atutor

par Thales Eduardo Nazatto

Surgimento do conceito de Programação orientada a testes

Qualidade de Software

Verificação de erros

Métodos automáticos(computador executando as operações)

Verificação de irregularidades

Reuso de código

Documentação

Interpretação contextual

Reestruturação de código

Falta de conhecimento do testador sobre o software é indicada

Realizada por testadores

Análise do sistema como um todo

Debugging

Estrutura da linguagem deve facilitar o desenvolvimento

Métodos de análise

Após a execução

Durante a execução

Realizada pelo programador

Análise em módulos

Reunião de Garmish

Questões acerca dos erros

Taxa de erros não é constante, mas crescente

Por quanto tempo os erros permanecem no sistema?

Quem gera mais erros?

Programadores experientes

Programadores inexperientes

Qual a frequência dos erros?

A frequência é maior em módulos supervisores?

Que tipo de erros?

Relação entre o número de erros e as atualizações

Logo antes de uma atualização, poucos erros são reportados

Logo após uma atualização muitos erros são reportados

Grande número de erros = sistema problemático?

Qual o porque dos erros?

Softwares grandes, muitos erros

Produzir softwares de alta qualidade

Problemas técnicos de software

Personalidades

Bernard Galler

Ministrou o primeiro curso de programação

1928 - 2006

Niklaus Wirth

Desenvolvimento de linguagens de programação

Pascal

1934 - Presente

Edsger Dijkstra

Teoria da Ciência da Computação

Sistemas Operacionais

Algoritmos de grafos

Construção de compiladores

1930 - 2002

Prevenção de erros

Aprendizado da programação

Reeducação de programadores mal habituados

Lógica de programação > Linguagens de programação

Testes

Certos tipos de erro não podiam ser identificados

Métodos não-práticos

Aplicados somente a alguns trechos do código

Métodos existentes são exaustivos

Formalidade no desenvolvimento

Funções mais sofisticadas

Causam os problemas de software mais graves

Mais difíceis de avaliar

Necessária para o desenvolvimento de novas técnicas de verificação

Técnicas existentes inadequadas

Semelhanças com a matemática