Использование метрик Холстеда при оценке безопасности критического программного обеспечения

Thumbnail
View/Open
Date
2003
Author
Харченко, В.С.
Скляр, В.В.
Гордеев, А.А.
Токарев, В.И.
Герасименко, А.Д.
Белый, Ю.А.
Metadata
Show full item record
Abstract
Предложена методика использования метрик Холстеда при экспертной оценке программного обеспечения информационно-управляющих систем критического применения. Получен универсальный алгоритм расчета метрик Холстеда для ассемблерных программ. На его основе разработано инструментальное средство (утилита) поддержки расчета метрик Холстеда. Утилита была апробирована на программном обеспечении, написанном на языке ассемблер ICC430 для компьютерной системы аварийной защиты ядерного реактора ВВЭР-1000.
 
Запропоновано методику використання метрик Холстеда при експертній оцінці програмного забезпечення інформаційно-керуючих систем критичного застосування. Отримано універсальний алгоритм розрахунку метрик Холстеда для асемблерних програм. На його основі розроблено інструментальний засіб (утиліта) підтримки розрахунку метрик Холстеда. Утиліту було апробовано на програмному забезпеченні, написаному мовою асемблер ICC430 для комп'ютерної системи аварійного захисту ядерного реактора ВВЕР-1000.
 
URI
http://dspace.library.khai.edu/xmlui/handle/123456789/2870
Collections