Class Testing of Object-Oriented Designs Based on Petri Nets

Chun Chia Wang; Wen C. Pai; J. D. Chiang; Timothy K. Shih; Hsiang Ju Tien

Class Testing of Object-Oriented Designs Based on Petri Nets

Chun Chia Wang, Wen C. Pai, J. D. Chiang, Timothy K. Shih, Hsiang Ju Tien

Department of Computer Science and Information Engineering

Research output: Contribution to conference › Paper › peer-review

Abstract

In an object-oriented model, a class is considered to be a basic unit of testing. Methods (member functions) of a class can have different types of inter-method relationships. The causal relationships between methods specify the sequence in which the methods can be executed. In this paper, we propose a petri net model for specifying this causal relationship and present a test case generation technique based on petri nets. In our technique, petri nets are transformed into a reachability tree from which we generate test cases using the paths of the tree.

Original language	English
Pages	413-416
Number of pages	4
State	Published - 1998
Event	4th International Conference on Computer Science and Informatics, JCIS 1998 - Research Triangle Park, NC, United States Duration: 23 Oct 1998 → 28 Oct 1998

Conference

Conference	4th International Conference on Computer Science and Informatics, JCIS 1998
Country/Territory	United States
City	Research Triangle Park, NC
Period	23/10/98 → 28/10/98

Keywords

Object-oriented Testing
Petri Nets
Reachability Tree
Test Case Generation

Cite this

@conference{779918c8af184c37bd6f0f623f9f548c,

title = "Class Testing of Object-Oriented Designs Based on Petri Nets",

abstract = "In an object-oriented model, a class is considered to be a basic unit of testing. Methods (member functions) of a class can have different types of inter-method relationships. The causal relationships between methods specify the sequence in which the methods can be executed. In this paper, we propose a petri net model for specifying this causal relationship and present a test case generation technique based on petri nets. In our technique, petri nets are transformed into a reachability tree from which we generate test cases using the paths of the tree.",

keywords = "Object-oriented Testing, Petri Nets, Reachability Tree, Test Case Generation",

author = "Wang, {Chun Chia} and Pai, {Wen C.} and Chiang, {J. D.} and Shih, {Timothy K.} and Tien, {Hsiang Ju}",

year = "1998",

language = "???core.languages.en_GB???",

pages = "413--416",

note = "4th International Conference on Computer Science and Informatics, JCIS 1998 ; Conference date: 23-10-1998 Through 28-10-1998",

}

TY - CONF

T1 - Class Testing of Object-Oriented Designs Based on Petri Nets

AU - Wang, Chun Chia

AU - Pai, Wen C.

AU - Chiang, J. D.

AU - Shih, Timothy K.

AU - Tien, Hsiang Ju

PY - 1998

Y1 - 1998

N2 - In an object-oriented model, a class is considered to be a basic unit of testing. Methods (member functions) of a class can have different types of inter-method relationships. The causal relationships between methods specify the sequence in which the methods can be executed. In this paper, we propose a petri net model for specifying this causal relationship and present a test case generation technique based on petri nets. In our technique, petri nets are transformed into a reachability tree from which we generate test cases using the paths of the tree.

AB - In an object-oriented model, a class is considered to be a basic unit of testing. Methods (member functions) of a class can have different types of inter-method relationships. The causal relationships between methods specify the sequence in which the methods can be executed. In this paper, we propose a petri net model for specifying this causal relationship and present a test case generation technique based on petri nets. In our technique, petri nets are transformed into a reachability tree from which we generate test cases using the paths of the tree.

KW - Object-oriented Testing

KW - Petri Nets

KW - Reachability Tree

KW - Test Case Generation

UR - http://www.scopus.com/inward/record.url?scp=1642268384&partnerID=8YFLogxK

M3 - 會議論文

AN - SCOPUS:1642268384

SP - 413

EP - 416

T2 - 4th International Conference on Computer Science and Informatics, JCIS 1998

Y2 - 23 October 1998 through 28 October 1998

ER -

Class Testing of Object-Oriented Designs Based on Petri Nets

Abstract

Conference

Keywords

Fingerprint

Cite this