Безопасное тестирование симуляции систем с отказами и разрушением
Аннотация
Статья посвящена тестированию соответствия (конформности) реализации требованиям спецификации. Идея безопасного тестирования предложена авторами для конформности, основанной на трассах наблюдений. Эта идея распространяется на случай (слабой) симуляции, основанной на соответствии состояний реализации и спецификации. Предлагается теория безопасной симуляции для систем с отказами и разрушением. Обсуждаются вопросы полноты тестирования и достаточные условия существования полного набора тестов. Предлагается алгоритм полного тестирования для практического применения, опирающийся на некоторые ограничения на реализацию и спецификацию.
Ключевые слова
формальные модели,
тестирование по формальным моделям,
полное тестирование,
симуляция,
системы с отказами и разрушением
MSC2020: 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.)
Просмотров: 263
Послать статью по эл. почте 