Please enable JavaScript.

Coggle requires JavaScript to display documents.

NATO SOFTWARE ENGINEERING CONFERENCE (Personalidades (Edsger Wybe Dijkstra…

- - - - Testes de Erros
        
        Inductive Proof
        
        Automatic Testing
        
        Compiladores
        
        Automação de testes base
        
        "Manual" Testing
        
        Prova Matemática
        
        Isolate the right test cases
        
        Djikstra: "Os testes mostram a presença de bugs, não a ausência deles."
        
        Reynolds: "O Problema com bugs escondidos é que com o passar do tempo eles tendem a aparecer."
      - O uso de uma programação mais limpa e eficiente para evitar erros
        
        Vícios de programação provenientes de outras linguagens são um problema na criação de bons códigos
    - - Classical Techniques
        
        Brown: Snapshot e Core Dump
        
        Oestreicher: Testes exaustivos,
        incluindo situações impossíveis
      - On-line and off-line techniques
        
        Wirth: preocupação com descuidos
        
        Perlis: técnicas on-line
        auxiliam o desenvolvimento
        
        Teitelman: tempo baixo de resposta
        encoraja testes
      - Automatic analysis methods
        
        Teitelman: o computador jamais
        saberá o que o usuário realmente quer
        
        Lowry: avanços em programação
        incluirão verificação formal
        
        Lowry: linguagens analisáveis
        formalmente (tratáveis)
      - Aron: Debugging e testing