Geodesic
Safe simulation testing of systems with refusals and destructions
Modelirovanie i analiz informacionnyh sistem, Tome 17 (2010) no. 4, pp. 27-40.

Voir la notice de l'article provenant de la source Math-Net.Ru

The paper deals with conformance testing based on formal specifications. The concept 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 specification and implementation states. The theory of safe simulation of systems with refusals and destructions is proposed. The problems of complete testing and sufficient conditions for the existense of complete test suite are discussed. The practical algorithm of complete testing for restricted classes of specifications and implementations is described.
Keywords: formal model, model based testing, complete testing, system with refusals and distructions.
Mots-clés : simulation 
@article{MAIS_2010_17_4_a3,
     author = {I. B. Burdonov and A. S. Kosachev},
     title = {Safe simulation testing of systems with refusals and destructions},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {27--40},
     publisher = {mathdoc},
     volume = {17},
     number = {4},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a3/}
}
TY  - JOUR
AU  - I. B. Burdonov
AU  - A. S. Kosachev
TI  - Safe simulation testing of systems with refusals and destructions
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2010
SP  - 27
EP  - 40
VL  - 17
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a3/
LA  - ru
ID  - MAIS_2010_17_4_a3
ER  - 
%0 Journal Article
%A I. B. Burdonov
%A A. S. Kosachev
%T Safe simulation testing of systems with refusals and destructions
%J Modelirovanie i analiz informacionnyh sistem
%D 2010
%P 27-40
%V 17
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a3/
%G ru
%F MAIS_2010_17_4_a3
I. B. Burdonov; A. S. Kosachev. Safe simulation testing of systems with refusals and destructions. Modelirovanie i analiz informacionnyh sistem, Tome 17 (2010) no. 4, pp. 27-40. http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a3/

[1] I. B. Burdonov, A. S. Kosachev, V. V. Kulyamin , “Formalizatsiya testovogo eksperimenta”, Programmirovanie, 2007, no. 5, 3–32 | MR

[2] I. B. Burdonov, Teoriya konformnosti dlya funktsionalnogo testirovaniya programmnykh sistem na osnove formalnykh modelei, Dis. ... d-ra fiz.-mat. nauk, M., 2008 http://www.ispras.ru/~RedVerst/RedVerst/Publications/TR-01-2007.pdf

[3] I. B. Burdonov, A. S. Kosachev , “Polnoe testirovanie s otkrytym sostoyaniem ogranichenno nedeterminirovannykh sistem”, Programmirovanie, 2009, no. 6, 3–18 | MR

[4] G. Bernot , “Testing against formal specifications: A theoretical view”, TAPSOFT'91, Lecture Notes in Computer Science, 494, eds. S. Abramsky and T. S. E. Maibaum, Springer-Verlag, 1991, 99–119

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

[6] R. Milner, “Lectures on a calculus for communicating systems”, Seminar on Concurrency, LNCS, 197, Springer-Verlag, 197–220 | MR

[7] R. Milner, Communication and Concurrency, Prentice-Hall International, Englewood Cliffs, 1989 | Zbl