Conformance testing based on a state relation

Abstract

The paper is concerned with conformance testing, which checks conformance relation between behavior of some software or hardware system and its requirements specification. Safe testing approach suggested by authors for refusal trace-based conformance is applied to weak simulation conformance, which uses some relation between states of specification and implementation models. The article presents the theory of safe simulation conformance and its testing. We suggest a general algorithm of complete testing and its more practical modification applicable to restricted classes of specifications and implementations.

Keywords

• <i>тестирование соответствия (конформности) реализации требованиям спецификации</i>
• <i>безопасное тестирование</i>