Методы создания тестовых наборов данных при сертификационных испытаниях комплексов программ контроля полетов
Loading...
Date
2001
Journal Title
Journal ISSN
Volume Title
Publisher
Вісник НАУ. – 2001. – №1. – С.126–132.
Abstract
Основным методом проверки ПО КП на соответствие требованиям является функциональное тестирование модулей каждого комплекса с использованием специальных тестовых наборов данных. Проблема заключается в правильном подборе стратегии и методов тестирования, а также в создании необходимых ТНД. Для решения этих задач проведен анализ существующих методов тестирования и технологий создания ТНД, с целью выбора оптимальных методов для каждого из программных комплексов КП с учетом их особенностей.
Description
Keywords
тестирование, сертификация, контроль полетов
Citation
Программное обеспечение контроля полетов допускается к эксплуатации на предприятиях гражданской авиации Украины на основании результатов государственных сертификационных испытаний [1]. Главной задачей сертификационных испытаний является проверка соответствия ПО КП требованиям, изложенным в нормативных документах [1], [2] и государственном стандарте [8]. Основными из этих требований являются следующие: решение перечня обязательных задач; точность воспроизведения зарегистрированной информации; достоверность результатов контроля по выявлению опасных отклонений в работе систем ВС и действиях экипажа; состав и форма представления входной и выходной информации. Основным методом проверки ПО КП на соответствие требованиям является функциональное тестирование модулей каждого комплекса с использованием специальных тестовых наборов данных. Проблема заключается в правильном подборе стратегии и методов тестирования, а также в создании необходимых ТНД. Для решения этих задач проведен анализ существующих методов тестирования и технологий создания ТНД, с целью выбора оптимальных методов для каждого из программных комплексов КП с учетом их особенностей