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


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

Авторы

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

Аннотация

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

Полный текст статьи в формате pdf

Ключевые слова

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

Издание

Моделирование и анализ информационных систем, Том 17, Номер 4, 2010. стр. 27—40.

Научная группа

Технологии программирования

Все публикации за 2010 год Все публикации