Системы и средства информатики
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Системы и средства информ.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Системы и средства информатики, 2014, том 24, выпуск 1, страницы 73–79
DOI: https://doi.org/10.14357/08696527140104 (Mi ssi329) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Методология мутационного тестирования для наземных испытаний бортовой аппаратуры космических аппаратов

Д. А. Недорезовa, А. И. Легаловa, О. В. Непомнящийa, С. С. Красненкоa, А. В. Анкудиновb

a Сибирский федеральный университет, Красноярск
b ОАО «Информационные спутниковые системы им. академика М. Ф. Решетнева», Железногорск
PDF полного текста (171 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.14357/08696527140104
Аннотация: Рассматриваются методы повышения эффективности формирования тестов, используемых при проведении наземных испытаний бортовой аппаратуры космических аппаратов. Предложен подход, позволяющий применять мутационное тестирование для аппаратно-программных средств, разрабатываемых на основе динамически реконфигурируемых интегральных схем. Рассмотрены два способа моделирования аппаратных мутаций для тестирования. Первый подход основан на классическом использовании средств автоматизации моделирования электронных приборов (EDA — electronic design automation) с автоматическим формированием пакетов тестов. Второй способ использования мутационного тестирования может опираться на применение динамически реконфигурируемых архитектур в аппаратной части проектируемого устройства в сочетании с программными средствами, имитирующими логику работы реального объекта испытаний. Описаны особенности создания аппаратной и программной составляющих тестовых комплексов, разрабатываемых на основе предлагаемой методики. Определены основные пути развития предлагаемого подхода.
Ключевые слова: мутационное тестирование; языки описания аппаратуры; наземные испытания; аппаратура; комплекс.
Поступила в редакцию: 22.04.2013
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: Д. А. Недорезов, А. И. Легалов, О. В. Непомнящий, С. С. Красненко, А. В. Анкудинов, “Методология мутационного тестирования для наземных испытаний бортовой аппаратуры космических аппаратов”, Системы и средства информ., 24:1 (2014), 73–79
Цитирование в формате AMSBIB
\RBibitem{NedLegNep14}
\by Д.~А.~Недорезов, А.~И.~Легалов, О.~В.~Непомнящий, С.~С.~Красненко, А.~В.~Анкудинов
\paper Методология мутационного тестирования для~наземных испытаний бортовой аппаратуры космических аппаратов
\jour Системы и средства информ.
\yr 2014
\vol 24
\issue 1
\pages 73--79
\mathnet{http://mi.mathnet.ru/ssi329}
\crossref{https://doi.org/10.14357/08696527140104}
\elib{https://elibrary.ru/item.asp?id=21811507}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ssi329
  • https://www.mathnet.ru/rus/ssi/v24/i1/p73
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Системы и средства информатики
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025