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

資訊工程學系

研究成果: 會議貢獻類型 › 會議論文 › 同行評審

摘要

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.

原文	???core.languages.en_GB???
頁面	413-416
頁數	4
出版狀態	已出版 - 1998
事件	4th International Conference on Computer Science and Informatics, JCIS 1998 - Research Triangle Park, NC, United States 持續時間: 23 10月 1998 → 28 10月 1998

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	4th International Conference on Computer Science and Informatics, JCIS 1998
國家/地區	United States
城市	Research Triangle Park, NC
期間	23/10/98 → 28/10/98

引用此

@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 = "null ; 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

Y2 - 23 October 1998 through 28 October 1998

ER -

Class Testing of Object-Oriented Designs Based on Petri Nets

摘要

???event.eventtypes.event.conference???

指紋

引用此