ПРОБЛЕМИ СЕРТИФІКАЦІЇ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ АВТОМАТИЗОВАНИХ СИСТЕМ КОНТРОЛЮ
Наукові журнали НАУ
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
ПРОБЛЕМИ СЕРТИФІКАЦІЇ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ АВТОМАТИЗОВАНИХ СИСТЕМ КОНТРОЛЮ
The problems of certification procedure of the software of automated systems of monitoring Проблемы сертификации программного обеспечения автоматизированных систем контроля |
|
| Creator |
Райчев, І.Е.; Інститут інформатики НАУ
|
|
| Subject |
—
— — — — — — — — |
|
| Description |
Розглянуто питання побудови процедури сертифікації програмного забезпечення автоматизованих систем контролю як одного з класів критичних програмних систем, для яких сертифікація відповідності є обов’язковою. Розроблено методи формалізації процедури формування критеріїв якос-ті та побудовано узагальнену модель якості програмного забезпечення. Створення таких методів дає можливість підвищити ефективність і якість випробувань, а тому зменшує трудомісткість цієї операції та збільшує достовірність результатів сертифікації відповідності.
In the article the problems of construction of a procedure of certification of a software of automated systems of monitoring 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. Рассмотрены вопросы построения процедуры сертификации программного обеспечения систем контроля как одного из классов критических программных систем, для которых сертификация соответствия является обязательной. Разработаны методы формализации процедуры формирования критериев качества и построена обобщенная модель качества программного обеспечения. Создание таких методов дает возможность повысить эффективность и качество испытаний, а потому уменьшает трудоемкость этой операции и увеличивает достоверность результатов сертификации соответствия. |
|
| Publisher |
National Aviation University
|
|
| Contributor |
—
— — |
|
| Date |
2012-07-09
|
|
| Type |
—
— — — — — |
|
| Format |
application/octet-stream
|
|
| Identifier |
http://jrnl.nau.edu.ua/index.php/visnik/article/view/968
|
|
| Source |
Proceedings of NAU; Том 18, № 1 (2004); 23–28
Вісник Національного авіаційного університету; Том 18, № 1 (2004); 23–28 Вісник Національного Авіаційного Університету; Том 18, № 1 (2004); 23–28 |
|
| Language |
uk
|
|
| Coverage |
—
— — — — — — — — |
|