| Budget Amount *help |
¥18,460,000 (Direct Cost: ¥14,200,000、Indirect Cost: ¥4,260,000)
Fiscal Year 2019: ¥6,500,000 (Direct Cost: ¥5,000,000、Indirect Cost: ¥1,500,000)
Fiscal Year 2018: ¥6,500,000 (Direct Cost: ¥5,000,000、Indirect Cost: ¥1,500,000)
Fiscal Year 2017: ¥5,460,000 (Direct Cost: ¥4,200,000、Indirect Cost: ¥1,260,000)
|
|---|
| Outline of Final Research Achievements |
We have developed a model-based test method to enable verification of controller software in an IoT environment. By representing the same type of device with one state transition system (model) and introducing a mechanism that manages the number of virtual instances existing in each state (state distribution), we can test a system consisting of a large number of devices with a very low load. In addition, we can significantly reduce the test time by running the entire test tool under a scheduler that runs in virtual time and skipping virtual time when possible. In addition, MQTT transmission / reception can be described in the model, and network disconnection / delay can be simulated by the tool.
|
