Метрики труднощів у оцінці надійності інструментальних бібліотек і фреймворків

Анотація

До надійності інструментальних засобів програмування висуваються підвищені вимоги. При цьому завжди актуальним є розвиток економічних методів оцінки надійності, здатних до застосування на всіх етапах розробки бібліотек і фреймворків. У даній роботі розвинуто статичний підхід до оцінки труднощів розуміння модулів програм, що компілюються. Труднощі або легкість такого розуміння є важливим об'єктивним фактором успішності тестування та модифікації модулів. Метод статті побудовано на ідеях М. Холстеда, енергетичному аналізі програм і прийомі фільтрації модулів за трудністю, що пов'язаний з відомими проектами. Наш метод випробувано стосовно оцінки зрілості модулів системи Matreshka (з арсеналу Ада індустрії), яка порівнюється з бібліотекою OAE.