| Presentation | 2019-01-26 Towards IoT software testing with model-based testing tool Modbat Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | 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. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | software testing / model based testing / Internet of Things / extended finite state maching |
| Paper # | KBSE2018-44 |
| Date of Issue | 2019-01-19 (KBSE) |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2019/1/26(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | NII |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Fumihiro Kumeno(Nippon Inst. of Tech.) |
| Vice Chair | Hiroyuki Nakagawa(Osaka Univ.) |
| Secretary | Hiroyuki Nakagawa(NTT) |
| Assistant | Ryuichi Takahashi(Ibaraki Univ.) / Yoshinori Tanabe(Tsurumi Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Knowledge-Based Software Engineering |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Towards IoT software testing with model-based testing tool Modbat |
| Sub Title (in English) | |
| Keyword(1) | software testing |
| Keyword(2) | model based testing |
| Keyword(3) | Internet of Things |
| Keyword(4) | extended finite state maching |
| 1st Author's Name | Kotaro Tanabe |
| 1st Author's Affiliation | University of Tokyo(Univ. Tokyo) |
| 2nd Author's Name | Yoshinori Tanabe |
| 2nd Author's Affiliation | Tsurumi University(Tsurumi Univ.) |
| 3rd Author's Name | Masami Hagiya |
| 3rd Author's Affiliation | University of Tokyo(Univ. Tokyo) |
| Date | 2019-01-26 |
| Paper # | KBSE2018-44 |
| Volume (vol) | vol.118 |
| Number (no) | KBSE-425 |
| Page | pp.pp.9-14(KBSE), |
| #Pages | 6 |
| Date of Issue | 2019-01-19 (KBSE) |