@article{oai:ipsj.ixsq.nii.ac.jp:00011201,
 author = {渡辺, 晴美 and Harumi, Watanabe},
 issue = {6},
 journal = {情報処理学会論文誌},
 month = {Jun},
 note = {オブジェクト指向ソフトウェアは，生成，削除，継承，動的束縛など実行時に決定される性質を持つ．これらの性質は状態爆発問題を起こすため，ソフトウェアの挙動に関するテストや解析を困難にしている．これらの性質を持つソフトウェアを効率的にテストするために，我々は状態図とクラス図で記述した仕様をカラーペトリネット（CPN）へ変換するテスト方法を提案した．CPNは拡張ペトリネットの1つであり，状態爆発問題を解決する形式技術として知られている．しかし，この技術を利用しても大規模システムに対しては十分に効果的にテストを行うことは難しい．既存の単体テストはメソッドやクラス単位であり，複数のクラス間やメソッドによって実現された機能を状態図レベルでテストする方法はない．本論文では，CPNのためのスタティックスライシング技術を提案することで，機能ごとにテストすることを可能にする．機能ごとにテスト可能にすることで，従来よりも効率的にそして開発初期段階でのテストを可能にする．, Object-oriented software essentially has dynamicproperty such as object creation, deletion, inheritance, dynamic binding.This property makes behavior analysis and tests of object-oriented software significantly complicated.To enable efficient testing of the above property, we proposed a method which uses Colored Petri Nets (CPN),CPN is an extended version of Petri Nets, one of formal techniquesallowing to avoid the net-explosion problem.However, it is difficult to test efficiently by this method in a large-scale system.The existing unit testing is performed for every method, instance, or class.There is no method of testing a function over between classes.In this paper, we propose a static slicing technique for the CPN.It becomes possible to test the function implemented between classesby this method.Furthermore we can efficiently detect errors peculiar toobject-oriented software, in the early stage of development.},
 pages = {1461--1472},
 title = {オブジェクト指向ソフトウェアテストのためのカラーペトリネットスライシング技術},
 volume = {44},
 year = {2003}
}