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

• Date: 2011
• Main Authors: Raichev, I.E., Kharchenko, A.G., Yegorov, O.A.
• Format: Article
• Language: English
• Published: V.M. Glushkov Institute of Cybernetics of NAS of Ukraine 2011
• Online Access: https://jais.net.ua/index.php/files/article/view/556
• Journal Title: 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.