Integrated Runtime Monitoring of Network Software by Fusion of Runtime Verification and Model Checking

通过运行时验证和模型检查的融合实现网络软件的集成运行时监控

• 批准号: 26280019
• 负责人: Yamamoto Mitsuharu
• 金额: $ 10.98万
• 依托单位: Chiba University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2014
• 资助国家: 日本
• 起止时间: 2014-04-01 至 2017-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-26280019/
• 关键词: 実環境モデル検査; 実行時検証; ネットワークソフトウェア

项目成果

Model-based API Testing of Apache ZooKeeper

• DOI: 10.1109/icst.2017.33
• 发表时间: 2017-01-01
• 期刊: 2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST)
• 作者: Artho, Cyrille;Gros, Quentin;Yamamoto, Mitsuharu
• 通讯作者: Yamamoto, Mitsuharu

Classification of Randomly Generated Test Cases

随机生成的测试用例的分类

• 发表时间: 2016
• 期刊: 1st International Workshop on Validating Software Tests
• 作者: Cyrille Artho;Lei Ma
• 通讯作者: Lei Ma

Cardinality of UDP Transmission Outcomes

UDP 传输结果的基数

• DOI: 10.1007/978-3-319-25942-0_8
• 发表时间: 2015
• 期刊: Proc 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
• 作者: Franz Weitl;Nazim Sebih;Cyrille Artho;Masami Hagiya;Yoshinori Tanabe;Yoriyuki Yamagata;Mitsuharu Yamamoto
• 通讯作者: Mitsuharu Yamamoto

Java Pathfinder on Android Devices

Android 设备上的 Java 探路者

• DOI: 10.1145/3011286.3011292
• 发表时间: 2016
• 期刊: ACM SIGSOFT Software Engineering Notes
• 作者: Alexander Kohan;Mitsuharu Yamamoto;Cyrille Artho;Yoriyuki Yamagata;Lei Ma;Masami Hagiya;and Yoshinori Tanabe
• 通讯作者: and Yoshinori Tanabe

Software Model Checking of UDP-based Distributed Applications

基于UDP的分布式应用程序的软件模型检查

• DOI: 10.15803/ijnc.5.2_373
• 发表时间: 2015
• 期刊: International Journal of Networking and Computing
• 作者: Nazim Sebih;Masami Hagiya;Franz Weitl;Mitsuharu Yamamoto;Cyrille Artho;Yoshinori Tanabe
• 通讯作者: Yoshinori Tanabe