外部イベント駆動型システムの試験系列生成手法
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,決定性有限状態機械でモデル化される外部イベント駆動型システムの動作仕様から,各状態遷移の存在およびその遷移先状態の確認を含む,試験実施コストの少ない試験系列を生成する手法を提案する.試験実施コストとしては,試験実施時間,または系列長のいずれかを用いることができる.状態確認系列はUIO系列(Unique Input/Output sequence)を用いる.本手法は,i)初期状態の最小コストのUIO系列,およびii)各状態間の最小コストのUIO経路,を用いて試験系列を重ねることにより,試験実施コストを減少させることを特徴とする.いくつかの例題に適用して本手法およびUIO系列を用いた従来手法の評価を行った結果,本手法は,一般に従来手法よりもコストの少ない試験系列を生成することが明らかになった.
- 一般社団法人情報処理学会の論文
- 1993-07-08
著者
関連論文
- WWWページ群を用いた協調学習のコミュニケーションモデル
- ネットワーク上における共有情報協調編集方式の提案
- 情報環流実現のための情報フィードバック機構の検討
- オブジェクト分類によるオブジェクト指向フレームワーク利用支援手法の提案
- フレームワークを利用したアプリケーション開発支援手法の提案
- オブジェクト分類によるオブジェクト指向フレ-ムワ-ク利用支援手法の提案 ([特集論文]企業向けユ-ザ中心型システム設計技法)
- コンポーネント再利用支援ツールの分析と実験的評価
- 広域コンポーネントウェア利用支援システムWACS
- 広域コンポーネント利用支援システムWACS
- 広域コンポ-ネント利用支援システムWACS (特集 カスタマ指向ソフトウェア開発方法論--分散型情報システム開発を加速する)
- 外部イベント駆動型システムの試験系列生成手法
- 外部イベント駆動型システムの試験系列生成手法
- 画面インタフェースをもつ会話型ソフトウェアの試験方式の検討
- B-16-19 微分行動を用いたレコメンド技術の提案
- 縮約型グロ-バル状態遷移図に基づくプロトコル検証
- 分散マルチプロセスのテストにおけるイベント系列制御方式
- 2G-4 動的に変化する3次元共有空間の実現方式
- 汎用言語処理系の適合性試験プログラム設計法
- 言語処理系に対する適合性試醗プログラムの設計法
- プログラムの移植条件試験法
- Prologによる仕様記述を利用したプログラム自動テスト方式
- Prologによるコンパイラテストデータの自動生成方式