通信プロトコル適合性試験におけるレジスタ操作に対する試験系列の生成手法

情報処理学会 Web Site 被引用文献3件 参考文献6件

書誌事項

タイトル別名
  • A Method for Generating Test Cases for Register Operations in Conformance Testing of Communication Protocols
  • ツウシン プロトコル テキゴウセイ シケン ニ オケル レジスタ ソウサ ニ
  • ネットワーク

この論文をさがす

説明

本論文では，拡張有限状態機械（EFSM）のサブクラスであるカウンタ付き有限状態機械（FSM?C）としてモデル化された通信プロトコルに対して，そのレジスタ操作の正しさを試験する系列が満たすべき条件，およびそのような系列が存在するときそれを生成する手順を提案する．本手法を用いて生成した試験系列を用いると，遷移条件の条件判定およびレジスタ代入操作の単一誤りを検出できる．また，この手法の有効性を確認するため，提案手法に基づく試験系列生成システムを作成し，OSIセションプロトコルに対して実際に試験系列の生成を行った．その結果，すべての試験対象に対して試験系列が存在し，自動生成できることが確認できた．

In this paper,we propose a condition of test cases for communication protocols modeled as FSM with counters(FSM-C),a subclass of Extended Finite-State Machines(EFSM).By using test cases satisfing the proposing condition,single fault of on determinig inequality or register assignments can be detected.We also propose a procedure to find test cases which satisfy the condition.To see the usefulness of this method,we developed a test cases generating system based on the proposing method,and applied the system to the OSI session protocol.As a result we can verify that all of test cases are generated automatically.

収録刊行物

被引用文献 (3)*注記

もっと見る

参考文献 (6)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ