Technology for Reliable Reactive Programming

2021 Fiscal Year Final Research Report

• Project/Area Number: 17H01726
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: Hosei University
• Principal Investigator: Hosobe Hiroshi 法政大学, 情報科学部, 教授 (60321577)
• Co-Investigator(Kenkyū-buntansha): 中島 震 国立情報学研究所, 情報社会相関研究系, 教授 (60350211) ; 日高 宗一郎 法政大学, 情報科学部, 教授 (70321578)
• Project Period (FY): 2017-04-01 – 2021-03-31
• Keywords: ソフトウェア / 高信頼化 / リアクティブプログラミング

Outline of Final Research Achievements

To construct technology for reliable reactive programming, we studied analysis and processing of reactive systems. Our research results include a method of unit testing for processing events in an event-driven programming language for visual and interactive programs, a method for improving the application programming interface for data-driven documents for information visualization, a method for formal definition and analysis of causal loop diagrams, and a method for avoiding glitches in functional reactive programming.

Free Research Field

プログラミング

Academic Significance and Societal Importance of the Research Achievements

本研究成果の学術的意義は，現代のソフトウェアの中心であるリアクティブシステムに関して，その一形態であるイベント駆動型の視覚的・対話的なプログラムを対象として，その適切な振舞いを記述し，テスト時にプログラムの不具合を検出する手法を構築したことである．本研究成果の社会的意義は，ソフトウェアの高信頼化という問題に対して，イベント駆動型プログラムのテスト手法の観点から新たな可能性を示したことである．