Л.С. Чистяков Модифицированная HIPOтехнология разработки больших программных комплексов Вопросы повышения надежности при создании программных продуктов сохраня ют свою актуальность независимо от развития средств разработки программного обеспечения. <...> Материал данной статьи основан на личном опыте автора, идеи ко торого были использованы им в начале 1970х годов (одновременно с созданием HIPOтехнологии фирмой IBM) при разра ботке автоматизированной системы «ОР ДЕР» (учет и распределение жилой пло щади). <...> Эта система, главным конструкто ром и разработчиком которой является ав Инструментальные средстваТехнологии разработки программного обеспечения тор данной статьи, была создана в ВГПТИ ЦСУ СССР, и после внедрения в Москве должна была стать стандартной для страны в целом. <...> Общий объем системы «ОРДЕР»— более 140 тысяч операторов алгоритми ческого языка нижнего уровня. <...> Независимо от выбранного языка программирования тексты программ совре менных систем реализуются десятками ты сяч операторов. <...> Общее число знаков таких текстов исчисляется уже сотнями тысяч. <...> Найдем математическое ожидание числа ошибок n, попавших в систему, состоящую из L=100 000 знаков, т.е. в программу, со держащую около 10 тысяч операторов язы ка высокого уровня. <...> Значительная часть программистов при ответе на этот вопрос ссылается на то, что программа была отлажена на контрольных примерах и принята заказчиком на тесто вом варианте. <...> Постараемся разобраться подробнее в при меняемых методах отладки программ. <...> Отладка программ на контрольных примерах Пусть написанная программа PR имеет в древовидной интерпретации ветвления, которые дают N выходов на останов. <...> Пол ная уверенность в правильности программ может быть тогда и только тогда, когда кон трольный пример К тоже имеет на выходе N значений для N вариантов входа. <...> Инструментальные средстваТехнологии разработки программного обеспечения 65 Л. С. Чистяков <...>