Development stage test-based software reliability indicator estimation for automated spacecraft flight control systems and mobile objects under surveillance
ФГБУ "4 ЦНИИ" Минобороны России, А.Г. Андреев, Г.В. Казаков, ФГБУ "4 ЦНИИ" Минобороны России, В.В. Корянов, МГТУ им. Н.Э. Баумана · Engineering Journal Science and Innovation · 2016
The fact that errors may be present in the specialized software performing spacecraft flight data preparation by means of an automated control system for mobile objects under surveillance means that it is necessary to solve the problem of taking into account all types of tests that the specialized software is subjected to during its development and verification over the course of inter-department trials based on the customer's validation options.There exist two known methods of taking prior information into account that are used in the Bayesian approach to solving problems in statistics.The first one comprises a complete account of prior information obtained during software testing.The second one involves continuous accounting for prior information depending on whether it is of any value in obtaining a general estimation of the software reliability indicator.The study suggests a new method of accounting for prior information and obtaining a guaranteed non-overstated estimation of the software reliability indicator.The problem solution uses a Bayesian approach with regression accounting for prior information.