16 подписчиков

🪬МИФ О ПРАВИЛЬНОСТИ ПО ЗАМЫСЛУ

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

Эмпирические исследования в области разработки программного обеспечения неоднократно показывали, что простой код действительно менее подвержен дефектам, чем сложный (см. например, статью Шатнави (Shatnawi) и Ли (Li), написанную ими в 2006 году). Однако простота не является достаточным условием. Наивно полагать, что тестирование можно полностью заменить простотой кода. То же верно и для «правильности по замыслу» (correctness by design): если код имеет хорошо продуманную организацию, то это не означает, что в нем не может быть ошибок.

Около минуты

25 февраля 2024