自动化与信息科学期刊
每年出版 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.
345 文章浏览量
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