| 研究課題/領域番号 |
23K24823
|
|---|
| 補助金の研究課題番号 |
22H03567 (2022-2023)
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 基金 (2024)
補助金 (2022-2023) |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60050:ソフトウェア関連
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
林 晋平 東京工業大学, 情報理工学院, 准教授 (40541975)
|
|---|
| 研究分担者 |
丸山 勝久 立命館大学, 情報理工学部, 教授 (30330012)
小林 隆志 東京工業大学, 情報理工学院, 教授 (50345386)
肥後 芳樹 大阪大学, 大学院情報科学研究科, 教授 (70452414)
|
|---|
| 研究期間 (年度) |
2022-04-01 – 2026-03-31
|
| 研究課題ステータス |
交付 (2024年度)
|
| 配分額 *注記 |
17,290千円 (直接経費: 13,300千円、間接経費: 3,990千円)
2025年度: 3,510千円 (直接経費: 2,700千円、間接経費: 810千円)
2024年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2023年度: 4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
2022年度: 5,590千円 (直接経費: 4,300千円、間接経費: 1,290千円)
|
|---|
| キーワード | リファクタリング / ソフトウェア進化 / 進化コーパス / アノテーション / 版管理システム |
|---|
| 研究開始時の研究の概要 |
プログラム変換の組合せによるソフトウェア自動進化の手法が精力的に研究されている．しかし，従来手法で扱われている変換は限定的であり，それらを組み合わせても現実のソフトウェア進化を表現しきれない．本研究課題では，現実のソフトウェア開発履歴から進化オペレータを効率よく抽出する方法を開発することで，類型化可能な変換とその実例集として大規模な進化コーパスを構築し，現実に行われる進化を表現・提案可能にすることを目指す．
|
| 研究実績の概要 |
本研究は，リファクタリング等の類型化可能なプログラム変換の多くを表現可能な進化コーパスを作成し，ソフトウェア自動進化技術の適用可能範囲，進化分析技術の妥当性を改善させることを目指すものである．令和5年度では，主に以下の成果を得た．(1)アノテーションのスキーマおよび進化オペレータの概念階層の検討を進めた．また，これに基づき作成したリファクタリング事例の検索エンジンをより洗練させ，コミットのアノテーション環境とより接続しやすいよう改善した．(2)リファクタリングのアノテーション環境を整備し，コミット内に含まれる変更のうち類似箇所を特定して強調表示することでリファクタリングに相当する変更の捜索を支援するインタフェースを実装した．また，複数の種類の変更が混在したコミットに含まれるリファクタリング操作を特定しやすいよう，変更を分割する機能も実現した．変更分割においては，部分的に特定した変更のみを適用した中間状態となるソースコードの版を作成し，中間状態と最終状態の間から改めて差分を得て残りの変更の識別に用いることにより，変更全体の識別を効率化する．(3)多様なプログラミング言語への適用を想定し，抽象構文木に基づきソースコード変更をパターン化し，得られたパターンに基づきソースコードを自動適用するための基盤を開発した．(4)リファクタリングやバグ修正などの変更の適用支援，推薦，合成，ソースコード分析技術の開発を行った．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
本研究は，リファクタリング等のプログラム変換を表現可能な進化コーパスの作成及びその応用を目指している．令和5年度では，その重要な基盤でなる，変更アノテーション環境の大幅な改善を行った．また，変更の識別を効率的にすすめるための変更のパターン化の開発も進めた．
|
| 今後の研究の推進方策 |
令和6年度では，令和5年度に開発を進めたアノテーションツールをより洗練させ，リファクタリング操作に対するアノテーションの実施を進める．その際には，類似する変更が効率よく特定できるか，また様々な変更意図が混在した複雑な変更に対してもアノテーションが行えるかの評価も実施する．さらに，アノテーション候補を自動で特定するための変更のマッチング技術の開発も引き続き進める．
|
