Безопасное тестирование симуляции систем с отказами и разрушением
Аннотация
Ключевые слова
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.)