2024-03-29T01:02:24Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000352152023-04-27T10:00:04Z01164:02836:02894:02899
EFSMに対する適合性試験系列生成手法のミューテーションシステムを用いた実験評価Fault Coverage Evaluation of Test Cases Generation Method for EFSM using a Mutation Systemjpnhttp://id.nii.ac.jp/1001/00035215/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=35215&item_no=1&attribute_id=1&file_no=1Copyright (c) 1998 by the Information Processing Society of Japan大阪大学大学院基礎工学研究科大阪大学大学院基礎工学研究科大阪大学大学院基礎工学研究科小原, 勝樋口, 昌宏藤井, 護我々の研究グループではEFSM(拡張有限状態機械)で記述された通信プロトコルに対する適合性試験系列生成手法を提案している.我々の手法を用いるとFSM?Cという限定されたモデルの下でのあらゆる単一誤りを検出することができる.本研究では我々の手法の,より一般的なフォールトモデルの下でのフォールト検出能力を定量的に評価し,従来の手法と比較するために実験を行った.今回の実験ではプロトコルはC言語を用いて実装されるものとし,統計的分類に基づくCプログラム上のフォールトモデルを用いた.フォールトを一つ含む実装(ミューテーション)を順次生成するシステムを作成し,生成されたミューテーションのフォールトを試験系列が検出できるかどうかを観察した.その結果,我々の手法は従来の手法と比較して非常に高い精度でフォールトを検出できることが確認できた.We have proposed a test cases generation method for communication protocols modeled as Extended Finite-State Machine(EFSM). Our method can detect any single fault of protocol implementations under a restricted model called FSM-C. In this research, we evaluated fault coverage of our method and the existing methods under a general fault model. We supposed that protocols are implemented by C programs, and used a fault model based on a statistical classification. We implemented a mutation system, which generates implementations which include one fault (mutation). We examined whether the methods can detect faults in the mutations. The experiment has shown that the fault coverage of our method is superior to other methods.AN10116224情報処理学会研究報告マルチメディア通信と分散処理(DPS)19988(1997-DPS-086)25301998-01-292009-06-30