И понятности программ

Следующие характеристики являются продолжением метрики Холседа. Стилистика и понятность программ тесно связаны и с размером, и со сложностью программ.

Для измерения теоретической длины программы М.Холстед вводит аппроксимирующую формулу:

, (4)

где η ₁ – словарь операторов; η ₂ – словарь операндов программы.

Вводя эту оценку, Холстед исходит из основных концепций теории информации, по аналогии с которыми частота использования операторов и операндов в программе пропорционально двоичному логарифму количества их типов. Таким образом, выражение (4) справедливо для потенциально корректных программ, свободных от избыточности или несовершенств (стилистических ошибок).

Несовершенствами можно считать следующие ситуации:

а) последующая операция уничтожает результаты предыдущей без их использования;

б) присутствуют тождественные выражения, решающие совершенно одинаковые задачи;

в) одной и той же переменной назначаются различные имена и т.п.

Подобные ситуации приводят к изменению N, без изменения η.

Для стилистически корректных программ отклонение в оценке теоретической длины от реальной N не превышает 10 %. Таким образом, измеряя η _1, η _2, N₁ и N₂ и сопоставляя значения N и для некоторой программы, можно говорить о наличии в программе стилистических ошибок, т.е. несовершенств.