Принципи тестування критичних програмних систем при їх сертифікації

Abstract

Abstract. У статті розглядаються питання створення процедур і сценаріїв тестування критичних програмних систем. Отримані процедури тестування дозволяють створити оптимальні набори тестових даних, що дозволяє підвищити ефективність випробувань, для зменшення вхідного сертифікації і підвищує надійність її результатів.

In the article 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 raises reliability of her results.