Одной из проблем в такой области технологии программирования, как оценивание качества программного обеспечения, является отсутствие согласованных (т.е. одинаково толкуемых всеми) понятий: применяемых для специфицирования качества программных средств на уровне метрик программных продуктов (ПП) и метрик качества ПП. В литературе неоднозначно определяются сами метрики и практически отсутствуют описания правил получения значений мер определенных свойств ПП (так называемых, протоколов измерений). Это связано, главным образом, с отсутствием точно определенного семантического базиса моделей ПП и недостаточным вниманием, уделяемым теории измерений в технологии программирования.

Целью данной работы являлось создание строгого (формального в математическом смысле) аппарата для определения понятий рассматриваемой проблемной области, в котором, во-первых, используется единый семантический базис, во-вторых, сами понятия являются привычными для специалистов данной области. Этот аппарат является составным компонентом языково-ориентированного подхода к измерениям и оцениванию программного обеспечения.

Разработанный аппарат позволяет "по-уровнево" описать основные понятия проблемной области. При этом: - модели IтрадиционныхI (IфункциональныхI) и объектно-ориентированных программ определяются в терминах измерительных моделей современных языков программирования, что позволяет исключить неоднозначность при определении обычно IнеточныхI понятий, например, таких как: "вершина дерева наследования" и "дуга дерева наследования" " вершина" и "дуга графа потока информации" в структурной схеме программы;

- используемые на практике метрики программ определяются в терминах этих моделей, в частности, метрика "глубина дерева наследования" определяется как одно из свойств "дерева наследования", а "число выходящих потоков данных" как одно из свойств графовой модели структурной схемы программы;

- требования к качеству разрабатываемых программ формально описываются в терминах формально описанных метрик.

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