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

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

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


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




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

Моделирование и анализ информационных систем, 2010, том 17, номер 4, страницы 27–40 (Mi mais33)  
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Безопасное тестирование симуляции систем с отказами и разрушением

И. Б. Бурдонов, А. С. Косачев

Институт системного программирования РАН
PDF полного текста (778 kB) Список цитирования (2)
Список литературы:
PDF
HTML
Аннотация: Статья посвящена тестированию соответствия (конформности) реализации требованиям спецификации. Идея безопасного тестирования предложена авторами для конформности, основанной на трассах наблюдений. Эта идея распространяется на случай (слабой) симуляции, основанной на соответствии состояний реализации и спецификации. Предлагается теория безопасной симуляции для систем с отказами и разрушением. Обсуждаются вопросы полноты тестирования и достаточные условия существования полного набора тестов. Предлагается алгоритм полного тестирования для практического применения, опирающийся на некоторые ограничения на реализацию и спецификацию.
Ключевые слова: формальные модели, тестирование по формальным моделям, полное тестирование, симуляция, системы с отказами и разрушением.
Поступила в редакцию: 13.10.2010
Тип публикации: Статья
УДК: 517.51+514.17
Образец цитирования: И. Б. Бурдонов, А. С. Косачев, “Безопасное тестирование симуляции систем с отказами и разрушением”, Модел. и анализ информ. систем, 17:4 (2010), 27–40
Цитирование в формате AMSBIB
\RBibitem{BurKos10}
\by И.~Б.~Бурдонов, А.~С.~Косачев
\paper Безопасное тестирование симуляции систем с отказами и разрушением
\jour Модел. и анализ информ. систем
\yr 2010
\vol 17
\issue 4
\pages 27--40
\mathnet{http://mi.mathnet.ru/mais33}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mais33
  • https://www.mathnet.ru/rus/mais/v17/i4/p27
    • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Моделирование и анализ информационных систем
    Статистика просмотров:
    Страница аннотации:290
    PDF полного текста:166
    Список литературы:33
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024