| 研究課題/領域番号 |
23K19961
|
|---|
| 研究種目 |
研究活動スタート支援
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
1001:情報科学、情報工学およびその関連分野
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
田邉 裕大 京都大学, 情報学研究科, 特定研究員 (30985198)
|
|---|
| 研究期間 (年度) |
2023-08-31 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
2,860千円 (直接経費: 2,200千円、間接経費: 660千円)
2024年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2023年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | プログラミング言語 / ソフトウェア更新支援 / ソフトウェア互換性 / バージョン |
|---|
| 研究開始時の研究の概要 |
本研究はソフトウェアの更新を支援する手法の確立を目的とし、意味的バージョンを介して互換性を検査・保証するプログラミング言語の研究を行う。ソフトウェアの更新は多大な実装コストを伴うが更新の支援技術は不足しており、開発の硬直化が問題となっている。本研究は意味的バージョンをプログラミング言語に導入し(1)意味的バージョン計算機：ユニットテストや型検査を用いた新旧の実装の互換性の分類法(2)漸進的プログラム更新：更新で破綻したプログラムの式単位での新バージョンへの移行法を開発する。本研究は更新エラーの原因や修正法の指示を可能にし、更新で破綻したプログラムを自動で特定・修復する技術への展開が期待される。
|
