|
リアクティブプログラムには多重制御流れとデータ流れが存在しうるので、その挙動の予測は一般に非常に難しい。このため、リアクティブプログラムの理解、テスト、及び保守はコストが高くて非常に時間がかかる。本研究では、信頼性の高いかつ効率の良いリアクティブプログラムの開発支援環境を基礎付けるために、リアクティブプログラムの挙動における構成要素間の依存関係を究明すると共に、リアクティブプログラムにおける新しい依存性モデルを構築した。また、構築された依存性モデルをリアクティブプログラムの理解、テスト、及び保守へ適用し評価すると共に、信頼性の高いリアクティブプログラムの開発支援に対するその有効性を明確にした。
|
