Fully Automated Resolution of Merge Conflicts to Promote Individual Software Changes

バグを含むプログラムとその振る舞いを検査するテストケースを与えて、バグを取り除いたソースコードを出力する自動プログラム修正技術を応用することで、独立に変更されたプログラムのソースコードをマージする際に発生する競合を自動的に解決する仕組みを確立し、それを実現するツールを構築する。2022年度は、主に2つの研究項目を実施した。（１）テストケースをオラクルとして用いる探索ベースの自動プログラム修正システムは、与えられたすべてのテストケースに成功するプログラムを出力するだけである。このため、可読性や信頼性の観点から開発者にとって、受け入れられない修正プログラムが出力されることが発生する。このような修正プログラムを自動マージ結果として提供しても、開発者がそのプログラムをそのまま受け入れる可能性はきわめて低い。そこで、本研究で利用する遺伝的アルゴリズムに基づく自動プログラム修正システムにおいて、開発者が受け入れ可能なプログラムがどのような状況において出力されるのかを明らかにすることを目的とした実証的研究を行った。（２）自動マージによって出力されるプログラムの振る舞いを検査するテストケースを選択するためには、競合する変更差分がマージ対象のソースコードやテストコードに対して影響を与える範囲を把握する必要がある。従来の静的解析ツールは、オブジェクト指向プログラムのソースコードに対する依存関係解析の能力が十分でなく、影響波及範囲を正確に把握することが困難であった。そこで、メソッドをまたがるデータフロー、動的束縛を伴うメソッド呼び出し、非構造化プログラミングに対応した、Java言語のソースコード向けのツールプラットフォームを開発した。

バグを含むプログラムとその振る舞いを検査するテストケースを与えて、バグを取り除いたソースコードを出力する自動プログラム修正技術を応用することで、独立に変更されたプログラムのソースコードをマージする際に発生する競合を自動的に解決する仕組みを確立し、それを実現するツールを構築する。2022年度は、主に2つの研究項目を実施した。（１）テストケースをオラクルとして用いる探索ベースの自動プログラム修正システムは、与えられたすべてのテストケースに成功するプログラムを出力するだけである。このため、可読性や信頼性の観点から開発者にとって、受け入れられない修正プログラムが出力されることが発生する。このような修正プログラムを自動マージ結果として提供しても、開発者がそのプログラムをそのまま受け入れる可能性はきわめて低い。そこで、本研究で利用する遺伝的アルゴリズムに基づく自動プログラム修正システムにおいて、開発者が受け入れ可能なプログラムがどのような状況において出力されるのかを明らかにすることを目的とした実証的研究を行った。（２）自動マージによって出力されるプログラムの振る舞いを検査するテストケースを選択するためには、競合する変更差分がマージ対象のソースコードやテストコードに対して影響を与える範囲を把握する必要がある。従来の静的解析ツールは、オブジェクト指向プログラムのソースコードに対する依存関係解析の能力が十分でなく、影響波及範囲を正確に把握することが困難であった。そこで、メソッドをまたがるデータフロー、動的束縛を伴うメソッド呼び出し、非構造化プログラミングに対応した、Java言語のソースコード向けのツールプラットフォームを開発した。