Обоснование выбора системы единиц физических величин для независимой верификации при сертификации программного обеспечения

Abstract

Рассмотрено влияние статистических характеристик систем единиц физических величин на достоверность и ресурсоемкость семантической независимой верификации программного обеспечения, основанный на анализе размерностей программных переменных. Оцениваются известные системы единиц СИ, СГС, МКГСС. Показано, что наибольшую достоверность обеспечивает СИ, а минимальную потребность в ресурсах – СГС.

Розглянуто вплив статистичних характеристик систем одиниць фізичних типів на достовірність і ресурсоємкість семантичної незалежної верифікації програмного забезпечення, основаной на аналізі розмірностей програмних змінних. Оцінюються відомі системи одиниць СІ, СГС, МКГСС. Показано, що найбільшу достовірність забезпечує СІ, а мінімальну ресурсну потрібність – СГС.