2024-03-29T06:48:05Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001189362023-11-17T02:17:36Z06504:07974:07981
LOTOS仕様からの効率的な試験系列の自動生成Automatic generation of the efficient test sequences from LOTOS specificationsjpnhttp://id.nii.ac.jp/1001/00119053/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=118936&item_no=1&attribute_id=1&file_no=1東北大学電気通信研究所東北大学電気通信研究所東北大学電気通信研究所東北大学電気通信研究所岡崎, 直宣高橋, 薫白鳥, 則郎野口, 正一近年,各種OSI製品の普及拡大に伴い,その適合性試験(1)の重要性が高まっており,特に試験系列の自動生成が重要な研究課題になっている.筆者らは,ISOで開発されたFDT(形式記述技法)であるLOTOSによって表現された仕様から,直接に対応する試験系列をTTCN表現として生成する方法(LD法)を開発した.本稿では,このLD法に基づき,より効率的な試験系列を生成する方法(最小木法)を提案する.AN00349328全国大会講演論文集第40回ネットワーク14311990-03-142015-01-20