Ўзбекистон республикаси ахборот технологиялари ва коммуникацияларини ривожлантириш вазирлиги муҳаммад ал-хоразмий номидаги

7. Методы разработки устойчивого кода 
Как уже было сказано в первых разделах данного курса, верификация не может 
гарантировать того, что в программной системе отсутствуют абсолютно все ошибки. В 
лучшем случае мы можем сделать заключение о том, что система ведет себя в соответствии с 
требованиями, работая на заданном оборудовании. Для того, чтобы нивелировать возможные 
негативные последствия от ошибок, не обнаруженных в процессе верификации, 
применяются методы разработки устойчивого программного кода или методы 
защитного 
программирования
.
Защитное программирование – это метод организации программного кода таким 
образом, чтобы при работе системы последствия проявления дефектов в ней не приводили к 
сбоям, отказам и авариям. При этом защитное программирование, как правило, не дает нам 
никакой информации о том, где в системе находится дефект, поэтому защитное 
программирование нельзя рассматривать как полную замену верификации – эти два аспекта 
промышленной разработки систем лишь дополняют друг друга. 
Основной метод защитного программирования – внедрение в программный код 
системы различного рода проверок на допустимость обрабатываемых системой данных или 
допустимость состояния системы в заданный момент времени. Таким образом, подход 
защитного программирования можно сформулировать таким образом: «Прежде чем делать 
что-то – проверь, с корректными ли данными и в корректный ли момент времени ты 
начинаешь это делать». Если все данные для работы корректны – система функционирует в 
нормальном режиме. В случае, если данные неверны, запускается специально разработанная 
часть системы, предназначенная для восстановления правильности функционирования и 
предотвращения сбоя (либо при помощи приведения данных к корректному виду, либо при 
помощи извещения оператора). 
В настоящее время существует два основных механизма защитного программирования 
– проверка допущений в критических точках и обработка исключительных ситуаций.