A Method for Generating Test Cases for Register Operations in Conformance Testing of Communication Protocols

IPSJ Web Site 3 Citations 6 References

Bibliographic Information

Other Title
  • 通信プロトコル適合性試験におけるレジスタ操作に対する試験系列の生成手法
  • ツウシン プロトコル テキゴウセイ シケン ニ オケル レジスタ ソウサ ニ
  • ネットワーク

Search this article

Description

本論文では，拡張有限状態機械（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.

Journal

Citations (3)*help

See more

References(6)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top