2020 Fiscal Year Annual Research Report
| Project/Area Number |
17H01726
|
|---|
| Research Institution | Hosei University |
|---|
Principal Investigator |
細部 博史 法政大学, 情報科学部, 教授 (60321577)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
中島 震 国立情報学研究所, 情報社会相関研究系, 教授 (60350211)
日高 宗一郎 法政大学, 情報科学部, 教授 (70321578)
|
|---|
| Project Period (FY) |
2017-04-01 – 2021-03-31
|
| Keywords | ソフトウェア / 高信頼化 / リアクティブプログラミング |
|---|
| Outline of Annual Research Achievements |
本研究はリアクティブプログラミングの高信頼化技術の構築を目的とする．特にリアクティブプログラミングによって複数の部品が合成されたリアクティブシステムの分析と処理に焦点を合わせ，制約プログラミング，ゲーム理論，アダプティブ計算の三つのアプローチからこの課題に取り組む．
令和２～３年度には以下の研究を行った．事前条件と事後条件を備えた命令型プログラムの関数を対象として，記号実行によってその正しさに関する制約条件を導出した上で，背景理論付き充足可能性（ＳＭＴ）問題に変換して，ＳＭＴソルバでその充足可能性を調べることで，対象とする関数の正しさを検証する手法を構築した．また，リアクティブシステムの一形態であるイベント駆動型の視覚的・対話的なプログラムを対象として令和元年度に構築したイベント駆動型プログラミング言語Ｐｒｏｃｅｓｓｉｎｇのためのユニットテスト手法の処理系を改良し，より多くの例題に適用できるようにした．さらに，データ駆動文書（Ｄ３）と呼ばれる情報可視化のためのプログラミング方式に関して，ＴｙｐｅＳｃｒｉｐｔ言語による静的型付けの利用，メソッドチェインの削減，仮想属性の概念の導入の三つの方法によってそのアプリケーションプログラミングインタフェース（ＡＰＩ）を改良することで，様々な可視化に対応できるようにＡＰＩの一般性を保ちつつ，プログラムの記述性，可読性，信頼性を向上する手法を構築した．
|
| Research Progress Status |
令和2年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
令和2年度が最終年度であるため、記入しない。
|
