Концепція побудови сертифікаційної моделі якості програмних систем

Abstract

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

In the article the questions of formulation of the concept of construction of the certified quality model of program systems, for which a certification of correspondence is a mandatory procedure, are considered. Methods of formalization of requirements and construction of the quality model are developed. Creation of these methods allow to increase efficiency of tests, that reduces labour input of certification and raises reliability of her results.