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.
Keywordsformal model model based testing complete testing simulation system with refusals and destructions
Unable to display preview. Download preview PDF.
- 2.Burdonov, I.B., Theory of Conformity for Functional Testing of Programming Systems Based on Formal Models, Doctoral (Phys.-Math.) Dissertation, Moscow, 2008, Available from: http://www.ispras.ru/redverst/publications/tr-01-2007.pdf
- 4.Bernot, G., Testing against Formal Specifications: A Theoretical View, Proc.4th Int. Joint Conf. on Theory and Practice of Software Development (TAPSOFT’91), Abramsky, S. and Maibaum, T.S.E., Eds., Brighton, 1991, vol. 2, pp. 99–119; Lect. Notes Comput. Sci., 1991, vol. 494, pp. 99–119.Google Scholar
- 5.van Glabbeek, R.J., The Linear Time—Branching Time Spectrum II. The Semantics of Sequential Processes with Silent Moves, Proc. 4th Int. Conf. on Concurrency Theory, (CONCUR’93), Best, E., Ed., Hildesheim, Germany, 1993; Lect. Notes Compt. Sci., 1993, vol. 715, pp. 66–81.Google Scholar