Home >

news Help

Publication Information


Title
Japanese:組込みシステム向け関数リアクティブプログラムに対するテストケース生成手法 
English: 
Author
Japanese: 内野駿亮, 森口草介, 渡部卓雄.  
English: Shiyunsuke Uchino, Sosuke Moriguchi, Takuo Watanabe.  
Language Japanese 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Mar. 6, 2022 
Publisher
Japanese: 
English: 
Conference name
Japanese:日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022) 
English: 
Conference site
Japanese: 
English: 
Abstract 本研究では，組込みシステム向け関数リアクティブプログラミング(FRP)言語に対するテストケース生成手法を提案する．提案手法では，LTLの拡張であるメトリック時相論理(MTL)を用いる．具体的には，MTLに不等式等による制約を加えることで，数値を含むより広範なテストケースの生成を行えるようにする．これにより，ある値が変化してから所定の時間内にある振る舞いが生じなければならないといった制約に対するテストを行うことが可能になる．本研究では，小規模組込みシステムFRP言語であるEmfrpを簡略化したサブセット言語を対象として提案手法の評価を行う．

©2007 Tokyo Institute of Technology All rights reserved.