Journal of Automation and Information Sciences
Publication de 12 numéros par an
ISSN Imprimer: 1064-2315
ISSN En ligne: 2163-9337
SJR:
0.173
SNIP:
0.588
CiteScore™::
2
Indexed in
The Features of Testing Critical Program Systems while Their Certification
Volume 43,
Numéro 4, 2011,
pp. 35-44
DOI: 10.1615/JAutomatInfScien.v43.i4.40
RÉSUMÉ
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.
343 Vues d'articles
6 Téléchargements d'articles
Métrique
Articles avec un contenu similaire:
Dernier numéro
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