Проблеми оцінювання якості критичних програмних систем при їх сертифікації
В статті розглянуті питання побудови процедури сертифікації ПЗ автоматизованих систем контролю, як одного з класів критичних програмних систем, для яких сертифікація відповідності є обов'язковою. Розроблені методи формалізації процедури формування критеріїв якості та побудована узагальнена мо...
Збережено в:
| Дата: | 2004 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/2303 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Проблеми оцінювання якості критичних програмних систем при їх сертифікації/ І.Е. Райчев, О.Г. Харченко // Проблеми програмування. — 2004. — N 2,3. — С. 198-207. — Бібліогр.: 17 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-2303 |
|---|---|
| record_format |
dspace |
| spelling |
Райчев, І.Е. Харченко, О.Г. 2008-09-17T13:03:48Z 2008-09-17T13:03:48Z 2004 Проблеми оцінювання якості критичних програмних систем при їх сертифікації/ І.Е. Райчев, О.Г. Харченко // Проблеми програмування. — 2004. — N 2,3. — С. 198-207. — Бібліогр.: 17 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/2303 004.4:006.015.5 (045) В статті розглянуті питання побудови процедури сертифікації ПЗ автоматизованих систем контролю, як одного з класів критичних програмних систем, для яких сертифікація відповідності є обов'язковою. Розроблені методи формалізації процедури формування критеріїв якості та побудована узагальнена модель якості ПЗ. Створення таких методів і засобів дає можливість підвищити ефективність і якість випробувань, а тому зменшує трудомісткість цієї операції та збільшує достовірність результатів сертифікації відповідності. 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 uk Інститут програмних систем НАН України Методы и средства программной инженерии Проблеми оцінювання якості критичних програмних систем при їх сертифікації Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Проблеми оцінювання якості критичних програмних систем при їх сертифікації |
| spellingShingle |
Проблеми оцінювання якості критичних програмних систем при їх сертифікації Райчев, І.Е. Харченко, О.Г. Методы и средства программной инженерии |
| title_short |
Проблеми оцінювання якості критичних програмних систем при їх сертифікації |
| title_full |
Проблеми оцінювання якості критичних програмних систем при їх сертифікації |
| title_fullStr |
Проблеми оцінювання якості критичних програмних систем при їх сертифікації |
| title_full_unstemmed |
Проблеми оцінювання якості критичних програмних систем при їх сертифікації |
| title_sort |
проблеми оцінювання якості критичних програмних систем при їх сертифікації |
| author |
Райчев, І.Е. Харченко, О.Г. |
| author_facet |
Райчев, І.Е. Харченко, О.Г. |
| topic |
Методы и средства программной инженерии |
| topic_facet |
Методы и средства программной инженерии |
| publishDate |
2004 |
| language |
Ukrainian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| description |
В статті розглянуті питання побудови процедури сертифікації ПЗ автоматизованих систем контролю, як одного з класів
критичних програмних систем, для яких сертифікація відповідності є обов'язковою. Розроблені методи формалізації процедури
формування критеріїв якості та побудована узагальнена модель якості ПЗ. Створення таких методів і засобів дає можливість
підвищити ефективність і якість випробувань, а тому зменшує трудомісткість цієї операції та збільшує достовірність результатів
сертифікації відповідності.
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
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/2303 |
| citation_txt |
Проблеми оцінювання якості критичних програмних систем при їх сертифікації/ І.Е. Райчев, О.Г. Харченко // Проблеми програмування. — 2004. — N 2,3. — С. 198-207. — Бібліогр.: 17 назв. — укр. |
| work_keys_str_mv |
AT raičevíe problemiocínûvannââkostíkritičnihprogramnihsistempriíhsertifíkacíí AT harčenkoog problemiocínûvannââkostíkritičnihprogramnihsistempriíhsertifíkacíí |
| first_indexed |
2025-12-07T19:10:19Z |
| last_indexed |
2025-12-07T19:10:19Z |
| _version_ |
1850877798618497025 |