课题基金 / 基金详情

Testing and model checking of IoT protocols

Testing and model checking of IoT protocols
物联网协议的测试和模型检查
批准号：
17H01719
负责人：
Hagiya Masami
金额：
$11.81万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2020-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17H01719/
关键词：
仕様記述ソフトウェア検証ソフトウェアテストモデルベーステストIoTMQTT仕様記述・検証ソフトウェアモデル検査

项目摘要

项目成果

Hagiya Masami的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices
使用设备的虚拟时间和状态分布加速物联网软件的基于模型的测试
DOI： --
发表时间： 2020
期刊： 電子情報通信学会信学技報
影响因子： --
作者： [Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya]
通讯作者： Masami Hagiya
ネットワークシミュレータを組み込んだモデルベーステスト環境
具有内置网络模拟器的基于模型的测试环境
DOI： --
发表时间： 2021
期刊： 信学技報
影响因子： --
作者： [Horleang Choeng, Koji Hasebe, Hirotake Abe, Kazuhiko Kato, 福田昂祐，田辺良則，萩谷昌己]
通讯作者： 福田昂祐，田辺良則，萩谷昌己
Model-based Network Fault Injection for IoT Protocols
基于模型的物联网协议网络故障注入
DOI： 10.5220/0007618102010209
发表时间： 2019
期刊： 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2019)
影响因子： --
作者： [Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya]
通讯作者： Masami Hagiya
モデルベーステストツールModbatによるIoTソフトウェア検証に向けて
使用基于模型的测试工具 Modbat 进行物联网软件验证
DOI： --
发表时间： 2019
期刊： 電子情報通信学会信学技報
影响因子： --
作者： [Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya, 田辺弘太郎，田辺良則，萩谷昌己]
通讯作者： 田辺弘太郎，田辺良則，萩谷昌己
共 7 条
    Automatic generation of programming questions by symbolic execution
    • 批准号：
      20K12106
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.75万
    • 财政年份：
      2020
    • 负责人：
      Hagiya Masami
    • 依托单位：
      The University of Tokyo
    Learning by Molecular Robot Swarm
    • 批准号：
      17K19961
    • 项目类别：
      Grant-in-Aid for Challenging Research (Exploratory)
    • 资助金额：
      $3.99万
    • 财政年份：
      2017
    • 负责人：
      Hagiya Masami
    • 依托单位：
      The University of Tokyo
    Software model checking methods for cloud computing middleware
    • 批准号：
      23240003
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $30.95万
    • 财政年份：
      2011
    • 负责人：
      Hagiya Masami
    • 依托单位：
      The University of Tokyo
    海外基金