Suscripción a Biblioteca: Guest
Portal Digitalde Biblioteca Digital eLibros Revistas Referencias y Libros de Ponencias Colecciones
Journal of Automation and Information Sciences
SJR: 0.275 SNIP: 0.59 CiteScore™: 0.8

ISSN Imprimir: 1064-2315
ISSN En Línea: 2163-9337

Volumes:
Volumen 52, 2020 Volumen 51, 2019 Volumen 50, 2018 Volumen 49, 2017 Volumen 48, 2016 Volumen 47, 2015 Volumen 46, 2014 Volumen 45, 2013 Volumen 44, 2012 Volumen 43, 2011 Volumen 42, 2010 Volumen 41, 2009 Volumen 40, 2008 Volumen 39, 2007 Volumen 38, 2006 Volumen 37, 2005 Volumen 36, 2004 Volumen 35, 2003 Volumen 34, 2002 Volumen 33, 2001 Volumen 32, 2000 Volumen 31, 1999 Volumen 30, 1998 Volumen 29, 1997 Volumen 28, 1996

Journal of Automation and Information Sciences

DOI: 10.1615/JAutomatInfScien.v43.i4.40
pages 35-44

The Features of Testing Critical Program Systems while Their Certification

Igor E. Raichev
National Aviation University, Kiev, Ukraine
Alexander G. Kharchenko
National Aviation University, Kiev, Ukraine
Oleg A. Yegorov
National Aviation University, Kiev, Ukraine

SINOPSIS

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.


Articles with similar content:

THE APPLICATION OF NON-PARAMETRIC STATISTICS METHODS IN IMAGE CLASSIFIERS BASED ON STRUCTURAL DESCRIPTION COMPONENTS
Telecommunications and Radio Engineering, Vol.79, 2020, issue 10
I. S. Tvoroshenko, O. О. Peredrii, V. О. Gorokhovatskyi, O. A. Kobylin
Prospects of Information Processing in Artificial Immune Systems
Journal of Automation and Information Sciences, Vol.41, 2009, issue 7
Alexandra A. Vagis
EMPLOYMENT OF INTELLIGENT TECHNOLOGIES IN MULTIPARAMETRIC CONTROL SYSTEMS
Telecommunications and Radio Engineering, Vol.75, 2016, issue 19
V. A. Gorokhovatskiy, А. А. Zamula
Iterative Method for Construction of Linear Hulls and Informative Sets of Classes in Recognition Problems
Journal of Automation and Information Sciences, Vol.34, 2002, issue 6
Nikolay A Ignatyev
Recursive Models of Randomized Processes in Foreign Intelligence Tasks. Part 1. Simplified Lower Order Models
Journal of Automation and Information Sciences, Vol.51, 2019, issue 9
Farit F. Idrisov