5.4.4 Метрична оцінка програмного забезпечення

5.4.4.1 Метричну оцінку ПЗ (Metrics Measurement) застосовують для прогнозування властивостей програм, виходячи зі значень деяких вимірних атрибутів. У ході метричної оцінки ПЗ розраховуються та інтерпретуються значення метрик. Метрика містить шкалу та метод проведення вимірювань. Метрична оцінка спрямована, у першу чергу, на оцінку складності ПЗ. Розраховані значення метрик можуть бути зіставлені із властивостями безпеки та надійності (або з іншими складовими якості ПЗ) і використані для їхньої непрямої оцінки.

5.4.4.2 Прикладами метрик складності є:

– цикломатична складність, заснована на аналізі управляючого графа програми;

– метрики Холстеда, засновані на зіставленні можливої кількості помилок програми з кількістю та номенклатурою використовуваних операторів і операндів;

– число входів і виходів програмного модуля; наявність однієї точки входу та однієї точки виходу для модуля є ключовою характеристикою структурного програмування; збільшення числа входів і виходів може призвести до наявності помилки ПЗ.

5.4.4.3 Цикломатична складність програмного об'єкта (процедури, модуля, підсистеми тощо), представленого у вигляді графа, обчислюється за формулою:

C = E – N + 1 ,

де E – кількість ребер графа;

N – кількість вузлів графа.

5.4.4.4  Метрики Холстеда

У таблиці 5.7 наведено перелік метрик Холстеда.

Таблиця 5.7— Перелік метрик Холстеда

Назва метрики	Спосіб обчислення
Словник програми:
Довжина програми:
Оцінювана довжина програми:
Обсяг програми:

Кінець таблиці 5.7

Назва метрики	Спосіб обчислення
Потенційний обсяг програми
Складність програми
Рівень програми
Зусилля на розроблення програми
Кількість помилок у програмі
Час розроблення програми
Примітка. Дані для розрахунку метрик Холстеда: n1- число простих операторів, що розрізняються (словник операторів); n2- число простих операндів, що розрізняються (словник операндів); N1- загальне число усіх операторів; N2- загальне число усіх операндів; n2*-число різних вхідних і вихідних параметрів; S = 18 – число Страунда (кількість елементарних розумових операцій за секунду).

5.4.4.5 Інші метрики складності ПЗ описано у стандартах [2], [3], [4], [12]. Метрична оцінка ПЗ заснована на аналізі програмного коду за допомогою інструментальних засобів. Крім того, якщо використовуються формалізовані мови проектування, ця метрична оцінка може також використовуватися для специфікації вимог і проекту.

5.4.4.6 Перевагою метричної оцінки ПЗ є можливість перевірки деяких характеристик структури програмного коду без його безпосереднього виконання. Недоліком метричної оцінки ПЗ є те, що інформація про чисельні значення метрик може не завжди однозначно відповідати властивостям безпеки та надійності.

5.4.4.7 Різновидом метричної оцінки ПЗ є верифікація ПЗ на відповідність правилам програмування. Цей вид аналізу також здійснюється за допомогою інструментальних засобів. Програмні конструкції перевіряються на відхилення від прийнятих правил і стандартів написання програмного коду. Виявлені відхилення від правил програмування визначають потенційні проблеми, які можуть призвести до прояву дефектів ПЗ.