カラーペトリネットに基づくソフトウエアのためのテストスイート自動生成システム
スポンサーリンク
概要
- 論文の詳細を見る
本報告では、並行性を持つソフトウエアに適したテストスイート生成法について述べる。テストスイートの生成にはその長さが比較的短いことと、実装が持つ可能性のある誤りを可能な限りカバーすることが要求される。従来の有限状態機械に基づく方法は、状態遷移に伴った誤りを検出できるという点でその他の方法に比べ後者の要求をより満たしている。しかし並行性を持つソフトウエアに対しては、タスク毎に非決定性有限状態機械を記述することになるためテストスイートが長くなる。一方カラーペトリネットのCPツリーに基づく方法によりテストスイートを短くできるが、状態遷移に伴う誤りを検出できない場合がある。そこで、本報告ではカラーペトリネットからCPグラフを生成し、従来の有限状態機械に基づく方法をそのグラフに適用することにより、状態遷移に伴う誤りの検出可能にする方法を提案する。
- 一般社団法人情報処理学会の論文
- 1995-01-26
著者
関連論文
- Virtual Timeアルゴリズムに基づく分散離散事象シミュレーションの性質の検討
- RDTにおける分散共有メモリシステムの性能評価
- 並列計算機アドレストレーサMILL-liteのPVM上への実装
- 第2回アジア太平洋ソフトウエア工学国際会議(APSEC'95)報告
- 相互結合網RDT上での階層マルチキャストによるメモリコヒーレンシ維持手法
- 超並列計算機JUMP-1用ルータチップの開発と検証
- 相互結合網RDTにおけるルータの検討
- カラーペトリネットによるオブジェクト指向ソフトウェアのテストと解析方法
- カラーペトリネットによるオブジェクト指向ソフトウエアのテストと解析方法
- コンカレントシステムのためのカラーペトリネットに基づくテストスイートの生成
- カラーペトリネットを用いた仕様記述からのテストケース生成方法 (コンカレント・コラボレーション技術論文小特集)
- カラーペトリネットに基づくソフトウエアのためのテストスイート自動生成システム
- 超並列計算機用結合網Ring Tree on Meshの提案
- WSクラスタJUMP-1/3-SLの実装と評価
- 問い合わせに基づく並列論理シュミレ-ションアルゴリズム
- 超並列計算機用結合網RDTのルーティング制御評価用システム : JUMP-1/3
- 超並列プロトタイプ計算機JUMP-1の構想
- ワークステーションクラスタ分散共有メモリのための光波長多重ネットワーク
- 光インタコネクションネットワークを用いたコンピューテングクラスタの構想
- 相互結合網RDTにおけるAdaptive routing
- マルチプロセッサの記憶システム (2) ( 計算機の記憶システム 4)
- マルチプロセッサの記憶システム(1)( 計算機の記憶システム 4)
- FPGAを用いた教育用マイクロプロセッサ実験システム
- Pruning Cacheを用いた分散共有メモリのディレクトリ構成法