TY - GEN
T1 - Testing of object-oriented programs based on finite state machines
AU - Hong, Hyoung Seok
AU - Kwon, Yong Rae
AU - Cha, Sung Deok
N1 - Funding Information:
“This work is partially supported by the Korea Atomic En- ergy Research lnstitnte under ront.rac1, number KAERI/CM-
Funding Information:
This work is partially supported by the Korea Atomic Energy Research Institute under contract, number KAERI/CM-103/94.
Publisher Copyright:
© 1995 IEEE.
PY - 1995
Y1 - 1995
N2 - 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). 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 of the 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.
AB - 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). 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 of the 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.
UR - http://www.scopus.com/inward/record.url?scp=38849208782&partnerID=8YFLogxK
U2 - 10.1109/APSEC.1995.496972
DO - 10.1109/APSEC.1995.496972
M3 - Conference contribution
AN - SCOPUS:38849208782
T3 - Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995
SP - 234
EP - 241
BT - Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 1995 Asia Pacific Software Engineering Conference, APSEC 1995
Y2 - 6 December 1995 through 9 December 1995
ER -