Journal of Automation and Information Sciences
Выходит 12 номеров в год
ISSN Печать: 1064-2315
ISSN Онлайн: 2163-9337
SJR:
0.173
SNIP:
0.588
CiteScore™::
2
Indexed in
The Features of Testing Critical Program Systems while Their Certification
Том 43,
Выпуск 4, 2011,
pp. 35-44
DOI: 10.1615/JAutomatInfScien.v43.i4.40
Краткое описание
The problems of creating the procedures and testing scenarios of critical program systems are considered. The obtained procedures allow to generate optimal test data sets, which makes it possible to increase the efficiency of the tests, reduce the laboriousness of license and increase the reliability of its results.
Ключевые слова: critical program systems, testing scenarios, license, optimal test data, reliability
342 Просмотры статей
6 Загрузка статей
Метрики
Статьи с похожим содержанием:
Последний выпуск
Modeling of Configurations Formed when Using Microneedle Systems
Properties of Large Deviations of Empirical Estimates in a Stochastic Optimization Problem for a Homogeneous Random Field
The Dynamics of One Arms Race Mathematical Model with a Delay
Some Ways to Modeling Input Data for Information Search in the Library of Standards when Solving Semantics Problems
Method for Constructing Primitive Polynomials for Cryptographic Subsystems of Dependable Automated Systems
Complete Asymptotics of Approximations by Certain Singular Integrals in Mathematical Modeling
Index, Volume 52, 2020