SATアルゴリズムを利用したFSMプロトコルに対する試験系列生成の一手法

• 森, 亮憲

• 船曵, 信生

• 東野, 輝夫

書誌事項

タイトル別名

• A Method to Generate Test Sequences for FSM Protocols using SAT Algorithm

抄録

本稿では,有限状態機械で記述された通信プロトコルに対して,SATを利用して状態確認を行うための試験系列を生成する手法を提案する.状態確認にはUIO系列を利用する.SATとは論理式の充足可能性を判定する問題である.提案手法では,論理式を用いて通信プロトコルの動作や試験系列が満たすべき条件を記述することから,各状態に対して複数のUIO系列が存在する場合や,UIO系列の重複を考慮した場合などに対応して試験系列を生成することができる.提案手法を実装し,DHCP(Dynamic Host Configuration Protocol)に適用して試験系列が生成できることを確認した.

In this paper, we propose a test sequence generation method for FSM protocols using SAT algorithm. UIO sequences are used for identifying states. SAT is a problem which check satisfiability of logical formulas. In our method, protocol behaviors and conditions which must be satisfied by test sequences are described as logical formulas. Hence our method can be applied to cases that each state has multiple UIO sequences and/or considering sequences overlapping. We developed a system, and apply it to DHCP (Dynamic Configuration Protocol) and generated test sequences.

収録刊行物

• マルチメディア通信と分散処理ワークショップ論文集

  マルチメディア通信と分散処理ワークショップ論文集 2002 (15), 75-80, 2002-10-16

詳細情報

• CRID: 1050292572154692608
• NII論文ID: 170000073920
• Web Site: http://id.nii.ac.jp/1001/00088729/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles