История изменений
Исправление Iron_Bug, (текущая версия) :
да нет никаких приёмов. обычный valgind и gdb. всё как всегда.
в доказательные теоретические обоснования я не лезу. это воняет бюрократией и всё равно не работает. обычная человеческая логика. ею должен обладать любой программист. если логики не хватает, на каких-то больших проектах с кучей разработчиков - юнит-тесты.
вообще, нельзя доказать отсутствие ошибок. можно доказать только наличие ошибки.
Исходная версия Iron_Bug, :
да нет никаких приёмов. обычный valgind и gdb. всё как всегда.
в доказательные теоретические обоснования я не лезу. это воняет бюрократией и всё равно не работает. обычная человеческая логика. ею должен обладать любой программист. если логики не хватает, на каких-то больших проектах с кучей разработчиков - юнит-тесты.