Safe simulation testing of systems with refusals and destructions

• Main Authors: I. B. Burdonov, A. S. Kosachev
• Format: Article
• Language: English
• Published: Yaroslavl State University 2010-12-01
• Series: Modelirovanie i Analiz Informacionnyh Sistem
• Subjects: formal model; model based testing; complete testing; simulation; system with refusals and distructions
• Online Access: https://www.mais-journal.ru/jour/article/view/1049

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.