Automatic Control and Computer Sciences

, Volume 45, Issue 7, pp 380–389 | Cite as

Safe simulation testing of systems with refusals and destructions

  • I. B. Burdonov
  • A. S. Kosachev


This 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 for the case of (weak) simulation based on a relation between the specification and implementation states. The theory of the safe simulation of systems with refusals and destructions is proposed. The problems of complete testing and sufficient conditions for the existence of a complete test suite are discussed. A practical algorithm of complete testing for restricted classes of specifications and implementations is described.


formal model model based testing complete testing simulation system with refusals and destructions 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Burdonov, I.B., Kosachev, A.S., and Kulyamin, V.V., Formalization of Test Experiments, Program. Comput. Software 2007, vol. 33, no. 5, pp. 239–260.CrossRefMathSciNetGoogle Scholar
  2. 2.
    Burdonov, I.B., Theory of Conformity for Functional Testing of Programming Systems Based on Formal Models, Doctoral (Phys.-Math.) Dissertation, Moscow, 2008, Available from:
  3. 4.
    Bernot, G., Testing against Formal Specifications: A Theoretical View, Proc.4th Int. Joint Conf. on Theory and Practice of Software Development (TAPSOFT’91), Abramsky, S. and Maibaum, T.S.E., Eds., Brighton, 1991, vol. 2, pp. 99–119; Lect. Notes Comput. Sci., 1991, vol. 494, pp. 99–119.Google Scholar
  4. 5.
    van Glabbeek, R.J., The Linear Time—Branching Time Spectrum II. The Semantics of Sequential Processes with Silent Moves, Proc. 4th Int. Conf. on Concurrency Theory, (CONCUR’93), Best, E., Ed., Hildesheim, Germany, 1993; Lect. Notes Compt. Sci., 1993, vol. 715, pp. 66–81.Google Scholar
  5. 6.
    Milner, R., Lectures on a Calculus for Communicating Systems, Proc. Semin. on Concurrency, Lect. Notes Compt. Sci., 1986, vol. 197, pp. 197–220.MathSciNetGoogle Scholar
  6. 7.
    Milner, R., Communication and Concurrency, New York: Prentice-Hall, 1989.zbMATHGoogle Scholar

Copyright information

© Allerton Press, Inc. 2011

Authors and Affiliations

  1. 1.Institute for System ProgrammingRussian Academy of SciencesMoscowRussia

Personalised recommendations