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
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K11985/
• 关键词: マージ競合; 版管理; 自動プログラム修正; ソフトウェア保守と進化; ソフトウェア開発環境; プログラム解析; 並行開発

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

通过应用自动程序校正技术来输出删除错误的源代码，提供了一个测试案例，以检查包含错误及其行为的程序，并应用自动程序修改技术，建立了一个系统，该系统可以自动解析在合并独立修改程序的源代码时发生的冲突，并实现了实现此工具以实现此构建。 2022年，进行了两项主要的研究项目。 （1）使用测试用例作为Oracle的基于搜索的自动程序校正系统只会输出在所有给定的测试用例中成功的程序。从可读性和可靠性的角度来看，这会导致开发人员无法接受的补丁的输出。即使由于自动合并而提供了此类修复程序，开发人员不太可能接受该程序。因此，我们进行了一项实证研究，旨在阐明开发人员可以接受的情况是根据本研究中使用的遗传算法在自动化程序修改系统中输出的情况。 （2）为了选择一个测试用例以通过自动合并来检查程序输出的行为，有必要了解冲突变化差异影响源代码和测试代码的程度。常规的静态分析工具无法分析对面向对象程序的源代码的依赖性的能力，因此很难准确掌握影响连锁反应的效果的程度。因此，我们为Java语言源代码开发了一个工具平台，该工具平台支持跨方法，使用动态约束的方法调用和非结构化编程。

项目成果

プルリクエストのレビューを支援するツールプラットフォーム

帮助审查拉取请求的工具平台

• 发表时间: 2022
• 作者: Kanon Harada;Katsuhisa Maruyama;原田和音，丸山勝久;トウ ハクブン，丸山勝久
• 通讯作者: トウ ハクブン，丸山勝久

欠陥限局および自動プログラム修正のための自動テスト生成と実行経路を用いたテスト選択

使用自动测试生成和执行路径进行测试选择，以进行缺陷定位和自动程序校正

• 发表时间: 2022
• 作者: 入山優;肥後芳樹;楠本真二
• 通讯作者: 楠本真二

プログラム構造が自動生成テストの網羅率に与える影響の調査

程序结构对自动生成测试覆盖率的影响研究

• 发表时间: 2023
• 作者: 渡邉凌雅;肥後芳樹;楠本真二
• 通讯作者: 楠本真二

コマンドの編集距離に基づくDockerfileにおける類似記述の検索

根据命令编辑距离在Dockerfile中搜索相似描述

• 发表时间: 2023
• 作者: Luwei Chen;Daisuke Ishii;中村 碧海，丸山 勝久
• 通讯作者: 中村 碧海，丸山 勝久

Classification of Changes Based on API

基于API的变更分类

• DOI: 10.1007/978-3-031-21388-5_5
• 发表时间: 2022
• 期刊: Proceedings of International Conference on Product-Focused Software Process Improvement
• 作者: Iriyama Masashi;Higo Yoshiki;Kusumoto Shinji
• 通讯作者: Kusumoto Shinji