2023 Fiscal Year Annual Research Report
Enhancing Automated Software Evolution via Building and Utilizing Large-Scale Software Evolution Corpora
| Project/Area Number |
22H03567
|
|---|
| Allocation Type | Single-year Grants |
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
林 晋平 東京工業大学, 情報理工学院, 准教授 (40541975)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
肥後 芳樹 大阪大学, 大学院情報科学研究科, 教授 (70452414)
小林 隆志 東京工業大学, 情報理工学院, 教授 (50345386)
丸山 勝久 立命館大学, 情報理工学部, 教授 (30330012)
|
|---|
| Project Period (FY) |
2022-04-01 – 2026-03-31
|
| Keywords | ソフトウェア進化 / リファクタリング / アノテーション / 進化コーパス / 版管理システム |
|---|
| Outline of Annual Research Achievements |
本研究は，リファクタリング等の類型化可能なプログラム変換の多くを表現可能な進化コーパスを作成し，ソフトウェア自動進化技術の適用可能範囲，進化分析技術の妥当性を改善させることを目指すものである．令和5年度では，主に以下の成果を得た．(1)アノテーションのスキーマおよび進化オペレータの概念階層の検討を進めた．また，これに基づき作成したリファクタリング事例の検索エンジンをより洗練させ，コミットのアノテーション環境とより接続しやすいよう改善した．(2)リファクタリングのアノテーション環境を整備し，コミット内に含まれる変更のうち類似箇所を特定して強調表示することでリファクタリングに相当する変更の捜索を支援するインタフェースを実装した．また，複数の種類の変更が混在したコミットに含まれるリファクタリング操作を特定しやすいよう，変更を分割する機能も実現した．変更分割においては，部分的に特定した変更のみを適用した中間状態となるソースコードの版を作成し，中間状態と最終状態の間から改めて差分を得て残りの変更の識別に用いることにより，変更全体の識別を効率化する．(3)多様なプログラミング言語への適用を想定し，抽象構文木に基づきソースコード変更をパターン化し，得られたパターンに基づきソースコードを自動適用するための基盤を開発した．(4)リファクタリングやバグ修正などの変更の適用支援，推薦，合成，ソースコード分析技術の開発を行った．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
本研究は，リファクタリング等のプログラム変換を表現可能な進化コーパスの作成及びその応用を目指している．令和5年度では，その重要な基盤でなる，変更アノテーション環境の大幅な改善を行った．また，変更の識別を効率的にすすめるための変更のパターン化の開発も進めた．
|
| Strategy for Future Research Activity |
令和6年度では，令和5年度に開発を進めたアノテーションツールをより洗練させ，リファクタリング操作に対するアノテーションの実施を進める．その際には，類似する変更が効率よく特定できるか，また様々な変更意図が混在した複雑な変更に対してもアノテーションが行えるかの評価も実施する．さらに，アノテーション候補を自動で特定するための変更のマッチング技術の開発も引き続き進める．
|
