An environment for supporting behavior-preserving manual refactoring

• Project/Area Number: 25K03102
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60050:Software-related
• Research Institution: Ritsumeikan University
• Principal Investigator: 丸山 勝久 立命館大学, 情報理工学部, 教授 (30330012)
• Co-Investigator(Kenkyū-buntansha): 肥後 芳樹 大阪大学, 大学院情報科学研究科, 教授 (70452414) ; 林 晋平 東京科学大学, 情報理工学院, 教授 (40541975) ; 松本 真佑 大阪大学, 大学院情報科学研究科, 准教授 (90583948)
• Project Period (FY): 2025-04-01 – 2029-03-31
• Project Status: Granted (Fiscal Year 2025)
• Budget Amount: ¥18,720,000 (Direct Cost: ¥14,400,000、Indirect Cost: ¥4,320,000); Fiscal Year 2028: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000); Fiscal Year 2027: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000); Fiscal Year 2026: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2025: ¥5,590,000 (Direct Cost: ¥4,300,000、Indirect Cost: ¥1,290,000)
• Keywords: リファクタリング / テストケース生成 / プログラミング支援 / データフロー解析 / 統合開発環境

Outline of Research at the Start

開発者に自由な編集を許す手動リファクタリングでは、その適用前後のソースコードに対する外部的振る舞い検査は必須である。しかしながら、回帰テストに基づく従来の検査手法では、生成されるテストケースが不足することによる検知漏れと、不要なテストケースを検査対象とすることによる過剰検知が発生し、実用性に大きく欠ける。本研究では、ソースコードに対する静的解析技法を最大限に活用することで、手動リファクタリングにおいて、外部的振る舞いの高精度な検査手法の確立を目指す。