Атрибутивна модель оцінки гарантоздатності програмного забезпечення.

Анотація

Анотація. Стаття присвячена розробці атрибутивної моделі гарантоздатного програмного забезпечення (ПЗ), визначення метрик гарантоздатного ПЗ та розробки об’єктно незалежного універсального підходу до оцінки атрибутів та метрик гарантоздатного ПЗ. Атрибутивна модель гарантоздатного ПЗ (АМГПЗ) розроблена за аналогією атрибутивної моделі гарантоздатності комп’ютерних систем (КС) і розширена спеціальними атрибутами й метриками ПЗ КС критичного призначення. У різних галузях народного господарства розроблено свої галузеві стандарти зі створення безпечного ПЗ, на які можна розширювати та уточнювати пропоновану АМГПЗ й орієнтуватися при визначенні атрибутів, метрик, критеріїв оцінки ПЗ. В АМГПЗ визначені основні атрибути: функціональність, безвідмовність, зручність використання, ефективність, супроводжуваність, портативність, надмірність, самоконтроль. Розроблено об'єктно незалежний універсальний підхід до оцінки гарантоздатності ПЗ за визначеними атрибутами, метриками та критеріями. Комплексна оцінка рівня гарантоздатності ПЗ здійснюється за АМГПЗ у вигляді лінійного функціонала, що містить оцінки всіх атрибутів моделі. Розроблено процедуру порівняльної оцінки рівня гарантоздатності ПЗ шляхом аналізу пропонованої АМГПЗ, яка представлена у вигляді узагальненої оцінки рівня гарантоздатності програмного забезпечення, за допомогою якої проводиться порівняльний аналіз рівня гарантоздатності різних варіантів ПЗ. Атрибутивна модель гарантоздатного ПЗ, комплексна та порівняльна оцінки рівней гарантоздатності можуть бути використані фахівцями з гарантоздатності у різних галузях застосування.