| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2019-01-26 10:05 モデルベーステストツールModbatによるIoTソフトウェア検証に向けて ○田辺弘太郎（東大）・田辺良則（鶴見大）・萩谷昌己（東大）  KBSE2018-44 |
|
| 抄録 | （和） | 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 / / / / | |
| 文献情報 | 信学技報, vol. 118, no. 425, KBSE2018-44, pp. 9-14, 2019年1月. | |
| 資料番号 | KBSE2018-44 | |
| 発行日 | 2019-01-19 (KBSE) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | KBSE2018-44 |
|
| 研究会情報 | |
| 研究会 | KBSE |
| 開催期間 | 2019-01-26 - 2019-01-26 |
| 開催地（和） | 国立情報学研究所 |
| 開催地（英） | NII |
| テーマ（和） | 一般，学生セッション |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2019-01-KBSE |
| 本文の言語 | 日本語 |
| タイトル（和） | モデルベーステストツール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 |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第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) |
| 講演者 | 第1著者 |
| 発表日時 | 2019-01-26 10:05:00 |
| 発表時間 | 30分 |
| 申込先研究会 | KBSE |
| 資料番号 | KBSE2018-44 |
| 巻番号（vol） | vol.118 |
| 号番号（no） | no.425 |
| ページ範囲 | pp.9-14 |
| ページ数 | 6 |
| 発行日 | 2019-01-19 (KBSE) |
[研究会発表申込システムのトップページに戻る]