Second Asia-Pacific Software Engineering Conference (APSEC'95)
Testing of Object-Oriented Programs Based on Finite State Machines
Brisbane, Australia
December 06-December 09
ISBN: 0-8186-7171-8
In object-oriented testing literature, a class is considered to be a basic unit of testing. A major characteristic of classes is the interaction between data members and member functions. This interaction is represented as definitions and uses of data members in member functions and can be properly modeled with finite state machines (FSM). In this paper, we discuss how FSMs can be effectively used for class testing. We demonstrate how to specify the behavior of classes using FSMs and present a test case generation technique based on FSMs. In our technique, FSMs are transformed into a flow graph from which we can explicitly identify data flows of the FSM. Then we generate test cases using conventional data flow testing techniques upon the flow graph.
Index Terms:
software testing, object-oriented programs, classes, finite state machines
Citation:
Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha, "Testing of Object-Oriented Programs Based on Finite State Machines," apsec, pp.234, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995