Построение процесса тестирования в рамках верификации программного обеспечения бортовой авиационной системы высокого уровня критичности

Автор: Лагунков Олег Александрович, Ларин Кирилл Валентинович, Шишкин Вадим Викторинович

Журнал: Известия Самарского научного центра Российской академии наук @izvestiya-ssc

Статья в выпуске: 6-2 т.16, 2014 года.

Бесплатный доступ

В статье рассматривается процесс тестирования программного обеспечения для авиационного блока. Целью является автоматизация и оптимизация процессов, окружающих непосредственное тестирование - составление тест-планов, подготовку тестовых данных и оформление артефактов процесса. Предложены модели тестируемого проекта с точки зрения верификации и методы работы с ними.

Верификация, тестирование, модель проекта

Короткий адрес: https://sciup.org/148203569

IDR: 148203569

Список литературы Построение процесса тестирования в рамках верификации программного обеспечения бортовой авиационной системы высокого уровня критичности

  • Kondratiev S.A., Lagunkov O.A., Shishkin V.V. Automatic Test Cases Generation Method for Embedded Systems Software/S.A. Kondratiev, O.A. Lagunkov, V.V. Shishkin//International Congress on Information Technologies-2012 (ICIT-2012): Proceedings of Abstracts. -Saratov: SSTU, 2012.
  • КТ-178. Квалификационные требования. Требования к программному обеспечению бортовой аппаратуры и систем сертификации авиационной техники. -Межгосударственный авиационный комитет, Авиационный регистр, 1996.
  • LDRA Tool Suite, 2014. Retrieved July 14, 2014, URL: http://www.ldra.com/en/software-quality-test-tools/group/by-product-module/ldra-tool-suite
  • RTCA/DO-178B. Software considerations in airborne system and equipment certification -RTCAInc, 1992.
  • Шишкин, В.В. Автоматизированная система создания диагностического обеспечения комплексных систем электронной индикации и сигнализации летательных аппаратов/В.В. Шишкин, С.В. Черкашин//Датчики и системы. 2007. №12 (103). С. 39-42.
  • Шишкин В.В., Черкашин С.В. Автоматизация проектирования диагностического обеспечения и диагностирования авиационных бортовых информационных систем/В.В. Шишкин, С.В. Черкашин. -Ульяновск: УлГТУ, 2010. 210 с.
Еще
Статья научная