Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Safe simulation testing of systems with refusals and destructions

Safe simulation testing of systems with refusals and destructions This 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 for the case of (weak) simulation based on a relation between the specification and implementation states. The theory of the safe simulation of systems with refusals and destructions is proposed. The problems of complete testing and sufficient conditions for the existence of a complete test suite are discussed. A practical algorithm of complete testing for restricted classes of specifications and implementations is described. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Automatic Control and Computer Sciences Springer Journals

Safe simulation testing of systems with refusals and destructions

Download PDF
10 pages

Loading next page...
 
/lp/springer-journals/safe-simulation-testing-of-systems-with-refusals-and-destructions-K00u5ki0AQ
Publisher
Springer Journals
Copyright
Copyright © 2011 by Allerton Press, Inc.
Subject
Computer Science; Control Structures and Microprogramming
ISSN
0146-4116
eISSN
1558-108X
DOI
10.3103/S0146411611070042
Publisher site
See Article on Publisher Site

Abstract

This 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 for the case of (weak) simulation based on a relation between the specification and implementation states. The theory of the safe simulation of systems with refusals and destructions is proposed. The problems of complete testing and sufficient conditions for the existence of a complete test suite are discussed. A practical algorithm of complete testing for restricted classes of specifications and implementations is described.

Journal

Automatic Control and Computer Sciences – Springer Journals

Published: Jan 6, 2012

References

  • Formalization of Test Experiments
    Burdonov, I.B.; Kosachev, A.S.; Kulyamin, V.V.
  • Lectures on a Calculus for Communicating Systems
    Milner, R.
  • Communication and Concurrency
    Milner, R.