双対オートマトンに基づいた適合性試験の誤りシーケンスの実現手順

概要

論文の詳細を見る
本論文では,遠隔試験法およびディレールポイント方式に基づいた適合性試験システムにおいて,試験シーケンスを実現する方除を提案する.すなわち汎用的な適合性試験システムとして,種々のプロトコル製品との通信を容易にするためのプロトコル実行部と,主にプロトコルエラーに関するシーケンスの生成・試験をつかさどる試験論理部からなる適合性試験システムにおいて,その上で実現されるべき試験論理を,双対なオートマトンの概念を用いて生成する方法を述べる.主な結果は次のとおりでいる.(i)試験対象製品を正常な状態遷移動作および,エラーの遷移動作について網羅的に試験することができるためには,適合性試験システムが試験対象製品の実装プロトコルと双対な関係にあるオートマトンを実現することが必要であることを示した.(ii)双対オートマトンに基づいた試験シーケンスを網羅的にかつ体系的に得るための手順および,それらを適合性試験システムのディレールポイント上で実行すべき試験論理を実現する手順を与えた.(iii)(ii)の手順によって生成される試験論理(L-アークと呼ぶ)は,プロトコルの状態遷移の約30〜40%に当たる試験を実施するものであり,これをプロトコル実行部(P-アークと呼ぶ)が動作する環境下で種々組み合わせて用いることにより,60〜70%程度のP-アークの遷移部分を共通化できるため,両者を一体化してそれぞれ個別に試験シーケンス実現する方法に比べると,効率的に試験が実施できること,および実際に遠隔試験方法,ディレールポイント方式による試験システムを用いた実験結果を示した.
一般社団法人情報処理学会の論文
1993-06-15

双対オートマトンに基づいた適合性試験の誤りシーケンスの実現手順

スポンサーリンク

概要

著者

関連論文

スポンサーリンク