LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
І.Е. Райчев (2004)
Publisher: National Aviation University
Journal: Vìsnik Nacìonalʹnogo Avìacìjnogo Unìversitetu
Languages: English
Types: Unknown
Subjects: TL1-4050, 004.4:006.063 (045) [681.178], Motor vehicles. Aeronautics. Astronautics
 Розглянуто питання побудови процедури сертифікації програмного забезпечення автоматизованих систем контролю як одного з класів критичних програмних систем, для яких сертифікація відповідності є обов’язковою. Розроблено методи формалізації процедури формування критеріїв якос-ті та побудовано узагальнену модель якості програмного забезпечення. Створення таких методів дає можливість підвищити ефективність і якість випробувань, а тому зменшує трудомісткість цієї операції та збільшує достовірність результатів сертифікації відповідності.  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.  Рассмотрены вопросы построения процедуры сертификации программного обеспечения систем контроля как одного из классов критических программных систем, для которых сертификация соответствия является обязательной. Разработаны методы формализации процедуры формирования критериев качества и построена обобщенная модель качества программного обеспечения. Создание таких методов дает возможность повысить эффективность и качество испытаний, а потому уменьшает трудоемкость этой операции и увеличивает достоверность результатов сертификации соответствия.
  • No references.
  • No related research data.
  • No similar publications.