文献
J-GLOBAL ID:201602280812185411   整理番号:16A0696965

MuVM:C言語のための高次ミューテーション解析仮想機械【Powered by NICT】

MuVM: Higher Order Mutation Analysis Virtual Machine for C
著者 (4件):
資料名:
巻: 2016  号: ICST  ページ: 320-329  発行年: 2016年 
JST資料番号: W2441A  資料種別: 会議録 (C)
記事区分: 原著論文  発行国: アメリカ合衆国 (USA)  言語: 英語 (EN)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ミューテーション解析は,人為的に誤りを埋め込み,テストスイートによって検出された埋め込んだ誤りの割合を測定することによって,テストスイートの有効性を評価するための方法である。それはミュータントと呼ばれる多数のミューテーションを行ったプログラムの生成,コンパイル,実行を伴うため,ミューテーション解析の主な制限は,非常に長い実行時間である。著者らのツールMuVMは4つの技術,メタミューテーション,仮想マシン上のミューテーション,より高次のスプリットストリームの実行,オンライン適応技法を用いて,より高次のミューテーション解析を行うことにより,大幅なランタイムの改善を実現している。直接ソースコードをミューテーションするのと同じ挙動を得るために,メタミューテーションは,ビットコードのコンパイルと最適化の際に失われる可能性があるミューテーションの位置情報を保存する。仮想マシン上のミューテーションは,プログラムのコンパイルを1回,プロセスの呼び出しを1回とすることにより,コンパイルおよびテストのコストを削減する。高次スプリットストリームの実行も,ミュータントの共通部分を併せて実行し,埋め込んだ誤りでの実行を分割することにより,テストコストを削減する。オンライン適応技法は実行不可能なミュータントを除外することによりミュータントの生成数を減少させる。著者らのツールは,既存のツール,既存の技術(ミューテーションスキーマ生成),高次ミューテーションでのスプリットストリームのない実行よりも非常に優れていることを比較実験が示している。Copyright 2016 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
, 【Automatic Indexing@JST】
分類 (3件):
分類
JSTが定めた文献の分類名称とコードです
信号理論  ,  音声処理  ,  パターン認識 
タイトルに関連する用語 (3件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る