Программное обеспечение — наиболее сложный компонент автоматизированной системы подготовки данных управления летательными аппаратами. Вероятной причиной прерывания процесса подготовки данных является наличие ошибок в программном обеспечении, для устранения которых может потребоваться продолжительное время. Заблаговременное устранение этих ошибок представляет собой исключительно важную задачу. Степень устранения ошибок определяется значением показателя надежности. Проблема оценки показателя надежности программного обеспечения до настоящего времени актуальна, поскольку общепринятой методики оценки этого показателя не существует. На основании результатов анализа существующих моделей надежности программного обеспечения показано, что ни одна из них не может быть использована для оценки показателя надежности программного обеспечения автоматизированной системы подготовки данных. Приведено доказательство корректности использования методов теории вероятностей для оценки рассматриваемого показателя. Доказана теорема о том, что между множеством вариантов входных данных и множеством вычислительных траекторий существует биекция (взаимно однозначное соответствие). Из теоремы следует возможность применения метода теории вероятностей при геометрической интерпретации вероятности появления события (ошибки) для оценки показателя надежности программного обеспечения. Использование этого метода является корректным, но требует бесконечных временных ресурсов, что делает его непригодным для практического применения.
Предложен принципиально иной метод оценки показателя надежности программного обеспечения, при использовании которого необходимо иметь документальное свидетельство уровня покрытия тестовыми вариантами всей области входных данных из допустимой области. Достоинство предлагаемого метода заключается в том, что он не требует каких-либо предположений, а исходные данные для оценки показателя надежности программного обеспечения имеют ясный физический смысл и могут быть получены на практике.