講演名 2019-01-26
モデルベーステストツールModbatによるIoTソフトウェア検証に向けて
田辺 弘太郎(東大), 田辺 良則(鶴見大), 萩谷 昌己(東大),
PDFダウンロードページ PDFダウンロードページへ
抄録(和) Modbatは,モデルベーステストを行うツールであり,拡張有限状態オートマトンを用いてモデリングを行う.ModbatでIoTシステムのシミュレーションを可能にするための先行研究に,米山による,遷移の時間の概念を導入する拡張がある.この実装には二つ問題点がある.一つはモデルインスタンスの停止時間を短縮できず非効率的である点,もう一つは遷移に時間がかかる場合にモデルインスタンスの並列性が損なわれる点である.そこで,本論文では停止時間を短縮できるようにするため,Modbatの遷移実行の実装を拡張し,多数のデバイスのモデルの時刻を一元管理し待ち時間を適切に短縮する手法を提案する.また,遷移実行の時間を短縮するため,遷移に伴う処理を行うスレッドを作る手法を提案する.スマートハウスのモデルのシミュレーションを行い,本実装と先行研究の実装の実行時間を比較することで本論文の実装の有効性を示す.
抄録(英) Modbat is a tool for model-based testing, and it uses extended finite state machines for modeling. In previous research to enable simulation of IoT systems, there is an extention of Modbat by Yoneyama that introduced the notion of transition of time. However, in this extention, staying time of model instances cannot be shorten, and a transition can take place only when the others complete, thus a long transition may impair parallelism. In this paper, we propose a method to shorten staying time by unifying time management, and a method to shorten transition time by multithreading. We demonstrate the effectiveness of our methods by comparing its simulation time of a smart house model with that of previous research.
キーワード(和) ソフトウェアテスト / モデルベーステスト / IoT / 拡張有限オートマトン
キーワード(英) software testing / model based testing / Internet of Things / extended finite state maching
資料番号 KBSE2018-44
発行日 2019-01-19 (KBSE)

研究会情報
研究会 KBSE
開催期間 2019/1/26(から1日開催)
開催地(和) 国立情報学研究所
開催地(英) NII
テーマ(和) 一般,学生セッション
テーマ(英)
委員長氏名(和) 粂野 文洋(日本工大)
委員長氏名(英) Fumihiro Kumeno(Nippon Inst. of Tech.)
副委員長氏名(和) 中川 博之(阪大)
副委員長氏名(英) Hiroyuki Nakagawa(Osaka Univ.)
幹事氏名(和) 猿渡 卓也(NTT) / 木村 功作(富士通研)
幹事氏名(英) Takuya Saruwatari(NTT) / Kosaku Kimura(Fujitsu labs.)
幹事補佐氏名(和) 高橋 竜一(茨城大) / 田辺 良則(鶴見大)
幹事補佐氏名(英) Ryuichi Takahashi(Ibaraki Univ.) / Yoshinori Tanabe(Tsurumi Univ.)

講演論文情報詳細
申込み研究会 Technical Committee on Knowledge-Based Software Engineering
本文の言語 JPN
タイトル(和) モデルベーステストツールModbatによるIoTソフトウェア検証に向けて
サブタイトル(和)
タイトル(英) Towards IoT software testing with model-based testing tool Modbat
サブタイトル(和)
キーワード(1)(和/英) ソフトウェアテスト / software testing
キーワード(2)(和/英) モデルベーステスト / model based testing
キーワード(3)(和/英) IoT / Internet of Things
キーワード(4)(和/英) 拡張有限オートマトン / extended finite state maching
第 1 著者 氏名(和/英) 田辺 弘太郎 / Kotaro Tanabe
第 1 著者 所属(和/英) 東京大学(略称:東大)
University of Tokyo(略称:Univ. Tokyo)
第 2 著者 氏名(和/英) 田辺 良則 / Yoshinori Tanabe
第 2 著者 所属(和/英) 鶴見大学(略称:鶴見大)
Tsurumi University(略称:Tsurumi Univ.)
第 3 著者 氏名(和/英) 萩谷 昌己 / Masami Hagiya
第 3 著者 所属(和/英) 東京大学(略称:東大)
University of Tokyo(略称:Univ. Tokyo)
発表年月日 2019-01-26
資料番号 KBSE2018-44
巻番号(vol) vol.118
号番号(no) KBSE-425
ページ範囲 pp.9-14(KBSE),
ページ数 6
発行日 2019-01-19 (KBSE)