An object state test model: object state diagram

  • Authors:

  • Jerry Zeyu Gao;David Kung;Pei Hsia

  • Affiliations:

  • The Department of Computer Science Engineering, The University of Texas at Arlington, P.O. Box 19015, Arlington, TX;The Department of Computer Science Engineering, The University of Texas at Arlington, P.O. Box 19015, Arlington, TX;The Department of Computer Science Engineering, The University of Texas at Arlington, P.O. Box 19015, Arlington, TX

  • Venue:
  • CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
  • Year:
  • 1995

Quantified Score

Hi-index 0.01

Visualization

Abstract

Since class objects are the major components in object-oriented (oo) programs during run-time, specifying and testing the behavior of these objects become important tasks in testing of object-oriented programs to complement other types of testing, such as structure-testing and functional testing. To check the behavior of objects in oo programs, an object state model is needed to represent the dynamic behavior of a complex object. This paper proposes a specification-based test model, called object state diagram (OSD), to capture and represent behavior of each class data attribute as well as its state behavior for the inherited attributes and/or encapsulated concurrent objects. The model is an extension of the existing state models, it supports basic oo features, such as class objects, inheritance, aggregation and overloading. The detailed discussion about the object state constructions based on a class specification and operation specifications are provided. In addition, the OSD applications in testing of object-oriented programs are addressed.