LOTOS仕様からの効率的な試験系列の生成法

岡崎 直宣  高橋 薫  白鳥 則郎  野口 正一  

誌名
電子情報通信学会論文誌 B   Vol.J74-B1   No.10   pp.733-747
発行日: 1991/10/25
Online ISSN: 
DOI: 
Print ISSN: 0915-1885
論文種別: 論文
専門分野: 信号方式,通信プロトコル
キーワード: 


本文: PDF(941.4KB)>>
論文を購入




あらまし: 
本論文では,適合性試験の試験系列の自動生成に関して,ISOで開発されたFDT(形式記述技法)であるLOTOSによって表現された仕様から,対応する試験系列を木状のLOTOS表現であるTreeLOTOS表現として生成する形式的な方法を提案する.この方法では,LOTOSの形式的意味を与えるLTS(Labelled Transition System)において変数を付加したVTSを導入し,このVTSをもとに仕様と等価な試験系列を生成する.VTSを導入することによって,表現がコンパクトになるだけでなく,試験実施時における系列の選択に有効な情報を試験系列に与えることができる.更に,VTS上での状態の等価性を定義し,この等価性に基づくVTSの簡約化を繰り返すことにより,VTSを既約形に変換する.この変換によって,より効率的な試験系列を生成することができる.