Conformance testing based on a state relation.
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.
Proceedings of the Institute for System Programming, vol. 18, 2010, pp. 183-220.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).Full text of the paper in pdf (in Russian) Back to the contents of the volume