文献

J-GLOBAL ID：201702223527464773   整理番号：17A1027319

モデルベース突然変異体等価性のためのオートマトン言語等価性とシミュレーション:経験的評価【Powered by NICT】

Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation

著者 (6件)： Devroey Xavier ,  Perrouin Gilles ,  Papadakis Mike ,  Legay Axel ,  Schobbens Pierre-Yves ,  Heymans Patrick
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICST  ページ： 424-429  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 突然変異分析により,一般的な試験評価方法である。ミューテーションスコア,どれだけ多くの変異体はテストスイートによって明らかにされた示すに依存している。今までのところ,その挙動は元のシステムに相当し,分析資源を浪費すると完全(100%)ミューテーションスコアの満足度を防ぐ突然変異体である。有限行動モデルでは,等価突然変異問題(EMP)は非決定性有限オートマトンの言語等価性オートマトン理論のよく研究されているが,計算機的に高価で,問題となるによって対処することができる。本論文では,1170種類の変異体の15,000までの状態のサイズの3モデルに対するEMPを扱うために最新の正確な言語等価ツールの予備的評価について報告した。比較のベースラインとしてランダムと突然変異バイアスシミュレーション発見的方法を導入した。結果を正確なアプローチは弱い変異シナリオではしばしば十倍以上速いことを示した。強い変異に対して,バイアスシミュレーションは300状態よりもより大きなモデルの方が速かった。は最大1,000倍速くできる平均~10等価体としてmisclassifying非等価変異体の誤差を制限していた。,アプローチは効率改善のために組み合わせることができると結論した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 決定性オートマトン ,  *言語 ,  発見的方法 ,  *等価性 ,  オートマトン理論 ,  *シミュレーション ,  *変異 ,  計算機械 ,  効率化 ,  *突然変異 ,  *オートマトン ,  基準線
準シソーラス用語： 行動モデル ,  変異解析 ,  *モデルベース , 【Automatic Indexing@JST】

分類 (3件)： 酵素一般  (EB09010D) ,  遺伝的変異  (EC01030Y) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (7件)： モデルベース ,  突然変異体 ,  等価性 ,  オートマトン ,  言語 ,  シミュレーション ,  経験的評価