Testing of object-oriented programs based on finite state machines

Hyoung Seok Hong; Yong Rae Kwon; Sung Deok Cha

doi:10.1109/APSEC.1995.496972

Testing of object-oriented programs based on finite state machines

Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

36 Citations (Scopus)

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). 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.

Original language	English
Title of host publication	Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	234-241
Number of pages	8
ISBN (Electronic)	0818671718, 9780818671715
DOIs	https://doi.org/10.1109/APSEC.1995.496972
Publication status	Published - 1995
Externally published	Yes
Event	1995 Asia Pacific Software Engineering Conference, APSEC 1995 - Brisbane, Australia Duration: 1995 Dec 6 → 1995 Dec 9

Publication series

Name	Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995

Conference

Conference	1995 Asia Pacific Software Engineering Conference, APSEC 1995
Country/Territory	Australia
City	Brisbane
Period	95/12/6 → 95/12/9

Bibliographical note

Publisher Copyright:
© 1995 IEEE.

ASJC Scopus subject areas

Software
Safety, Risk, Reliability and Quality

Access to Document

10.1109/APSEC.1995.496972

Cite this

Hong, H. S., Kwon, Y. R., & Cha, S. D. (1995). Testing of object-oriented programs based on finite state machines. In Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995 (pp. 234-241). Article 496972 (Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/APSEC.1995.496972

Testing of object-oriented programs based on finite state machines. / Hong, Hyoung Seok; Kwon, Yong Rae; Cha, Sung Deok.
Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995. Institute of Electrical and Electronics Engineers Inc., 1995. p. 234-241 496972 (Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Hong, HS, Kwon, YR & Cha, SD 1995, Testing of object-oriented programs based on finite state machines. in Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995., 496972, Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995, Institute of Electrical and Electronics Engineers Inc., pp. 234-241, 1995 Asia Pacific Software Engineering Conference, APSEC 1995, Brisbane, Australia, 95/12/6. https://doi.org/10.1109/APSEC.1995.496972

@inproceedings{8fa7fbade6774e3da8e5c3501454243b,

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). 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.",

author = "Hong, {Hyoung Seok} and Kwon, {Yong Rae} and Cha, {Sung Deok}",

note = "Publisher Copyright: {\textcopyright} 1995 IEEE.; 1995 Asia Pacific Software Engineering Conference, APSEC 1995 ; Conference date: 06-12-1995 Through 09-12-1995",

year = "1995",

doi = "10.1109/APSEC.1995.496972",

language = "English",

series = "Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "234--241",

booktitle = "Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995",

}

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

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 -

Testing of object-oriented programs based on finite state machines

Abstract

Publication series

Conference

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this