カラーペトリネットを用いた仕様記述からのテストケース生成方法 (<小特集>コンカレント・コラボレーション技術論文小特集)

概要

論文の詳細を見る
実装が仕様に適合しているかどうかについてのテストに用いるテストケースは, 従来, 有限状態機械に基づく仕様記述言語で記述した仕様から生成してきた. しかし, テスト対象が並行性をもつシステムの場合, 従来の方法でテストケースを生成することは難しい. その理由は, 従来の方法では, 並行性をもつシステムの場合, 並行に動作する各プロセスごとに有限状態機械を記述し, 全体の状態をすべてのプロセスの各々の状態の直積により状態空間を得ることにある. その結果, 並行性をもつシステムの状態数がプロセスの個数に対し指数のオーダで増加するため, 現実的にテストケースを生成することが困難である場合が多い. そこで, 本論文ではカラーペトリネットからテストケースを生成する方法について提案する. カラーペトリネットは, 並行性を含んだ状態空間を効率良く生成し, 解析する方法がある仕様記述法として知られている. この解析法を利用することにより, 従来の方法よりも効率的にテストケースを生成できる. 更に, 本論文では実際に利用可能なテストケースを生成するために, 並行プロセスごとに入力列の生成を可能にすると同時に, 仕様上の重要な部分のみに着目し, その部分を中心としたテストケースの生成を可能にする.
社団法人電子情報通信学会の論文
1997-07-25

カラーペトリネットを用いた仕様記述からのテストケース生成方法 (<小特集>コンカレント・コラボレーション技術論文小特集)

スポンサーリンク

概要

著者

関連論文

スポンサーリンク