ОСОБЛИВОСТІ ТЕСТУВАННЯ КРИТИЧНИХ ПРОГРАМНИХ СИСТЕМ ПРИ ЇХ СЕРТИФІКАЦІЇ

• Datum: 2011
• Hauptverfasser: Raichev, I.E., Kharchenko, A.G., Yegorov, O.A.
• Format: Artikel
• Sprache: English
• Veröffentlicht: V.M. Glushkov Institute of Cybernetics of NAS of Ukraine 2011
• Online Zugang: https://jais.net.ua/index.php/files/article/view/556
• Назва журналу: Problems of Control and Informatics

The questions of creating procedures and sсripts of testing of critical program systems are considered. The obtained procedures of testing allow to generate optimal test data sets that enables to increase efficiency of tests, to reduce input of certification and to raise reliability of its results.