权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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言語のソースコード向けのツールプラットフォームを開発した。

The automatic correction technology for the automatic correction of the vibration mode of the vibration mode, including the detection of the vibration mode of the vibration mode of the In 2022, the main research projects were implemented. (1) Search for the automatic selection of the list, correct the list, and complete the selection of the list. The reliability, reliability and reliability of the system are discussed in detail below. The possibility of correcting the error in the file automatically results in the error in the file provided by the developer and receiving the error in the file is low. This study is based on the study of the use of genetic resources to automatically modify the system, developers can accept the input of genetic resources to improve the status of genetic resources, and the purpose of this study is to carry out research on genetic resources. (2) Automatic power generation, vibration control, selection, competition, difference, image control, influence and range control. The ability to resolve dependencies is very difficult, and it affects the scope of the problem. For example, if you want to use Java language, you can use Java language.