| 講演名 | 1995/5/19 コンカレントシステムのためのカラーペトリネットに基づくテストスイートの生成 渡辺 晴美, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | カラーペトリネットからテストスイートを生成するCPT法、CPG法はコンカレントシステムに適しているが、カラーペトリネットから汎用的にテストスイートを生成するツールはない。CPT法に基づき簡単なOSのテストスイートを生成するTPジェネレータを試作したが、汎用性がなく機能が限定されていた。CPT法に基づきテストスイートを生成するテストスイートジェネレータTSGの試作について報告する。TSGはGUIを用いてカラーペトリネットを入力することができ、テストスイートを生成する。 |
| 抄録(英) | The CPT (Coloured Petri net Tree) method can generate test suites from Coloured Petri nets. Since the Coloured Petri net has an enough description ability to specify concurrent systems, the CPT method is suitable for conformance test of concurrent systems. In this report, a test suite generator (TSG) based on the CPT method is introduced. The TSG provides easy-to-use GUI and enables simple specification of Coloured Petri nets. |
| キーワード(和) | |
| キーワード(英) | |
| 資料番号 | |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 1995/5/19(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | コンカレントシステムのためのカラーペトリネットに基づくテストスイートの生成 |
| サブタイトル（和） | |
| タイトル（英） | Test Suites Generation for Concurrent Systems based on Coloured Petri Nets |
| サブタイトル（和） | |
| キーワード(1)（和/英） | |
| 第 1 著者 氏名（和/英） | 渡辺 晴美 / Harumi Watanabe |
| 第 1 著者 所属（和/英） | 東京工業大学情報理工学研究科計算工学専攻 Graduate School of Information Science and Engineering, Tokyo Institute of Technology |
| 発表年月日 | 1995/5/19 |
| 資料番号 | |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 46 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |