Paper Info
Title
Testing of Object-Oriented Programs Based on Finite State Machines
Abstract
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.
Year
DOI
Venue
1995
10.1109/APSEC.1995.496972
APSEC
Keywords
Field
DocType
object-oriented testing literature,object-oriented programs,basic unit,conventional data,data flow,finite state machines,flow graph,class testing,data member,test case generation technique,test case,member function,state machine,classes,computer science,automata,finite state machine,object oriented programming,software testing
Graph,Object-oriented programming,Control flow graph,Computer science,Algorithm,Theoretical computer science,Finite-state machine,Test case,Data flow testing,Program testing,Software testing
Conference
ISBN
Citations 
PageRank 
0-8186-7171-8
28
1.95
References 
Authors
13
3
Name
Order
Citations
PageRank
Hyoung Seok Hong126515.64
Yong Rae Kwon2103150.37
Sung Deok Cha338129.92