loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Hyoung Seok Hong, Korea Advanced Institute of Science and Technology
Yong Rae Kwon, Korea Advanced Institute of Science and Technology
Sung Deok Cha, Korea Advanced Institute of Science and Technology
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
Usage of this product signifies your acceptance of the Terms of Use.