ようこそ ゲスト さん
ログイン
入力補助
English
カテゴリ
インデックスツリー
ランキング
アクセスランキング
ダウンロードランキング
その他
法政大学
法政大学図書館
インデックスツリー
資料タイプ別
学内論文
大学院紀要=Bulletin of graduate studies
法政大学大学院紀要. 理工学・工学研究科編
法政大学大学院紀要. 理工学研究科編
法政大学大学院紀要. デザイン工学研究科編
法政大学大学院紀要. 情報科学研究科編
法政大学懸賞論文優秀論文集
法政大学国際文化学部国際社会演習トランスナショナル・ヒストリー研究卒業論文集
このアイテムのアクセス数:
56
件
(
2024-12-27
02:25 集計
)
Permalink : https://doi.org/10.15002/00022719
Permalink : https://hdl.handle.net/10114/00022719
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
gradcis_15_17T2011
pdf
344 KB
74
論文情報
ファイル出力
アイテムタイプ
紀要論文
タイトル
A New Mutant Generation Algorithm based on Path Coverage for Mutant Reduction
著者
著者名
Xu, Qin
言語
eng
ISSN
24321192
DOI
https://doi.org/10.15002/00022719
出版者
法政大学大学院情報科学研究科
雑誌名
法政大学大学院紀要. 情報科学研究科編
巻
15
開始ページ
1
終了ページ
6
発行年
2020-03-24
著者版フラグ
Version of Record
キーワード
Mutation Testing
Path Coverage
Mutant Reduction
Control Flow Graph
抄録
Mutation testing is a fault-based white-box testing technique that can be applied to evaluate the adequacy of a given test suite, but its application is very time-consuming due to the necessity of generating and executing a great number of mutants. How to reduce the cost still remains a challenge for research. In our research, we present a new mutant generation algorithm based on the basic path coverage to reduce mutants. The algorithm is characterized by implementing a basic path segment identification criterion for determining appropriate program points at which faults are inserted and a mutant generation priority criterion for selecting proper mutant operators to make a fault for insertion. We discuss the algorithm by analyzing how the two criteria are realized based on analyzing the control flow graph (CFG) of the program under test and applying effective mutation operators on the appropriate statements in the relevant path segments. We also present an automated mutation testing tool that supports the proposed approach, and a small experiment to evaluate our tool by comparing it with a traditional mutation testing method on six programs. The result of the experiment suggests that using the method of this paper, the high mutation score can be maintained while reducing the number of mutants.
資源タイプ
Article
書誌レコードID
AA12746425
インデックス
資料タイプ別
 > 
学内論文
 > 
法政大学大学院紀要. 情報科学研究科編
501 学内論文
 > 
紀要
 > 
法政大学大学院紀要. 情報科学研究科編
 > 
15
ホームへ戻る