Testing for a conformance relation based on acceptance

  • Ming Yu Yao
  • Gregor v. Bochmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 668)


Although the object-oriented paradigm has been gaining wide popularity in recent years, little work has been done on how to test objectoriented software systems. We believe that many special programming features found in the object-oriented paradigm will also play important roles during the testing phase. In this paper, we propose a conformance testing method for object-oriented software systems. The conformance relation that can be tested by this method is based on a modified version of the acceptance tree model and takes into account the special requirements imposed by the inheritance mechanism — which we believe is the most important feature provided by the object-oriented paradigm. The proposed method allows us to test, under certain assumptions, whether an object instance implementation conforms to a given class specification by applying to the implementation the test cases derived from the given class specification.


  1. 1.
    S. Abramsky: Observation equivalence as a testing equivalence, Theoretical Computer Science 53 (1987) 225–241.CrossRefGoogle Scholar
  2. 2.
    A special issue on object-oriented design, Communication of the ACM 33 (9) (1990)Google Scholar
  3. 3.
    G. v. Bochmann and R. Gotzein: Specialization of object behaviors and requirement specifications, Technical Report (Draft) Département d'informatique et de recherche opérationelle, Université de Montréal (1992).Google Scholar
  4. 4.
    G. v. Bochmann: On the specialization of object behaviors, in J.Palsberg & M.I.Schwartzbach (eds.), Types, Inheritance and Assignments, a collection of position papers from the ECOOP'91 workshop W5, Geneva, Switzerland (July 1991).Google Scholar
  5. 5.
    E. Brinksma, et al: Lotos specification, their implementation and their tests, in B. Sarakaya and G. v. Bochmann (eds.), Protocol Specification, Testing, and Verification VI, North Holland, Amsterdam (1987) 349–360.Google Scholar
  6. 6.
    E. Brinksma: A theory for the derivation of tests, in S. Aggarwal (ed.), Protocol Specification, Testing, and Verification VIII, North Holland, Amsterdam (1988) 63–74.Google Scholar
  7. 7.
    E. Brinksma: A formal approach to testing distributed systems, draft version.Google Scholar
  8. 8.
    S. Fujiwara and G.v. Bochmann: Testing non-deterministic finite state machines with fault coverage, Proc. 4th International Workshop on Protocol Test Systems, Leidschendam, the Netherlands (October 15–17, 1991).Google Scholar
  9. 9.
    M. Hennessy: Acceptance trees, J. ACM 32 (4) (1985) 896–928.CrossRefGoogle Scholar
  10. 10.
    M. Hennessy: Algebraic theory of processes, The MIT Press (1988).Google Scholar
  11. 11.
    ISO/DIS/8807, LOTOS — A formal description technique based on the temporal ordering of observational behavior, (1987).Google Scholar
  12. 12.
    R. Langerak: A testing theory for LOTOS using deadlock detection, in E. Brinksma, G. Scollo and C. A. Vissers (eds.), Protocol Specification, Testing, and Verification IX, North Holland, Amsterdam (1990) 87–98.Google Scholar
  13. 13.
    K. G. Larsen and A. Skou: Bisimulation through probabilistic testing, R88-29, Department of Math, and Compt. Sci., Aalborg University Center (1988).Google Scholar
  14. 14.
    E. H. Htite: Génération de tests pour le service de communication personnalisé, Mémoire de maîtrise ès sciences (M.Sc), Département d'informatique et de recherche opérationelle, Université de Montréal, 1992.Google Scholar
  15. 15.
    F. Kendek and G.v. Bochmann: Merging Specification Behaviors, submitted for publication, 1992.Google Scholar
  16. 16.
    M. Yao, A. Petrenko and G.v. Bochmann: Conformance Testing of Protocol Machines without Reset, submitted for publication, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Ming Yu Yao
    • 1
  • Gregor v. Bochmann
    • 1
  1. 1.Département d'informatique et de recherche opérationnelleUniversité de MontréalMontréalCanada

Personalised recommendations