Finite Testing with Correctness Guarantee for Polymorphic Programs

• Project/Area Number: 23K11044
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60050:Software-related
• Research Institution: The University of Tokyo
• Principal Investigator: 森畑 明昌 東京大学, 大学院総合文化研究科, 准教授 (10582257)
• Project Period (FY): 2023-04-01 – 2028-03-31
• Project Status: Granted (Fiscal Year 2023)
• Budget Amount: ¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000); Fiscal Year 2027: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2026: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2025: ¥260,000 (Direct Cost: ¥200,000、Indirect Cost: ¥60,000); Fiscal Year 2024: ¥390,000 (Direct Cost: ¥300,000、Indirect Cost: ¥90,000); Fiscal Year 2023: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000)
• Keywords: テスト / 多相プログラム / 木変換器

Outline of Research at the Start

ソフトウェアに対するテストとは，実際に様々な入力で動作させてみて，意図せぬ挙動を
しないか確認する手法である。テストは現代のソフトウェア開発の根幹をなしている。しかし，1つのプログラムが様々な型の値に対して動作する（多相性をもつ）場合，あらゆる型の入力を試すことはできないため，テストが難しい。この問題を解決するため，多相性をもつプログラムに対し，有限種類の入力をテストするだけで正しさが検証できるための条件の解明を目指す。具体的には，有限種類の型に対する型検査を多相性をもつプログラムへのテストで代替することを考えている。