权益分类	功能权益	普通用户	{{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言語のソースコード向けのツールプラットフォームを開発した。

バグを有むプログラムとその真る武いを検超碰するテストケースを与えて、バグをtake out the いたソースコードを output するautomatic プログラム correction technology を応用することで、INDEPENDENT に変 Update されたプログラムのソースコードをマージする国际に発生するThe automatic solution of competition and cooperation is the establishment of the official group, and the construction of the new system is the automatic solution. In 2022, the main research project will be implemented. (1) テストケースをオラクルとして Use いる to explore ベースのautomatic プログラム correct システムは, and えられたすべてのテストケースに succeeded and するプログラムを contributed するだけである.このため, 见性や信格性の観点から开発者にとって, Received Enter the れられないcorrectionプログラムが出力されることが発生する.このような corrected プログラムをautomatic マージ results としてprovided しても, open発之人がそのプログラムをそのままReceivedけ入れる possibility is lowい.そこで、This research uses the するるリズムに记づくautomatic プログラムcorrection システムにおいて、开発者がReceive け入れIt may be possibleかを明らかにすることをPurpose and とした実证 Research を行った. (2) Automatic マージによって power output vibrationる Dance いを検CHE するテストケースを选択するためには, MATCH合する変艉がマージ対向のソースコードやテストコードに対して Impact を and える Fan 囲を grasp するnecessary がある. The analysis of ツールは and オブジェクト pointed to プログラムのソースコードに対するThe ability to analyze relationships is very difficult, and it is very difficult to grasp the influence of others correctly.そこで、メソッドをまたがるデータフロー、moving restraint を与うメソッドcall outし、unstructured プログラミングに対応した、Java language のソースコード向けのツールプラットフォームを开発した.