Safe Simulation Testing of Systems
with Refusals and Destructions

I. B. Burdonov and A. S. Kosachev

Institute for System Programming, Russian Academy of Sciences, Moscow, 109004 Russia

e-mail: igor@ispras.ru, kos@ispras.ru

Received October 13, 2010

Abstract—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 prob-
lems 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.

Keywords: formal model, model based testing, complete testing, simulation, system with refusals and
destructions

DOI: 10.3103/S0146411611070042

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.