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

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

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



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






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


Модел. и анализ информ. систем, 2010, том 17, номер 4, страницы 27–40 (Mi mais33)  

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

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

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

Институт системного программирования РАН

Аннотация: Статья посвящена тестированию соответствия (конформности) реализации требованиям спецификации. Идея безопасного тестирования предложена авторами для конформности, основанной на трассах наблюдений. Эта идея распространяется на случай (слабой) симуляции, основанной на соответствии состояний реализации и спецификации. Предлагается теория безопасной симуляции для систем с отказами и разрушением. Обсуждаются вопросы полноты тестирования и достаточные условия существования полного набора тестов. Предлагается алгоритм полного тестирования для практического применения, опирающийся на некоторые ограничения на реализацию и спецификацию.

Ключевые слова: формальные модели, тестирование по формальным моделям, полное тестирование, симуляция, системы с отказами и разрушением

Полный текст: PDF файл (778 kB)
Список литературы: PDF файл   HTML файл

Тип публикации: Статья
УДК: 517.51+514.17
Поступила в редакцию: 13.10.2010

Образец цитирования: И. Б. Бурдонов, А. С. Косачев, “Безопасное тестирование симуляции систем с отказами и разрушением”, Модел. и анализ информ. систем, 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}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais33
  • http://mi.mathnet.ru/rus/mais/v17/i4/p27

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. И. Б. Бурдонов, А. С. Косачев, “Тестирование системы автоматов с буферизацией сообщений”, Труды ИСП РАН, 28:1 (2016), 103–130  mathnet  crossref  elib
    2. И. Б. Бурдонов, А. С. Косачев, “Система автоматов: условия детерминизма и тестирование”, Труды ИСП РАН, 28:1 (2016), 151–184  mathnet  crossref  elib
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:124
    Полный текст:42
    Литература:15

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018