組込みシステム向け関数リアクティブプログラムに対するテストケース生成手法

内野駿亮; 森口草介; 渡部卓雄

論文・著書情報

タイトル

和文:	組込みシステム向け関数リアクティブプログラムに対するテストケース生成手法
英文:

著者

和文:	内野駿亮, 森口草介, 渡部卓雄.
英文:	Shiyunsuke Uchino, Sosuke Moriguchi, Takuo Watanabe.

言語

Japanese

掲載誌/書名

和文:
英文:

巻, 号, ページ

出版年月

2022年3月6日

出版者

和文:
英文:

会議名称

和文:	日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022)
英文:

開催地

和文:
英文:

アブストラクト

本研究では，組込みシステム向け関数リアクティブプログラミング(FRP)言語に対するテストケース生成手法を提案する．提案手法では，LTLの拡張であるメトリック時相論理(MTL)を用いる．具体的には，MTLに不等式等による制約を加えることで，数値を含むより広範なテストケースの生成を行えるようにする．これにより，ある値が変化してから所定の時間内にある振る舞いが生じなければならないといった制約に対するテストを行うことが可能になる．本研究では，小規模組込みシステムFRP言語であるEmfrpを簡略化したサブセット言語を対象として提案手法の評価を行う．

Home

各種検索

サポート

T2R2について

関連リンク

論文・著書情報