Скачать (3.87 Мб) - База данных

Спор по поводу возможностей создания надежных программ
стал достоянием гласности в прошлом году, когда другой
специалист, Дэвид Парнас из Университета г. Виктория
(Британская Колумбия), вышел из комиссии, консультирующей
Организацию по осуществлению СОИ в Пентагоне по
части использования компьютеров для обеспечения поддержки
при управлении боевыми действиями. Парнас сказал,
что, по его мнению, не представляется возможным составить
подобные программы.
Один из аргументов Парнаса гласил, что человеческую
ошибку в крупных компьютерных программах можно обнаружить,
только если пользоваться этими программами в течение
длительного срока, что, как он заявил, не представляется возможным,
когда речь идет о программе для защиты от ракет.
Генерал-лейтенант Джеймс Абрахамсон, директор ОО-
СОИ, сказал, что компьютерное программирование, по всей
вероятности, — самая трудная техническая проблема, с которой
сталкивается его организация. Но он высказался оптимистически,
заявив, что она может быть разрешена, и указал,
что Парнас опирается на «нереалистически завышенные
критерии». Хорнинг, который так же как Парнас, занимается
составлением компьютерных программ для систем оружия,
поддерживает Парнаса.
После того как Парнас вышел из комиссии, в ней не осталось
ни одного специалиста, обладающего опытом по части
составления компьютерных программ для систем оружия.
Комиссия, которая неофициально называет себя «Ист-портской
группой», просила Хорнинга, состоящего на службе
крупной компьютерной компании «Дайджитл экуипмент
корпорейшн», в августе прошлого года встретиться с членами
комиссии.
В докладе, который Хорнинг раздал другим специалистам,
он, говоря об «Истпортской группе», писал:
«Хорошо уже то, что члены комиссии не сумасшедшие, не
шарлатаны и не дураки. Если за пять миллиардов долларов (а
то и десять) можно будет купить решение для проблемы составления
программы управления боевыми операциями для
СОИ, они, вероятно, найдут его. Если нет, они, в конце концов,
признают, что им это не под силу». Однако, добавил он,
члены комиссии понимают, что «они не обладают необходимыми
знаниями, чтобы самим решить эту проблему или хотя
бы руководить ее решением».
Он сказал, что члены комиссии согласились с оценкой
Парнаса, что необходимые компьютерные программы «не
могут быть составлены сегодняшними методами». По словам
Хорнинга, будет справедливо заключить, что «они сами пока
еще не убеждены в том, что эту проблему нельзя видоизменить
таким образом, чтобы сделать ее разрешимой».
56