コンカレントシステムのためのカラーペトリネットに基づくテストスイートの生成
スポンサーリンク
概要
- 論文の詳細を見る
カラーペトリネットからテストスイートを生成するCPT法、CPG法はコンカレントシステムに適しているが、カラーペトリネットから汎用的にテストスイートを生成するツールはない。CPT法に基づき簡単なOSのテストスイートを生成するTPジェネレータを試作したが、汎用性がなく機能が限定されていた。CPT法に基づきテストスイートを生成するテストスイートジェネレータTSGの試作について報告する。TSGはGUIを用いてカラーペトリネットを入力することができ、テストスイートを生成する。
- 社団法人電子情報通信学会の論文
- 1995-05-19
著者
関連論文
- 第2回アジア太平洋ソフトウエア工学国際会議(APSEC'95)報告
- カラーペトリネットによるオブジェクト指向ソフトウェアのテストと解析方法
- カラーペトリネットによるオブジェクト指向ソフトウエアのテストと解析方法
- コンカレントシステムのためのカラーペトリネットに基づくテストスイートの生成
- カラーペトリネットを用いた仕様記述からのテストケース生成方法 (コンカレント・コラボレーション技術論文小特集)
- カラーペトリネットに基づくソフトウエアのためのテストスイート自動生成システム