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

• Datum: 2006
• Hauptverfasser: Райчев, І.Е., Харченко, О.Г.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут програмних систем НАН України 2006
• Schlagworte: Методи та засоби програмної інженерії
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/1549
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Концепція побудови сертифікаційної моделі якості програмних систем / І.Е. Райчев, О.Г. Харченко // Проблеми програмування. — 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.