WEKO3
アイテム
オブジェクト指向ソフトウェアテストのためのカラーペトリネットスライシング技術
https://ipsj.ixsq.nii.ac.jp/records/11201
https://ipsj.ixsq.nii.ac.jp/records/11201943f0c89-5e35-4560-b623-29cb29b20945
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2003 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | Journal(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 2003-06-15 | |||||||
タイトル | ||||||||
タイトル | オブジェクト指向ソフトウェアテストのためのカラーペトリネットスライシング技術 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | A Static Slicing Technique of Coloured Petri Nets for Object-oriented Software Testing | |||||||
言語 | ||||||||
言語 | jpn | |||||||
キーワード | ||||||||
主題Scheme | Other | |||||||
主題 | 特集:オブジェクト指向技術 | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
資源タイプ | journal article | |||||||
その他タイトル | ||||||||
その他のタイトル | 形式的仕様 | |||||||
著者所属 | ||||||||
立命館大学理工学部情報学科 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Computer Science, Ritsumeikan University | ||||||||
著者名 |
渡辺, 晴美
× 渡辺, 晴美
|
|||||||
著者名(英) |
Harumi, Watanabe
× Harumi, Watanabe
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | オブジェクト指向ソフトウェアは,生成,削除,継承,動的束縛など実行時に決定される性質を持つ.これらの性質は状態爆発問題を起こすため,ソフトウェアの挙動に関するテストや解析を困難にしている.これらの性質を持つソフトウェアを効率的にテストするために,我々は状態図とクラス図で記述した仕様をカラーペトリネット(CPN)へ変換するテスト方法を提案した.CPNは拡張ペトリネットの1つであり,状態爆発問題を解決する形式技術として知られている.しかし,この技術を利用しても大規模システムに対しては十分に効果的にテストを行うことは難しい.既存の単体テストはメソッドやクラス単位であり,複数のクラス間やメソッドによって実現された機能を状態図レベルでテストする方法はない.本論文では,CPNのためのスタティックスライシング技術を提案することで,機能ごとにテストすることを可能にする.機能ごとにテスト可能にすることで,従来よりも効率的にそして開発初期段階でのテストを可能にする. | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 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. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN00116647 | |||||||
書誌情報 |
情報処理学会論文誌 巻 44, 号 6, p. 1461-1472, 発行日 2003-06-15 |
|||||||
ISSN | ||||||||
収録物識別子タイプ | ISSN | |||||||
収録物識別子 | 1882-7764 |