プログラミング言語への意味的バージョンの導入による更新支援技術の研究

Research Project

Project/Area Number	23K19961
Research Category	Grant-in-Aid for Research Activity Start-up
Allocation Type	Multi-year Fund
Review Section	1001:Information science, computer engineering, and related fields
Research Institution	Kyoto University
Principal Investigator	田邉裕大京都大学, 情報学研究科, 特定研究員 (30985198)
Project Period (FY)	2023-08-31 – 2025-03-31
Project Status	Granted (Fiscal Year 2023)
Budget Amount *help	¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000) Fiscal Year 2024: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000) Fiscal Year 2023: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Keywords	プログラミング言語 / ソフトウェア更新支援 / ソフトウェア互換性 / バージョン
Outline of Research at the Start	本研究はソフトウェアの更新を支援する手法の確立を目的とし、意味的バージョンを介して互換性を検査・保証するプログラミング言語の研究を行う。ソフトウェアの更新は多大な実装コストを伴うが更新の支援技術は不足しており、開発の硬直化が問題となっている。本研究は意味的バージョンをプログラミング言語に導入し(1)意味的バージョン計算機：ユニットテストや型検査を用いた新旧の実装の互換性の分類法(2)漸進的プログラム更新：更新で破綻したプログラムの式単位での新バージョンへの移行法を開発する。本研究は更新エラーの原因や修正法の指示を可能にし、更新で破綻したプログラムを自動で特定・修復する技術への展開が期待される。