相互運用性試験に対する試験系列生成方式の検討

• Item type: SIG Technical Reports(1)
• 公開日: 1996-02-29
• タイトル: 相互運用性試験に対する試験系列生成方式の検討
• タイトル / 言語: en
• タイトル: Study of a Test Suite Generation Method for Interoperability Testing
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: （株）高度通信システム研究所
• 著者所属: （株）高度通信システム研究所
• 著者所属(英): en
• 著者所属(英): Advanced Intelligent Communication System Laboratories
• 著者所属(英): en
• 著者所属(英): Advanced Intelligent Communication System Laboratories
• 著者名: 坪根, 宣宏; 土岐田, 義明
• 著者名(英): Nobuhiro, Tsubone; Yoshiaki, Tokita
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 筆者らは相互運用性試験のための試験系列生成を機械的に支援するための方式を検討し、提案してきた。従来提案した方式では、試験を実施する2つの試験対象のプロトコル仕様をそれぞれ有限状態機械(S)でモデル化し、さらにその2つのFSMの各状態を合成して得られるシステム状態グラフ(S)を導出した後、そのSSGをトレースすることにより試験系列を生成する。本方式の問題点はFSMの定義の仕方により容易にSSGが状態爆発を起こして有限の試験系列が得られずこれが実用上の障害であった点である。本論文では、このような状態爆発を防ぐ手段、及び筆者らが開発した試験系列生成プログラムの概要について述べる。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We have proposed some of test suite generation methods for interoperability testing. In our conventional method, first of all, each IUT(Implementation Under Test) is modeled as an FSM(Finite State Machine). Then an SSG(System State Graph) that is acquired by synthesizing each state of the two FSMs is derived and a test suite is generated by tracing the SSG. The problem we think is the SSG may easily cause the state explosion, which is an obstacle in practical testing. This paper states how to avoid the state explosion and an overview of the test suite generation program we have developed.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10116224
• 書誌情報: 情報処理学会研究報告マルチメディア通信と分散処理（DPS）; 巻 1996, 号 20(1995-DPS-075), p. 1-6, 発行日 1996-02-29
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会