Использование метрик Холстеда при оценке безопасности критического программного обеспечения
Короткий опис(реферат)
Предложена методика использования метрик Холстеда при экспертной оценке программного обеспечения информационно-управляющих систем критического применения. Получен универсальный алгоритм расчета метрик Холстеда для ассемблерных программ. На его основе разработано инструментальное средство (утилита) поддержки расчета метрик Холстеда. Утилита была апробирована на программном обеспечении, написанном на языке ассемблер ICC430 для компьютерной системы аварийной защиты
ядерного реактора ВВЭР-1000. Запропоновано методику використання метрик Холстеда при експертній оцінці програмного забезпечення інформаційно-керуючих систем критичного застосування. Отримано універсальний алгоритм розрахунку метрик Холстеда для асемблерних програм. На його основі розроблено інструментальний засіб (утиліта) підтримки розрахунку метрик Холстеда. Утиліту було апробовано на програмному забезпеченні, написаному мовою асемблер ICC430 для комп'ютерної системи аварійного захисту ядерного реактора ВВЕР-1000.