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.Статья посвящена тестированию соответствия (конформности) реализации требованиям спецификации. Идея безопасного тестирования предложена авторами для конформности, основанной на трассах наблюдений. Эта идея распространяется на случай (слабой) симуляции, основанной на соответствии состояний реализации и спецификации. Предлагается теория безопасной симуляции для систем с отказами и разрушением. Обсуждаются вопросы полноты тестирования и достаточные условия существования полного набора тестов. Предлагается алгоритм полного тестирования для практического применения, опирающийся на некоторые ограничения на реализацию и спецификацию
