タイマシステムコールを用いるDFSMプロトコルに対する試験系列生成手法

• 森, 亮憲

• 徳田, 康平

• 多田, 知正

• 樋口, 昌宏

• 東野, 輝夫

書誌事項

タイトル別名

• タイマ システム コール オ モチイル DFSM プロトコル ニ タイスル シケン ケイレツ セイセイ シュホウ
• A Method to Generate Test Sequences for DFSM Protocol with Timer System Call
• 通信プロトコル

抄録

本論文では，オペレーティングシステムのタイマ機能を利用するDFSMモデル通信プロトコルに対して，状態遷移におけるタイマ操作の単一誤りおよび終状態の単一誤りを検出する適合性試験系列生成手法を提案する．タイマ操作誤りについては，個々の誤りに対してプロトコルの仕様と実装が等価になるための十分条件と等価にならないための十分条件を与え，これらの条件を利用した試験系列生成手法を考えた．終状態誤りについては，Wp法を利用した試験系列生成手法を考えた．提案手法の有効性を確認するため，提案手法に基づく試験系列生成システムを実装し，DHCP（Dynamic Host Configuration Protocol）に適用した．その結果，試験系列が効率的に生成できることを確認した．

In this paper,we propose a method to generate test sequences for communication protocols modeled as DFSM with timers.The test sequences can detect any single fault of timer commands or destination states in the transitions on protocol machines.For each single timer command fault,we give sufficient conditions that a given IUT is (or is not) equivalent to its specification.Based on these sufficient conditions,we give a method for generating test sequences.For each destination state fault,we give a test sequence generation method based on Wp-method.To show the usefulness of this method,we developed a system for generating test sequences,and applied it to DHCP (Dynamic Host Configuration Protocol).As a result, we generated the test sequences efficiently.

収録刊行物

• 情報処理学会論文誌

  情報処理学会論文誌 42 (12), 3072-2081, 2001-12-15

  東京 : 情報処理学会

キーワード

• 特集：マルチメディアコミュニケーションシステム

詳細情報

• CRID: 1050564287838532992
• NII論文ID: 110002726111
• NII書誌ID: AN00116647
• ISSN: 18827764
• ISSN: 03875806
• NDL書誌ID: 6010081
• Web Site: http://id.nii.ac.jp/1001/00011800/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I6010081
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles