Safe simulation testing of systems with refusals and destructions

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.