Инженерный журнал: наука и инновацииЭЛЕКТРОННОЕ НАУЧНО-ТЕХНИЧЕСКОЕ ИЗДАНИЕ
свидетельство о регистрации СМИ Эл № ФС77-53688 от 17 апреля 2013 г. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский
Статья

Метод оценки показателя надежности программного обеспечения автоматизированной системы подготовки данных управления летательными аппаратами

Опубликовано: 06.06.2018

Авторы: Андреев А.Г., Казаков Г.В., Корянов Вс.Вл.

Опубликовано в выпуске: #6(78)/2018

DOI: 10.18698/2308-6033-2018-6-1771

Раздел: Авиационная и ракетно-космическая техника | Рубрика: Динамика, баллистика, управление движением летательных аппаратов

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


Литература
[1] Подловченко Р.И. Иерархия моделей программ. Программирование, 1981, № 2, с. 3–14.
[2] Летичевский А.А. Функциональная эквивалентность дискретных преобразований информации. Кибернетика, 1969, № 2, с. 5–16.
[3] Евстигнеев В.А. Применение теории графов в программировании. Москва, Наука, 1985, 352 с.
[4] Майерс Г. Надежность программного обеспечения. Москва, Мир, 1980, 360 с.
[5] Jelinski Z., Moranda P.B. Software Reliability Research. Statistical Computer Performance Evaluation. New York, Academic Press, 1972, pp. 465–484.
[6] Характеристики качества программного обеспечения. Москва, Мир, 1981, 208 с.
[7] Казаков Г.В. Критерии анализа связанных выборок при испытаниях программного обеспечения АСУ. Двойные технологии, 2014, № 3, с. 59–63.
[8] Mills H.D. On the Statistical Validation of Computer Programs, FSC-72-6015. IBM Federal Systems Division. Gaithersburg, Maryland, 1972.
[9] Холстед М.Х. Начала науки о программах. Москва, Финансы и статистика, 1981, 128 с.
[10] ГОСТ Р ИСО/МЭК 9126–93. Информационная технология. Оценка программной продукции. Характеристики качества и руководства по их применению. Москва, Госстандарт России, 2004, 9 с.
[11] ГОСТ Р ИСО/МЭК 15408–3–2013. Информационная технология. Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий. Часть 3. Компоненты доверия к безопасности. Москва, Стандартинформ, 2014, 267 с.
[12] ГОСТ 28195–89. Оценка качества программных средств. Общие положения. Москва, Издательство стандартов, 2001, 30 с.
[13] Галактионов В.С., Знак В.А., Знак Н.Е., Казаков Г.В., Котяшев Н.Н., Сидоров А.В. О принципах испытания программного обеспечения АСУ двойного назначения с гибкими показателями эффективности. Стратегическая стабильность, 2009, № 3, с. 59–66.
[14] Казаков Г.В., Знак В.А., Данилин С.Б. Об одном подходе к формированию рационального множества тестовых вариантов на основе метода факторного анализа. Труды МИТ, 2015, т. 15, ч. 1, с. 114–119.
[15] Казаков Г.В. Метод оценки показателя надежности специального программного обеспечения комплексов средств подготовки данных по результатам испытаний на этапе разработки. Труды МИТ, 2015, т. 15, ч. 1, с. 102–113.
[16] Бордюков М.М., Галактионов В.С., Знак В.А., Знак Н.Е., Казаков Г.В., Сидоров А.В. Гарантированное оценивание конечного фазового состояния управляемых систем на заданном множестве достижимости. Двойные технологии, 2009, № 4, с. 34–38.