On object state testing

Abstract

ZRe importance of 06ject state twting ir illwtroted thmugh a simple ctampb. We ahow that certain e w r s in the implementation of object date bebauior cannot 6e rwdily detected by wnuentional stncturol fating, finctional twting, and date twting. We dercribe an o b j d state test model and outline a reuerse engineew ing method for eztracting object date 6ebauiors jivm C++ soum wde. The object date test model ir a hiearcbical, wnmmnt, wmmunicating date machine. It nsemblu the wncepta of inheritance and aggregation in the object-oriented parodigm rather than the wnce t of state decomposition U in some eziating modeb. Tie reuerae engineerin method ir 6aaed on symbolic emcution to &rod d e d a t u and eff& of the member finctiow. The symbolic etecution rwulta are wed t o w w t n c t the date machinu. The wefrlness of the model and of the method ir dircwed in the w n t d of o b j d state twting in the detection of a state behavior e w r .

Extracting State Models for Black-Box Software Components.

“…However, availability of CMCs is a stringent requirement, severely restricting the applicability of Gupta's method. Tonella's [1] and Kung's [7] symbolic execution approaches work well for simple programs.…”

“…Work reported in [1,3,5,6,7] propose techniques for automatic generation of state models of object-oriented programs through static and/or dynamic analysis of the source code. Yu et al [5] refactored the source code based on the programmer's comments and constructed the state model based on a static analysis of the refactored code.…”

“…They construct the state diagram using the scenario diagrams in which the object participates. Kung et al [7] generated the state diagram through symbolic executions [8] of the class methods and observing the changes to the values of the member variables. The approaches of Gupta [6] and Tonella et al [1] to generate statecharts of objects are similar to Kung's approach.…”

An object-oriented web test model for testing Web applications

“…Even though an object has structurally and functionally tested correct according to its specifications, the state-dependent behaviors still need to be tested to assure accurate results [16]. In the WTM, the behavior of interacting objects is described using Object State Diagram (OSD) [16].…”

“…It can represent the state-dependent behavior of an object in a Web application. The state-dependent behavior for an aggregate object then can be modeled by a composite OSD (COSD) ofthe corresponding OSDs [16].…”