В работе рассматривается проблема расчета вероятности отказа программного обеспечения в рамках проблемы обеспечения надежности систем управления. В качестве решения проблемы предлагается смена вычислительной парадигмы от классической машины Тьюринга к квантовым программам. Квантовые программы физически основаны на вероятностных принципах, что позволяет интуитивно ввести понятие статистический вероятности отказа программы. Рассмотрены некоторые типы ошибок в квантовой программе и их влияние на вероятность ее отказа, приведены формулы позволяющие оценить вероятность отказа при ограничениях на степень искажения программы. Рассмотрен пример квантовой программы.