И понятности программСледующие характеристики являются продолжением метрики Холседа. Стилистика и понятность программ тесно связаны и с размером, и со сложностью программ. Для измерения теоретической длины программы
где η 1 – словарь операторов; η 2 – словарь операндов программы. Вводя эту оценку, Холстед исходит из основных концепций теории информации, по аналогии с которыми частота использования операторов и операндов в программе пропорционально двоичному логарифму количества их типов. Таким образом, выражение (4) справедливо для потенциально корректных программ, свободных от избыточности или несовершенств (стилистических ошибок). Несовершенствами можно считать следующие ситуации: а) последующая операция уничтожает результаты предыдущей без их использования; б) присутствуют тождественные выражения, решающие совершенно одинаковые задачи; в) одной и той же переменной назначаются различные имена и т.п. Подобные ситуации приводят к изменению N, без изменения η. Для стилистически корректных программ отклонение в оценке теоретической длины
|
М.Холстед вводит аппроксимирующую формулу:
, (4)
