Поняття сертифікація програмного забезпечення. Види сертифікації продукту.
Під сертифікацією програмного продукту розуміють процес, що здійснюється третьою стороною для засвідчення його спеціальним знаком або посвідченням ідентифікованої програмної продукції (процесу або послуги) на відповідність конкретному стандарту, технічним умовам або вимогам.
Сертифікат на програмну продукцію свідчить про відповідність перевірених показників якості цієї продукції певним вимогам. В умовах ринкових відносин наявність такого сертифікату підвищує конкурентоспроможність, є засобом завоювання ринку й захисту споживачів від недоброякісної продукції.
Спеціальним декретом Кабінету Міністрів України «Про стандартизацію й сертифікацію» передбачається два види сертифікації створюваної продукції: обов'язкова й добровільна.
Обов'язкова сертифікація продукту орієнтується на проведення в Державній системі сертифікації УКРСЕПРО перевірок відповідності реальних властивостей сертифікованої продукції вимогам, певним державним нормативним документам. До обов'язкової сертифікації віднесено потенційно небезпечні й шкідливі продукти, вироби, процеси. У цьому переліку не зазначено програмну продукцію, хоча помилки в ній можуть призвести до небезпечних наслідків як для безпеки людей, так і для економіки. Прикладом небезпечних наслідків можуть служити аварії при запуску космічних кораблів «Челенджер» (США, 1995) і «Зеніт-2» (СНД, 1998), причиною яких стали помилки в програмах керування польотом.
У зв'язку із цим ясно, що сертифікація програмної продукції як механізму керування якістю, забезпечення її безпеки й конкурентоспроможності вітчизняних програмних продуктів, захисту користувачів від недоброякісної продукції, необхідна. Проте багато організацій, що створюють програмні продукти, не вживають заходів з забезпечення їхньої якості й сертифікації. Це пояснюється низкою причин:
небажанням піддавати програмні продукти сертифікації, тому що це вимагає додаткових ресурсів;
нерозумінням замовника ПС переваг сертифікованого продукту;
відсутністю в організаціях систем забезпечення якості та ін.;
відсутністю ринку вітчизняної програмної продукції.
Системи забезпечення якості ПС, нормативно-методичні документи, що визначають найраціональні й ефективні процеси й процедури його реалізації, а також системи сертифікації програмних продуктів, спрямовано на розв’язання таких завдань:
1) створення нормативної бази інженерії якості ПС, що відповідає вимогам міжнародних і державних стандартів;
2) розроблення типових елементів систем забезпечення якості в організаціях, що розробляють програмні продукти;
3) опанування й удосконалювання методів оцінки якості продуктів і процесів їхнього виробництва;
4) створення нормативно-методичної й інструментальної бази системи сертифікації програмних продуктів.
До цих завдань додаються подання оцінки відповідно до моделі СММ зрілості організації й процесів виробництва програмних продуктів.
Евристична модель надійності.
Евристична модель оцінки надійності програмних засобів дозволяє оцінити кількість помилок N до початку тестування за результатами тестування програми двома незалежними групами. Для цього застосовується такий вираз:
де N1 - кількість помилок, виявлених першою групою тестують; N2 - кількість помилок, виявлених другою групою тестують; N1,2 - кількість помилок, які виявила і перша, і друга група (загальні виявлені помилки).
Евристична модель добре працює при «перехресному» тестуванні програм декількома групами тестувальників, оскільки забезпечує досить легку обробку отриманих результатів.