Знаковая и предметная программа

Изложенные соображения позволяют сделать вывод, что основное понятие теории программирования — программа — является в высшей степени неудачным, неточным и дезориентирующим. Недостаток в том, что термин “программа” маскирует тот факт, что речь идет о двух принципиально разных объектах, между которыми нет почти ничего общего. Для обозначения этих объектов мы предлагаем термины “знаковая программа” и “предметная программа”.

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

Знаковая программа предназначена для управления деятельностью человека (но не машины), предметная — для управления компьютером (но не человеком). Если говорить более точно, знаковая программа служит для управления действиями автора программы или его коллег, которые пытаются изучить, понять, проверить, локализовать ошибку, вспомнить или модифицировать программу, а также для управления работой пользователя, который вводит программу в машину. Написанные на черновике символы программы, воздействуя на нейронные коды мозга, однозначно определяют последовательность движений (“кинетическую мелодию”) рук пользователя. В свою очередь движения пальцев преобразуются в механические перемещения клавиш и далее в электрические и магнитные сигналы.

Последние и представляют собой предметную программу, которая осуществляет непосредственное управление работой компьютера.

В связи с этим необходимо различать:

! качество знаковой программы (знаковое качество),

! качество предметной программы (предметное качество).

Качество предметной программы характеризуется, в частности, временем ее исполнения в машине и потребным объемом памяти. Критерием качества знаковой программы служат затраты энергии мозга (интеллектуальные усилия), необходимые для восприятия и понимания программы.

Чем лучше знаковая программа, чем она понятнее и доходчивее, тем меньше вероятность того, что в ней затаились скрытые ошибки, тем выше надежность предметной программы. Качество и интеллектуальная производительность труда программистов совершенно не зависят от предметного качества программы и всецело определяются знаковым качеством. Отсюда вывод: чтобы повысить продуктивность мозга разработчиков программ, необходимо повысить знаковое качество программного обеспечения.

Дата добавления: 2015-08-21