ISSN 1991-2927
 

АПУ № 4 (54) 2018

Автор: "Хисамов Ренат Наилевич"

УДК 681.518:658.562


Киселев Сергей Константинович, Ульяновский государственный технический университет, доктор технических наук, начальник Управления информатизации УлГТУ, профессор кафедры «Измерительно-вычислительные комплексы» УлГТУ. Закончил Ульяновский политехнический институт по специальности «Авиаприборостроение». Область научных интересов - разработка методов, моделей, алгоритмов, оборудования для автоматизации производства, диагностики, тестирования авиационных приборов, организация НИР и ОКР. Имеет монографии, большое число статей и патентов в области приборостроения. [e-mail: ksk@ulstu.ru]С.К. Киселев,

Хисамов Ренат Наилевич, Ульяновский государственный технический университет, магистрант Ульяновского государственного технического университета. Имеет степень специалиста по направлению «Приборостроение», инженер-методист ЗАО ЦНТУ «Динамика». Область научных интересов - автоматизация диагностики и тестирования авиационного оборудования, разработка методов предоставления информации. [e-mail: rens89@mail.ru]Р.Н. Хисамов

Формализация и математическое моделирование требований к системам авионики для автоматизации разработки тестов35_12.pdf

В статье рассматриваются вопросы автоматизации разработки тестов для систем авионики. Автоматизацию разработки тестов предлагается проводить на основе формализации и моделирования требований к ним. Использование в изделии готовых модулей «Off-the-shelf» ускоряет процесс проектирования, но накладывает более жесткие требования к разработке и управлению требованиями на изделие, которые служат основой для планирования, управления, приемочного тестирования, корректировки изделия. На классической V-модели формирования требований при реализации сложного проекта показано, что требования тесно связаны с тестированием, которое направлено на выявление и предотвращение дефектов в системе, при этом дефект рассматривается как отклонение от требований. Приведен пример формализации и моделирования требований по отображению кадра пилотажной информации в комплексной системе электронной индикации и сигнализации. Исходя из полученной модели и формального представления требований составлена структура конечного теста для системы. Предложенный подход позволяет сократить время на тестирование и отладку системы, повысить ее качество в смысле большего соответствия требованиям.

Моделирование, системные требования, тестирование, формализация, программа функционирования.

2014_ 1

Рубрика: Информационные системы

Тематика: Информационные системы, Системы автоматизации проектирования , Архитектура корабельных систем .


© ФНПЦ АО "НПО "Марс", 2009-2018 Работает на Joomla!