Эдсгер Дийкстра

Тестирование безнадежно

12.01.2015 – 17:48
Эдсгер Дийкстра:

Тестирование программы может весьма эффективно продемонстрировать наличие ошибок, но безнадежно неадекватно для демонстрации их отсутствия.

Permalink | Комментариев (0)

Изделия программистов

12.01.2015 – 17:47
Эдсгер Дийкстра:

Глубоко ошибается тот, кто думает, что изделиями программистов являются программы, которые они пишут. Программист обязан создавать заслуживающие доверия решения и представлять их в форме убедительных доводов, а текст написанной программы является лишь сопроводительным материалом, к которому эти доказательства применимы.

Permalink | Комментариев (0)

Процесс удаления ошибок

12.01.2015 – 17:29
Эдсгер Дийкстра:

Если отладка — процесс удаления ошибок, то программирование должно быть процессом их внесения.

Permalink | Комментариев (0)