文献

J-GLOBAL ID：201902282318835236   整理番号：19A1094463

関数型プログラムの条件式のための反例を用いた自動修正

Automatic Repair of Conditional Expressions for Functional Programs by Using Counterexamples

著者 (4件)： 松井健 (九大 工) ,  佐藤亮介 (九大 大学院システム情報科学研究院) ,  鵜林尚靖 (九大 大学院システム情報科学研究院) ,  亀井靖高 (九大 大学院システム情報科学研究院)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 118  号： 471(SS2018 52-84)(Web)  ページ： 169-174 (WEB ONLY)  発行年： 2019年02月25日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ソフトウェア開発において,手動によるバグ修正には多くの手間と時間がかかる.開発者の負担を減らすため自動バグ修正の研究が行われているが,関数型プログラムを対象としたものは存在しない.本研究では,関数型プログラムを対象とした自動バグ修正手法を提案する.対象言語は単純型付きラムダ計算に整数,ブール値,及び再帰を含んだもので,対象のバグは条件分岐の条件式における誤りである.まず,ソフトウェアモデル検査器によりプログラムを検査し,反例を利用して修正すべき箇所を特定する.次に,修正のための制約及びパッチを生成する.修正後,プログラムを再検査し,反例が存在しなくなるまで修正操作を繰り返す.自ら作成したにバグに本手法を手動で適用したところ,バグ修正可能であることが確認できた.(著者抄録)

シソーラス用語： *関数プログラミング ,  条件 ,  定理証明 ,  *修正 ,  ソフトウェア障害 ,  *モデル検査 ,  実験 ,  評価実験
準シソーラス用語： 関数型プログラミング ,  条件式 ,  反例 ,  バグ

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

引用文献 (7件)：

• J. Xuan, M. Martinez, F. DeMarco, M. Clement, S.L. Marcote, T. Durieux, D.L. Berre, and M.M. and, “Nopol: Automatic repair of conditional statement bugs in java programs,” IEEE, vol.43, no.1, pp.34-35, 2017.
• C.L. Goues, T. Nguyen, S. Forrest, and W. Weimer, “Genprog: A generic method for automatic software repair,” IEEE, vol.38, no.1, pp.54-72, 2012.
• L. Gazzola, D. Micucci, and L. Mariani, “Automatic software repair: A survey,” IEEE, vol.45, no.1, pp.34-67, 2019.
• N. Kobayashi, R. Sato, and H. Unno, “Predicate abstraction and CEGAR for higher-order model checking,” Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, pp.222-233, 2011.
• deMoura Leonardo and N. Bjørner, “Z3: An efficient smt solver,” Tools and Algorithms for the Construction and Analysis of Systems, pp.337-340, 2008.

タイトルに関連する用語 (2件)： 関数 ,  反例