6 0 0 0 OA テスト入力値生成技術の研究動向
- 著者
- 丹野 治門 倉林 利行 張 暁晶 伊山 宗吉 安達 悠 岩田 真治 切貫 弘之
- 出版者
- 日本ソフトウェア科学会
- 雑誌
- コンピュータ ソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.34, no.3, pp.3_121-3_147, 2017-07-25 (Released:2017-08-09)
テスト設計を効率よく行うために必要となるテスト入力値生成技術に関する調査を行った.ソフトウェア工学分野とソフトウェアテスト分野における5つの主要会議 (ICSE,FSE,ASE,ISSTA,ICST)の過去約10年分の研究論文を調査対象とした.本論文では,これらの手法を目的別に整理したうえで,それぞれの手法の概要を紹介する.
2 0 0 0 深層学習と遺伝的アルゴリズムを用いたプログラム自動生成
- 著者
- 倉林 利行 吉村 優 切貫 弘之 丹野 治門 富田 裕也 松本 淳之介 まつ本 真佑 肥後 芳樹 楠本 真二
- 雑誌
- ソフトウェアエンジニアリングシンポジウム2020論文集
- 巻号頁・発行日
- vol.2020, pp.143-152, 2020-09-03
本論文ではソフトウェア開発における実装の自動化に向けたファーストステップとして,プログラミングコンテスト AtCoder の正解プログラムを自動生成する技術の開発を目指す.自動プログラミングの既存研究としては,生成したいプログラムの入出力例からプログラム部品を合成する手法などが存在するが,プログラム部品の組み合わせ爆発により入出力例を満たすプログラムが生成できない,また生成できたとしても入出力例は満たすが正しいプログラムではないというオーバーフィッティングしたプログラムが生成されてしまうという課題が存在した.本論文では深層学習を用いて過去の問題情報から問題文と正解プログラムの関係性を学習することで上記の問題を解決する.具体的には学習済みモデルを用いて過去の問題情報から解きたい問題と類似した問題を検索して取得し,その正解プログラムを雛形としてプログラムを複数個合成し,再び学習済みモデルを用いて生成されたプログラムから最も問題文との関係性が近いプログラムを判定して出力する手法を提案した.提案手法は AtCoder の配点が 100 点の問題 92 問に対して評価を行い,24 問の正解プログラムの自動生成を確認した.
- 著者
- 渡辺 大登 柗本 真佑 肥後 芳樹 楠本 真二 倉林 利行 切貫 弘之 丹野 治門
- 雑誌
- 情報処理学会論文誌 (ISSN:18827764)
- 巻号頁・発行日
- vol.63, no.10, pp.1564-1573, 2022-10-15
自動プログラム生成(APG)の実現を目指し,生成と検証に基づく自動プログラム修正(APR)を転用した手法が提案されている.APRはバグを含むソースコードをすべてのテストケースに通過するように全自動で改変する技術である.APRを転用したAPGでは,初期状態のソースコードを未実装,つまり複数のバグが含まれていると仮定し,ソースコードの改変,評価,選択を繰り返してソースコードを目的の状態に近づけていく.一般的なAPRでは改変ソースコードの評価指標として,テストケース通過数がよく用いられる.この指標は単一バグの修正を目的とした場合には問題にならないが,複数バグの修正時にはコード評価の表現能力不足という問題につながる.よって,初期状態に複数バグの存在を仮定するAPGにおいては,解決すべき重要な課題である.そこで,本研究ではAPGの成功率改善を目的とした多目的遺伝的アルゴリズムの適用を提案する.また,多目的遺伝的アルゴリズムによる高い個体評価の表現能力を利用した,相補的なテスト結果の2個体を選択的に交叉する手法も提案する.評価実験として,プログラミングコンテストの問題80問を題材に提案手法の効果を確かめた結果,成功率の有意な向上を確認した.