ОСОБЛИВОСТІ ТЕСТУВАННЯ КРИТИЧНИХ ПРОГРАМНИХ СИСТЕМ ПРИ ЇХ СЕРТИФІКАЦІЇ
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.
Збережено в:
| Дата: | 2011 |
|---|---|
| Автори: | Raichev, I.E., Kharchenko, A.G., Yegorov, O.A. |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
V.M. Glushkov Institute of Cybernetics of NAS of Ukraine
2011
|
| Онлайн доступ: | https://jais.net.ua/index.php/files/article/view/556 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems of Control and Informatics |
Репозитарії
Problems of Control and InformaticsСхожі ресурси
-
Проблеми оцінювання якості критичних програмних систем при їх сертифікації
за авторством: Райчев, І.Е., та інші
Опубліковано: (2004) -
Моделі і методи тестування програмних систем
за авторством: Коротун, Т.М.
Опубліковано: (2007) -
Формалізми об’єктного проектування і тестування розподілених програмних систем
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2013) -
Особливості процесів керування при створенні сімейств програмних систем
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2009) -
Генерувальне програмування програмних систем і їх сімейств
за авторством: Лавріщева, К.М.
Опубліковано: (2009)