Safe simulation testing of systems with refusals and destructions
Abstract
The paper deals with conformance testing based on formal specications. The con-
cept of safe testing was earlier proposed by the authors for trace based conformance.
This concept is propagated on the case of (weak) simulation based on a relation between
specication and implementation states. The theory of safe simulation of systems with
refusals and destructions is proposed. The problems of complete testing and sucient
conditions for the existense of complete test suite are discussed. The practical algo-
rithm of complete testing for restricted classes of specications and implementations is
described.
cept of safe testing was earlier proposed by the authors for trace based conformance.
This concept is propagated on the case of (weak) simulation based on a relation between
specication and implementation states. The theory of safe simulation of systems with
refusals and destructions is proposed. The problems of complete testing and sucient
conditions for the existense of complete test suite are discussed. The practical algo-
rithm of complete testing for restricted classes of specications and implementations is
described.
Keywords
formal model,
model based testing,
complete testing,
simulation,
system with refusals and distructions
MSC2020: 517.51+514.17
About the Authors
I. B. Burdonov
Институт системного программирования РАН
Russian Federation
Russian Federation
A. S. Kosachev
Институт системного программирования РАН
Russian Federation
Russian Federation
References
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.
Review
For citations:
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.)
Views:
558
Email this article 