カラーペトリネットによるオブジェクト指向ソフトウエアのテストと解析方法

• Item type: SIG Technical Reports(1)
• 公開日: 1997-11-21
• タイトル: カラーペトリネットによるオブジェクト指向ソフトウエアのテストと解析方法
• タイトル / 言語: en
• タイトル: A Technique for Analysing and Testing Object - Oriented Software Using Coloured Petri Nets
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東京工業大学情報理工学研究科
• 著者所属: 東京工業大学情報理工学研究科
• 著者所属: 東京工業大学情報理工学研究科
• 著者所属: 東京工業大学情報理工学研究科
• 著者所属(英): en
• 著者所属(英): DEPT OF COMPUTER SCIENCE, TOKYO INSTITUTE OF TECHNOLOGY
• 著者所属(英): en
• 著者所属(英): DEPT OF COMPUTER SCIENCE, TOKYO INSTITUTE OF TECHNOLOGY
• 著者所属(英): en
• 著者所属(英): DEPT OF COMPUTER SCIENCE, TOKYO INSTITUTE OF TECHNOLOGY
• 著者所属(英): en
• 著者所属(英): DEPT OF COMPUTER SCIENCE, TOKYO INSTITUTE OF TECHNOLOGY
• 著者名: 渡辺, 晴美; 徳岡, 宏樹; Wu, Wenxin; 佐伯, 元司
• 著者名(英): Harumi, Watanabe; Hiroki, Tokuoka; Wenxin, Wu; Motoshi, Saeki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: オブジェクト指向ソフトウエアは、従来のテスト方法では十分にテストできないという問題がある。その理由は、オブジェクト指向プログラムが、オブジェクトの生成やダイナミックバインディング、そして並行性など実行時に決定される特徴を持つためである。本稿では、カラーペトリネットを用いたオブジェクト指向ソフトウエアの新しいテストと解析の方法を提案する。カラーペトリネットは、形式記述言語の一つであるペトリネットを拡張したもので、並行性の解析能力を持つ。提案する方法では、ネットの爆発的増加を避けるために、カラーペトリネットのカラートークンにより、オブジェクトの識別を行なう。オブジェクト指向ソフトウエアをカラーペトリネットへ変換する規則を与えることで、並行性を伴ったオブジェクト指向の挙動の側面に関するテストと解析を可能にする。提案する方法は、本質的に言語と独立である。例としてJavaがプログラミング言語で記述したプログラムをカラーペトリネットへの変換を取り上げ、提案する方法の有効性を示す。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1997, 号 110(1997-SE-117), p. 17-24, 発行日 1997-11-21
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会