Страницы

Повышение надёжности по модели проявления ошибок в коде

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

Одним из способов повышения осознанности может служить расчёт уровня корректности кода, используя модель вероятности проявления ошибки в коде. Даже неточный расчёт позволит сделать более правильный выбор решений, выгодных для стратегии достижения качественного кода. Но стоит предостеречь и от слишком грубых моделей, которые способны приводить к прямо противоположным результатам.