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

• Райчев Ігор Едуардович (технічні науки)
• Харченко Оксана Георгіївна (хімічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"