講演名 | 2020-01-25 仮想時間とデバイスの状態分布によるIoTソフトウェアのためのモデルベーステストの高速化 田辺 弘太郎(東大), 田辺 良則(鶴見大), 萩谷 昌己(東大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | Modbatはモデルベーステストを行うツールであり、拡張有限状態オートマトンを用いてモデリングを行う。本研究では、ModbatでIoT向けのシステムをテストするために必要な拡張を議論する。IoT向け通信プロトコルMQTTを用いたシステムのモデリングを容易にするためのモデル拡張、多数のデバイスの状態を分布として表現し一つの状態遷移系に統合する拡張、仮想時間の導入によるテスト時間短縮の三つを提案する。 |
抄録(英) | Modbat is a model-based test tool that performs modeling using an extended finite state automaton(EFSM). In this study, we discuss the extensions required to test systems for IoT with Modbat. We propose three methods; The first one is the expansion of EFSM to facilitate system modeling using the MQTT protocol, which is one of the primary communication protocols for IoT. The second one is the expansion to express the state of multiple devices as a distribution and integrate them into a single state transition system. The third one is shortening test time by introducing virtual time. |
キーワード(和) | ソフトウェアテスト / モデルベーステスト / IoT / 有限状態機械 / MQTT |
キーワード(英) | software testing / model-based testing / Internet of Things / extended finite state machine / MQTT |
資料番号 | KBSE2019-44 |
発行日 | 2020-01-18 (KBSE) |
研究会情報 | |
研究会 | KBSE |
---|---|
開催期間 | 2020/1/25(から1日開催) |
開催地(和) | 機械振興会館 |
開催地(英) | Kikai-Shinko-Kaikan Bldg. |
テーマ(和) | 一般,学生 |
テーマ(英) | General, Student |
委員長氏名(和) | 粂野 文洋(日本工大) |
委員長氏名(英) | Fumihiro Kumeno(Nippon Inst. of Tech.) |
副委員長氏名(和) | 中川 博之(阪大) |
副委員長氏名(英) | Hiroyuki Nakagawa(Osaka Univ.) |
幹事氏名(和) | 高橋 竜一(茨城大) / 田辺 良則(鶴見大) |
幹事氏名(英) | Ryuichi Takahashi(Ibaraki Univ.) / Yoshinori Tanabe(Tsurumi Univ.) |
幹事補佐氏名(和) | 菊地 奈穂美(OKI) / 金子 朋子(NII) |
幹事補佐氏名(英) | Nahomi Kikuchi(OKi) / Tomoko Kaneko(NII) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Knowledge-Based Software Engineering |
---|---|
本文の言語 | ENG-JTITLE |
タイトル(和) | 仮想時間とデバイスの状態分布によるIoTソフトウェアのためのモデルベーステストの高速化 |
サブタイトル(和) | |
タイトル(英) | Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices |
サブタイトル(和) | |
キーワード(1)(和/英) | ソフトウェアテスト / software testing |
キーワード(2)(和/英) | モデルベーステスト / model-based testing |
キーワード(3)(和/英) | IoT / Internet of Things |
キーワード(4)(和/英) | 有限状態機械 / extended finite state machine |
キーワード(5)(和/英) | MQTT / MQTT |
第 1 著者 氏名(和/英) | 田辺 弘太郎 / Kotaro Tanabe |
第 1 著者 所属(和/英) | 東京大学(略称:東大) The University of Tokyo(略称:Tokyo Univ.) |
第 2 著者 氏名(和/英) | 田辺 良則 / Yoshinori Tanabe |
第 2 著者 所属(和/英) | 鶴見大学(略称:鶴見大) Tsurumi University(略称:Tsurumi Univ.) |
第 3 著者 氏名(和/英) | 萩谷 昌己 / Masami Hagiya |
第 3 著者 所属(和/英) | 東京大学(略称:東大) The University of Tokyo(略称:Tokyo Univ.) |
発表年月日 | 2020-01-25 |
資料番号 | KBSE2019-44 |
巻番号(vol) | vol.119 |
号番号(no) | KBSE-392 |
ページ範囲 | pp.37-42(KBSE), |
ページ数 | 6 |
発行日 | 2020-01-18 (KBSE) |