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

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

doi:undefined

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

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

Полный текст:

Аннотация

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

Ключ. слова

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

УДК: 517.51+514.17

Об авторах

И. Б. Бурдонов

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

А. С. Косачев

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

Список литературы

1. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Формализация тестового эксперимента // Программирование. 2007. № 5.

2. Бурдонов И.Б. Теория конформности для функционального тестирования программных систем на основе формальных моделей: Дис. ... д-ра физ.-мат. наук. М., 2008. http://www.ispras.ru/ RedVerst/RedVerst/Publications/TR-01-2007.pdf

3. Бурдонов И.Б., Косачев А.С. Полное тестирование с открытым состоянием ограниченно недетерминированных систем // Программирование. 2009. № 6.

4. Bernot G. Testing against formal specifications: A theoretical view // S. Abramsky and T.S.E. Maibaum, editors, TAPSOFT'91. Lecture Notes in Computer Science 494, Springer-Verlag, 1991. Volume 2. P. 99-119.

5. van Glabbeek R.J. The linear time - branching time spectrum II; the semantics of sequential processes with silent moves. Proceedings CONCUR '93, Hildesheim, Germany, August 1993 (E. Best, ed.), LNCS 715, Springer-Verlag, 1993. P. 66-81.

6. Milner R. Lectures on a calculus for communicating systems. Seminar on Concurrency, LNCS 197, Springer-Verlag. P. 197-220.

7. Milner R.. Communication and Concurrency, Prentice-Hall International, Englewood Cliffs, 1989.

Дополнительные файлы

Для цитирования: Бурдонов И.Б., Косачев А.С. Безопасное тестирование симуляции систем с отказами и разрушением. Моделирование и анализ информационных систем. 2010;17(4):27-40.

For citation: Burdonov I.B., Kosachev A.S. Safe simulation testing of systems with refusals and destructions. Modeling and Analysis of Information Systems. 2010;17(4):27-40. (In Russ.)

Обратные ссылки

Обратные ссылки не определены.

Контент доступен под лицензией Creative Commons Attribution 4.0 License.

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

Логин
Пароль