Please enable JavaScript.
Coggle requires JavaScript to display documents.
NATO SOFTWARE ENGINEERING CONFERENCE (Personalidades (Edsger Wybe Dijkstra…
NATO SOFTWARE ENGINEERING CONFERENCE
Personalidades
Friedrich Ludwig Bauer
10/06/1924 - 26/03/2015
Método de pilha para avaliação de expressões
Cunhou o termo Engenharia de software
Escreveu Segredos Descriptografados
Linguagem de amplo espectro
Charles Antony Richard Hoare
11/01/1934
QuickSort
->
1960
Lógica Hoare, CSP (linguagens concorrentes) -> Occam
Atualmente
-> Professor Oxford, Pesquisador Cambridge
1985 Royal Society, 2005 Royal Academy of Engineering
Edsger Wybe Dijkstra
PHD em ciências da Computação
-> Amsterdan
11/05/1930 - 06/08/2002
Estudou Matemática, Física Teórica -> Leiden
Algorítmo de Dijkstra
THE -> SO (primeira forma de segmentação de memória baseada em software)
Compilador ALGOL 60 -> pilha de recursão
Sistemas de auto-estabilização
Software Quality
Correctness
Formal Correctness
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
Debugging
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
Performance measurement and improvement
Galler:
Os usuários se comportam de maneira semelhante
Schorr:
É difícil saber se está sendo avaliado o sistema ou a adaptação do usuário
Randall:
A menos que o sistema seja suficientemente grande, você pode acabar piorando o sistema
Schorr:
As estatísticas são tão comumente enviesadas que acabam não tendo muito uso