Наукова електронна бібліотека
періодичних видань НАН України

Проблеми оцінювання якості критичних програмних систем при їх сертифікації

Репозиторій DSpace/Manakin

Показати простий запис статті

dc.contributor.author Райчев, І.Е.
dc.contributor.author Харченко, О.Г.
dc.date.accessioned 2008-09-17T13:03:48Z
dc.date.available 2008-09-17T13:03:48Z
dc.date.issued 2004
dc.identifier.citation Проблеми оцінювання якості критичних програмних систем при їх сертифікації/ І.Е. Райчев, О.Г. Харченко // Проблеми програмування. — 2004. — N 2,3. — С. 198-207. — Бібліогр.: 17 назв. — укр. en_US
dc.identifier.issn 1727-4907
dc.identifier.uri http://dspace.nbuv.gov.ua/handle/123456789/2303
dc.description.abstract В статті розглянуті питання побудови процедури сертифікації ПЗ автоматизованих систем контролю, як одного з класів критичних програмних систем, для яких сертифікація відповідності є обов'язковою. Розроблені методи формалізації процедури формування критеріїв якості та побудована узагальнена модель якості ПЗ. Створення таких методів і засобів дає можливість підвищити ефективність і якість випробувань, а тому зменшує трудомісткість цієї операції та збільшує достовірність результатів сертифікації відповідності. en_US
dc.description.abstract In the article the problems of construction of a procedure of certification of a software of automated monitoring systems are considered, as one from classes of the critical program systems, for which the certification of the correspondence is a mandatory procedure. The methods of formalization of a procedure of shaping of criterions of quality are developed and the generalized model of quality of a software is constructed. The creation of such methods and means enables to increase efficiency and quality of tests, that is why reduces labour input of this operation and increases reliability of outcomes of certification of the correspondence en_US
dc.language.iso uk en_US
dc.publisher Інститут програмних систем НАН України en_US
dc.subject Методы и средства программной инженерии en_US
dc.title Проблеми оцінювання якості критичних програмних систем при їх сертифікації en_US
dc.type Article en_US
dc.status published earlier en_US
dc.identifier.udc 004.4:006.015.5 (045)


Файли у цій статті

Ця стаття з'являється у наступних колекціях

Показати простий запис статті

Пошук


Розширений пошук

Перегляд

Мій обліковий запис