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月 199828 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/9828/10/98

指紋

深入研究「Class Testing of Object-Oriented Designs Based on Petri Nets」主題。共同形成了獨特的指紋。

引用此