Please use this identifier to cite or link to this item:
https://er.nau.edu.ua/handle/NAU/29746| Title: | Проблеми сертифікації програмного забезпечення автоматизованих систем контролю |
| Other Titles: | The problems of certification of the software of automated control systems |
| Authors: | Райчев, Ігор Едуардович |
| Keywords: | сертифікація, програмне забезпечення, автоматизація систем контролю |
| Issue Date: | 12-Nov-2004 |
| Publisher: | Вісник НАУ. –2004. –№1. –С. 23–28. |
| Citation: | Розглянуто питання побудови процедури сертифікації програмного забезпечення автоматизованих систем контролю як одного з класів критичних програмних систем, для яких сертифікація відповідності є обов'язковою. Розроблені методи формалізації процедури формування критеріїв якості та побудована узагальнена модель якості ПЗ. Створення таких методів і засобів дає можливість підвищити ефективність і якість випробувань, а тому зменшує трудомісткість цієї операці, та збільшує достовірність результатів сертифікації відповідності |
| Abstract: | Discusses the construction certification procedures software of automated control systems as one of the classes of critical software systems for which certification of compliance is required. Methods have been developed to formalize the procedure for the formation of quality criteria and developed a generalized model of quality. The creation of such methods and tools can improve the efficiency and quality of testing, and therefore reduces the complexity of the operation, and increases reliability of results certification of conformity |
| URI: | http://er.nau.edu.ua/handle/NAU/29746 |
| Appears in Collections: | Публікації у наукових виданнях кафедри комп’ютерних інформаційних технологій |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Статья _ВНау.doc | Основна стаття. | 146 kB | Microsoft Word | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.