|
Методология мутационного тестирования для наземных испытаний бортовой аппаратуры космических аппаратов
Д. А. Недорезовa, А. И. Легаловa, О. В. Непомнящийa, С. С. Красненкоa, А. В. Анкудиновb a Сибирский федеральный университет, Красноярск
b ОАО «Информационные спутниковые системы им. академика М. Ф. Решетнева», Железногорск
Аннотация:
Рассматриваются методы повышения эффективности формирования тестов, используемых при проведении наземных испытаний бортовой аппаратуры космических аппаратов. Предложен подход, позволяющий применять мутационное тестирование для аппаратно-программных средств, разрабатываемых на основе динамически реконфигурируемых интегральных схем. Рассмотрены два способа моделирования аппаратных мутаций для тестирования. Первый подход основан на классическом использовании средств автоматизации моделирования электронных приборов (EDA — electronic design automation) с автоматическим формированием пакетов тестов. Второй способ использования мутационного тестирования может опираться на применение динамически реконфигурируемых архитектур в аппаратной части проектируемого устройства в сочетании с программными средствами, имитирующими логику работы реального объекта испытаний. Описаны особенности создания аппаратной и программной составляющих тестовых комплексов, разрабатываемых на основе предлагаемой методики. Определены основные пути развития предлагаемого подхода.
Ключевые слова:
мутационное тестирование; языки описания аппаратуры; наземные испытания; аппаратура; комплекс.
Поступила в редакцию: 22.04.2013
Образец цитирования:
Д. А. Недорезов, А. И. Легалов, О. В. Непомнящий, С. С. Красненко, А. В. Анкудинов, “Методология мутационного тестирования для наземных испытаний бортовой аппаратуры космических аппаратов”, Системы и средства информ., 24:1 (2014), 73–79
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ssi329 https://www.mathnet.ru/rus/ssi/v24/i1/p73
|
Статистика просмотров: |
Страница аннотации: | 225 | PDF полного текста: | 96 | Список литературы: | 33 |
|