A Proposal of Test Sequence Generation Method for Communication Protocols Using SAT Algorithm

• MORI Takanori

  Graduate School of Engineering Science, Osaka University

• OTSUKA Hirotaka

  Graduate School of Engineering Science, Osaka University

• FUNABIKI Nobuo

  Department of Communication Network Engineering, Okayama University

• NAKATA Akio

  Graduate School of Information Science and Technology, Osaka University

• HIGASHINO Teruo

  Graduate School of Information Science and Technology, Osaka University

収録刊行物

• IEICE transactions on information and systems

  IEICE transactions on information and systems 85 (11), 1886-1887, 2002-11-01

  一般社団法人電子情報通信学会

キーワード

• communication protocol
• test sequence generation
• SAT algorithm
• approximation algorithm
• constraint

詳細情報

• CRID: 1572824502178609664
• NII論文ID: 110003223151
• NII書誌ID: AA10826272
• ISSN: 09168532
• 本文言語コード: en
• データソース種別:
  • CiNii Articles