文献

J-GLOBAL ID：201702222762187709   整理番号：17A0371392

博物館:変異解析を用いた実世界デバッギング多言語プログラム【Powered by NICT】

MUSEUM: Debugging real-world multilingual programs using mutation analysis

著者 (7件)： Hong Shin (Handong Global University, 558 Handong-ro, Buk-gu, Pohang, Gyeongbuk, 37554, South Korea) ,  Kwak Taehoon (Korea Institute of Science and Technology, 291 Daehak-ro, Yuseong-gu, Daejeon, 34141, South Korea) ,  Lee Byeongcheol (Gwangju Institute of Science and Technology, 123 Cheomdangwagi-ro, Buk-gu, Gwangju, 61005, South Korea) ,  Jeon Yiru (Korea Institute of Science and Technology, 291 Daehak-ro, Yuseong-gu, Daejeon, 34141, South Korea) ,  Ko Bongseok (Gwangju Institute of Science and Technology, 123 Cheomdangwagi-ro, Buk-gu, Gwangju, 61005, South Korea) ,  Kim Yunho (Korea Institute of Science and Technology, 291 Daehak-ro, Yuseong-gu, Daejeon, 34141, South Korea) ,  Kim Moonzoo (Korea Institute of Science and Technology, 291 Daehak-ro, Yuseong-gu, Daejeon, 34141, South Korea)
資料名： Information and Software Technology  (Information and Software Technology)
巻： 82  ページ： 80-95  発行年： 2017年 
JST資料番号： B0445B  ISSN： 0950-5849  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 文脈プログラミング言語生態系は過去数十年にわたる多様化してきた。自明でないプログラムは種々の制御/データ抽象化と遺産ライブラリーを利用する単一言語以上で書かれたと思われる。言語インタフェイスを正確に使用することは困難であるため【目的】デバッギング多言語バグは困難であると故障点標定の範囲は,言語境界を超える。実世界多言語バグの原因を特定するために,本論文では,基づく故障点標定法(博物館)を提案した。【方法】博物館は,著者らの新しい突然変異演算子として従来の突然変異演算子を用いたバギープログラムを変化させる系統的に,テストスイートの動的行動変化を観察し,疑わしいステートメントを報告した。分析コストを低減するために,博物館は変異したプログラムとテストケースのサブセットを選択する。【結果】実験的評価は,博物館である(i)有効であることを示す:それは現実世界の多言語プログラミングプロジェクトにおける分離および非分離両方の非自明なバグの最も疑わしいステートメントとしてバギーステートメントを同定するおよび(ii)効率的な:それは,複数機械を並列に用いた時間の中程度の量のバギーステートメントを配置する。,選択的変異分析(すなわち,使用変異体とテストケースのサブセット選択)を適用することにより,博物館は完全変異解析と比較して限界精度損失と有意な高速化を達成した。【結論】は博物館は,実際の多言語バグを正確にと結論した。この結果は変異分析は,多言語コードに有効で,効率的で,言語意味論不可知論的解析を提供することができることを示した。軽量解析手法はプログラマ書込みとして重要な役割を果たし,多様なプログラミング言語における大規模で複雑なプログラムをデバッグするであろう。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 高速化 ,  ソフトウェア障害 ,  プログラマ ,  *博物館 ,  意味論 ,  故障点標定 ,  プログラミング言語 ,  インタオペラビリティ ,  *言語 ,  部分集合 ,  *デバッギング
準シソーラス用語： テストケース ,  テストスイート ,  突然変異演算子 ,  *多言語 , 【Automatic Indexing@JST】

著者キーワード (4件)： デバッギング ,  変異解析 ,  言語相互運用性 ,  外来関数インタフェイス

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： 博物館 ,  変異解析 ,  世界 ,  デバッギング ,  多言語