Fully Automated Resolution of Merge Conflicts to Promote Individual Software Changes

全自动解决合并冲突以促进单个软件变更

基本信息

批准号：
22K11985
负责人：
丸山勝久
金额：
$ 2.75万
依托单位：
Ritsumeikan University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2022
资助国家：
日本
起止时间：
2022-04-01 至 2025-03-31
项目状态：
未结题

项目摘要

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

当通过应用自动程序修改技术合并独立修改的程序的源代码时，会出现此问题，该技术通过给出检查包含错误的程序及其行为的测试用例来输出删除了错误的源代码建立自动解决冲突的机制。发生的事情，并构建工具来实现它。 2022年，我们主要进行了两项研究。 (1)基于搜索的自动程序修改系统，使用测试用例作为预言机，仅输出通过所有给定测试用例的程序。因此，从可读性和可靠性的角度来看，可能会输出开发者无法接受的修改后的程序。即使通过自动合并提供了这样的修复，开发人员也不太可能按原样接受该程序。因此，我们进行了实证研究，目的是明确本研究中使用的基于遗传算法的自动程序修改系统在什么情况下会输出开发人员可以接受的程序。 (2) 为了选择通过自动合并来检查程序输出的行为的测试用例，有必要了解冲突的更改差异对要合并的源代码和测试代码的影响程度。传统的静态分析工具缺乏足够的能力来分析面向对象程序源代码的依赖关系，难以准确掌握影响范围。因此，我们开发了Java语言源代码的工具平台，支持跨方法的数据流、动态绑定的方法调用以及非结构化编程。