ソフトウェア工学の最前線~ソフトウェアが社会のすべてを定義する時代~未来に向かって  自動プログラミング,自動バグ修正への夢

肥後芳樹; 鵜林尚靖

文献

J-GLOBAL ID：201702291571406358 整理番号：17A0870012

ソフトウェア工学の最前線~ソフトウェアが社会のすべてを定義する時代~未来に向かって自動プログラミング,自動バグ修正への夢

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=17A0870012&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=17A0870012&from=J-GLOBAL&jstjournalNo=G0427A") }}

著者 (2件)： ,
資料名：
巻： 58 号： 8 ページ： 705-707 発行年： 2017年07月15日
JST資料番号： G0427A ISSN： 0447-8053 資料種別：逐次刊行物 (A)
記事区分：解説発行国：日本 (JPN) 言語：日本語 (JA)

現在欲しい機能を伝えるだけで大規模なプログラムを自動生成することはできないが,不完全なプログラムコードを自動的に補うレベルはソフトウェア工学の技術によって実現されつつある。本論文では,発見したバグを人の手を介さずにプログラムコードから取り除く自動バグ修正手法として,遺伝的プログラミングを用いたGenProgを紹介した。プログラムコードは生物の個体とみなされ,テストケースを用いて評価されてより解に近い状態のプログラムコードから,次世代のプログラムコードが生成される操作をすべてのテストケースを通過するまで繰り返す。一方,ソフトウェア開発現場で利用するには未熟な技術であり,プログラマの多くはインターネット上に偏在する群衆知に助けを求めて問題解決を図っている。そのさらなる高度利用としてソフトウェア開発支援ロボットが群衆知の発生を捉え,リポジトリマイニングによってその形式知化を図り,深層学習に基づく自動プログラミングや自動バグ修正によって利用を支援する「群衆知の循環による群衆ソフトウェア開発エコシステム」を紹介した。

, , , , , , , , , , , , ,
,

計算機システム開発 , その他のオペレーションズリサーチの手法 , その他の情報処理 , 人工知能

引用文献 (6件)：

Goues, C. L., Nguyen, T., Forrest, S. and Weimer, W. : GenProg : A Generic Method for Automatic Software Repair, IEEE Trans. Softw. Eng. 38, 1 (Jan. 2012).
Long, F. and Rinard, M. : Staged Program Repair with Condition Synthesis, In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015).
Ke, Y., Stolee, K. T., Goues, C. L. and Brun, Y. : Repairing Programs with Semantic Code Search. In Proceedings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015).
Xuan, J., Martinez, M., Demarco, F., Clément, M., Lamelas, S., Durieux, T., Berre, D. L. and Monperrus, M. : Nopol : Automatic Repair of Conditional Statement Bugs in Java Programs, IEEE Trans. Softw. Eng. 43, 1 (Jan. 2016).
Murakami, M., Hotta, K., Higo, Y. and Kusumoto, S. : Predicting Next Changes at the Fine-Grained Level, In Proceedings of the 2014 21st Asia-Pacific Software Engineering Conference (APSEC 2014).

, , , , , , ,

前のページに戻る

ソフトウェア工学の最前線~ソフトウェアが社会のすべてを定義する時代~未来に向かって 自動プログラミング,自動バグ修正への夢

ソフトウェア工学の最前線~ソフトウェアが社会のすべてを定義する時代~未来に向かって自動プログラミング,自動バグ修正への夢