@techreport{oai:ipsj.ixsq.nii.ac.jp:00021724,
 author = {渡辺, 晴美 and 徳岡, 宏樹 and Wu, Wenxin and 佐伯, 元司 and Harumi, Watanabe and Hiroki, Tokuoka and Wenxin, Wu and Motoshi, Saeki},
 issue = {110(1997-SE-117)},
 month = {Nov},
 note = {オブジェクト指向ソフトウエアは、従来のテスト方法では十分にテストできないという問題がある。その理由は、オブジェクト指向プログラムが、オブジェクトの生成やダイナミックバインディング、そして並行性など実行時に決定される特徴を持つためである。本稿では、カラーペトリネットを用いたオブジェクト指向ソフトウエアの新しいテストと解析の方法を提案する。カラーペトリネットは、形式記述言語の一つであるペトリネットを拡張したもので、並行性の解析能力を持つ。提案する方法では、ネットの爆発的増加を避けるために、カラーペトリネットのカラートークンにより、オブジェクトの識別を行なう。オブジェクト指向ソフトウエアをカラーペトリネットへ変換する規則を与えることで、並行性を伴ったオブジェクト指向の挙動の側面に関するテストと解析を可能にする。提案する方法は、本質的に言語と独立である。例としてJavaがプログラミング言語で記述したプログラムをカラーペトリネットへの変換を取り上げ、提案する方法の有効性を示す。, Object-Oriented software essentially has dynamic aspect such as Object creation, deletion and dynamic binding during execution. This aspect makes behavior analysis and tests of object-oriented software significantly complicated. In this paper, we propose a new technique of object-oriented software analysis and testing by using Coloured Petri Net (CPN), which is an extended version of Perti Net, one of formal techniques having the ability to analyze concurrent behavior. We represent identified objects with coloured tokens of a Coloured Petri net expressing object oriented software in order to aviod the net-explosion problem. We provide transration rules of object-oriented software into a coloured petri net and a technique to analyze and test effectively the net to investigate several behavior-properties. Our translation technique is essentially independent of which language we describesoftware. As an example, to show the effectiveness of our technique, we pick up Java programing Language and translate a specification written in it into a Coloured Petri Net.},
 title = {カラーペトリネットによるオブジェクト指向ソフトウエアのテストと解析方法},
 year = {1997}
}