Обеспечение надежности процесса программирования (reliability programming support) — метод информатики, включающий совокупность языковых, синтаксических и семантических средств, способов и приемов написания программ, обеспечивающих наиболее раннее обнаружение, локализацию и идентификацию ошибок в программе, быструю модификацию программ с целью устранения ошибок или улучшения характеристик программ. Метод должен защищать процесс написания программы от случайных ошибок. Среди приемов О.н.п.п. имеются: проверка программы путем просмотра, аттестация программы авторитетными органами, тестирование программы, испытание программы, анализ программы, демонстрация программы в процессе создания программы.
[Словарь понятий по информатике от Н до С. Семенов А. А. (Электронный ресурс). Режим доступа: http://asemenov77.narod.ru/, свободный]