文献

J-GLOBAL ID：201702241276435760   整理番号：17A0266939

並行プログラムのデータ競合故障に基づく突然変異戦略【JST・京大機械翻訳】

Mutation strategy based on concurrent program data racing fault

著者 (4件)： Wu Yubo (Department of Computer Science and Technology, Beijing University of Chemical Technology) ,  Guo Junxia (Department of Computer Science and Technology, Beijing University of Chemical Technology) ,  Li Zheng (Department of Computer Science and Technology, Beijing University of Chemical Technology) ,  Zhao Ruilian (Department of Computer Science and Technology, Beijing University of Chemical Technology)
資料名： Jisuanji Yingyong  (Jisuanji Yingyong)
巻： 36  号： 11  ページ： 3170-3177,3195  発行年： 2016年 
JST資料番号： C2535A  ISSN： 1001-9081  CODEN： JYIIDU  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 同時突然変異オペレータにおける突然変異オペレータによって引き起こされたデータ競合故障の問題を解決するために,データ競合故障に基づく突然変異戦略を提案した。突然変異オペレータの設計の観点から,本論文は,オブジェクト指向の突然変異戦略(LMS)と共有変数に対する突然変異戦略(SMS)を提供し,重置同歩鎖(SLRO)と移出(共有)の2つの同時突然変異オペレータを設計した。本論文では,変異選択の観点から,変異の選択戦略(SMPSS)を提案した。12個のJAVAクラスライブラリのプログラムにおいて,SLROとMSVO演算子を用いて,SMPSSによって選択された突然変異体の故障を生成し,突然変異体を生成し,JPF検出ツールを用いて,生成した変異体によるデータ競合故障を検出する能力を検出した。実験結果は,新しいとと突然変異オペレータがそれぞれ121と122の突然変異体を生成し,突然変異オペレータの有効性はそれぞれ%%と99.19%であることを示した。このことから,新しく設計した同時突然変異オペレータは,データ競合故障を効率的にトリガすることができることがわかった。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： *変異 ,  *突然変異 ,  オペレータ ,  Java ,  *故障

著者キーワード (5件)： concurrent program mutation testing ,  data racing fault ,  lock object ,  shared variable ,  synchronized relationship pair

分類 (1件)： 遺伝的変異  (EC01030Y)

タイトルに関連する用語 (5件)： 並行 ,  データ競合 ,  故障 ,  突然変異 ,  戦略