Статья

Название статьи АНАЛИЗ ОСНОВНЫХ ПРОЦЕССОВ ОБЕСПЕЧЕНИЯ НАДЁЖНОСТИ ПРОГРАММНЫХ СРЕДСТВ АСУ СПЕЦИАЛЬНОГО НАЗНАЧЕНИЯ
Автор В.А. Балыбердин, А.М. Белевцев, О.А. Степанов
Рубрика РАЗДЕЛ I. АРХИТЕКТУРЫ, МОДЕЛИ И СРЕДСТВА ИНФОРМАЦИОННЫХ СИСТЕМ
Месяц, год 03, 2015
Индекс УДК 681.142
DOI
Аннотация Анализируются базовые процессы и процедуры обеспечения надёжности программных средств (ПС), являющиеся предметом обсуждения при подготовке и формировании современных стандартов в области качества ПС. Целью анализа является акцентирование усилий разработчиков на основных процессах обеспечения надёжности ПС с учетом их вклада в повышение общей надёжности создаваемых ПС как важного компонента специа-лизированных АСУ. Отмечается, что особенно большие затраты и сложности устранения связаны с ошибками, обнаруживаемыми в процессе эксплуатации ПС. Отсюда вытекает важная задача проверки корректности ПС непосредственно в процессе его создания. Такая проверка должна проводиться на всех этапах создания ПС. Приводится и обсуждается общая схема и содержательная структура рассматриваемых процессов оценки и обеспечения качества (надёжности) ПС. Значительное внимание уделяется вопросам организации и проведения динамического тестирования ПС, включая тестирование на базе спецификаций (стратегия «черного ящика») и тестирование на базе структуры ПС (стратегия «белого ящика»). Кратко анализируются различные способы организации тестирования для каждой из рассматриваемых стратегий. Отмечаются их основные достоинства и недостатки. Приводятся рекомендации по их применению в интересах повышения надёжности ПС АСУ специального назначения. При рассмотрении процессов демонстрации ПС выделяется ряд подпроцессов, заключающихся в исследовании прототипа ПС, версии ПС для пользователя и пробной версии ПС. Приводится вербальная характеристика каждого из этих подпроцессов. Различия между этими подпроцессами заключаются в степени реализации задаваемых требований к ПС. Приводятся рекомендации по использованию рассмотренных процедур для повышения надёжности ПС. В выводах работы отмечается, что при практической организации работ по созданию высоконадёжных ПС особое внимание следует обращать на внедрение методов и способов обеспечения надёжности ПС на ранних этапах создания ПС, поскольку стоимость последующего исправления допущенных на этих этапах ошибок в ПС существенно возрастает.

Скачать в PDF

Ключевые слова Программные средства; надёжность; тестирование; верификация; валидация.
Библиографический список 1. Балыбердин В.А., Белевцев А.М., Степанов О.А. Вопросы оценки и обеспечения надёжности программных средств АСУ специального назначения // Известия ЮФУ. Технические науки. – 2014. – № 5 (154). – С. 115-120.
2. Кулямин В.В. Методы верификации программного обеспечения. – М.: ИСП РАН, 2008. – 117 с.
3. Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения. – М.: МИФИ (ГУ), 2006. – 157 с.
4. Степанченко И.В. Методы тестирования программного обеспечения. – Волгоград: РПК «Политехник», 2006. – 77 с.
5. Майерс Г. Искусство тестирования программ: Пер. с англ. / Под ред. Б.А. Позина. – М.: Финансы и статистика, 1982. – 176 с.
6. Майерс Г. Надёжность программного обеспечения: Пер. с англ. / Под ред. В.Ш. Кауфмана. – М.: Мир, 1980. –360 с.
7. ISO/IEC 29119-1. Systems and Software Engineering. – Part 1: Concepts and Definitions. – 2012.
8. ISO/IEC 25010. Systems and Software Engineering. – Systems and Software Quality Requirements and Evaluation. – 2010.
9. Липаев В.В. Надёжность программных средств. – М.: Синтег, 1998. – 222 с.
10. Полонников Р.И., Никандров А.В. Методы оценки показателей надёжности программного обеспечения. – СПб.: Политехника, 1992. – 78 с.
11. Штрик А.А., Осовецкий Л.В., Мессих И.Г. Структурное проектирование надёжных программ встроенных ЭВМ. – Л.: Машиностроение, 1989. – 296 с.
12. Холстед М.Х. Начала науки о программах: Пер. с англ. В.М. Юфы. – М.: Финансы и статистика, 1981. – 128 с.
13. Липаев В.В. Процессы и стандарты жизненного цикла сложных программных средств. Справочник. – М.: Синтег, 2006. – 260 с.
14. Василенко Н.В., Макаров В.А. Модели оценки надёжности программного обеспечения // Вестник Новгородского государственного университета. – 2004. – № 28. – C. 126-132.
15. Степанов О.А., Шумило Д.А. Метод оценки программных средств АСУВ по результатам тестирования // Материалы всероссийской конференции «Современные тенденции развития теории и практики управления в системах специального назначения». – М.: Системпром, 2014. – С. 11-14.
16. Балыбердин В.А., Белевцев А.А., Степанов О.А. Об оценке компонентов информационного и лингвистического обеспечения АСУ // Известия ЮФУ, Технические науки. – 2013. – № 5 (142). – С. 34-40.
17. Балыбердин В.А., Степанов О.А. Шумило Д.А. К оценке надёжности программных средств АСУВ // Актуальные проблемы защиты и безопасности // Труды 14-й Всероссийской научно-практической конференции. Вооружение и военная техника. Т. 1.
– СПб., 2011. – С. 603-608.
18. Балыбердин В.А., Пенкин О.М., Полунин А.И. Проблемные вопросы создания и внедрения новых информационных технологий в автоматизированных системах военного назначения. – М.: СВТП РИА, 2001. – 144 с.
19. Балыбердин В.А., Зубарев И.В., Панов В.В., Степанов О.А. Прикладные аспекты автоматизации управления войсками и оружием в современных условиях. – М.: 3 ЦНИИ МО РФ, 2013. – 240 с.
20. Липаев В.В. Надёжность и функциональная безопасность комплексов программ реального времени. – М.: ИСП РАН, 2013. – 176 с. 21. Липаев В.В. Функциональная безопасность программных средств. – М.: СИНТЕГ, 2004. – 348 с.
22. Жоголев Е.А. Технология программирования. – М.: Научный мир, 2004. – 216 с.
23. Kauffels F.-J. Practical LANs analised. – N.Y.-Toronto: Ellis Horwood Limited, 1989. – 334 p.
24. Gorner birgit. Novell Netware. – Munchen: Markt&Technic AG, 1990. – 260 p.

Comments are closed.