Integration testing of object‐oriented components using finite state machines

Abstract

In object‐oriented terms, one of the goals of integration testing is to ensure that messages from objects in one class or component are sent and received in the proper order and have the intended effect on the state of the objects that receive the messages. This research extends an existing single‐class testing technique to integration testing of multiple classes. The single‐class technique models the behaviour of a single class as a finite state machine, transforms the representation into a data flow graph that explicitly identifies the definitions and uses of each state variable of the class, and then applies conventional data flow testing to produce test case specifications that can be used to test the class. This paper extends those ideas to inter‐class testing by developing flow graphs, finding paths between pairs of definitions and uses, detecting some infeasible paths and automatically generating tests for an arbitrary number of classes and components. It introduces flexible representations for message sending and receiving among objects and allows concurrency among any or all classes and components. Data flow graphs are stored in a relational database and database queries are used to gather def‐use information. This approach is conceptually simple, mathematically precise, quite powerful and general enough to be used for traditional data flow analysis. This testing approach relies on finite state machines, database modelling and processing techniques and algorithms for analysis and traversal of directed graphs. The paper presents empirical results of the approach applied to an automotive system. This work was prepared by U.S. Government employees as part of their official duties and is, therefore, a work of the U.S. Government and not subject to copyright. Published in 2006 by John Wiley & Sons, Ltd.

A Specification-Based Approach to Testing Polymorphic Attributes

“…This way was extended to the fourth level by Gallagher and Offutt [10]: inter-class testing that is testing the integration relationships among different classes through public method calls and references to public data members.…”

Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models

“…FSM-based approaches [5,6,11] would be applicable for the test generation if the annotated constraints of the model have no impact on the communication behavior. In our example however this is not the case (e.g.…”

Extracting State Models for Black-Box Software Components.

“…State-based software testing has therefore been accepted as a crucial type of testing that can help detect such insidious bugs. State models form an important basis for state-based testing in the component paradigm [20]. State coverage and transition coverage are two popular state-based testing techniques [2].…”