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

• Дата: 2006
• Автори: Райчев, І.Е., Харченко, О.Г.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут програмних систем НАН України 2006
• Теми: Методи та засоби програмної інженерії
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/1549
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Концепція побудови сертифікаційної моделі якості програмних систем / І.Е. Райчев, О.Г. Харченко // Проблеми програмування. — 2006. — N 2-3. — С. 275-281. — Бібліогр.: 23 назв. — укр.

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