[发明专利]基于模型检测的分布式测试脚本的生成方法与生成系统有效
| 申请号： | 201710606329.6 | 申请日： | 2017-07-24 |
| 公开（公告）号： | CN107579871B | 公开（公告）日： | 2020-05-01 |
| 发明（设计）人： | 姚姜源;王之梁;施新刚;尹霞;李崇荣 | 申请（专利权）人： | 清华大学 |
| 主分类号： | H04L12/26 | 分类号： | H04L12/26;H04L12/24;H04L1/24 |
| 代理公司： | 北京聿宏知识产权代理有限公司 11372 | 代理人： | 吴大建;张杰 |
| 地址： | 100084 北京市海淀区1*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种一种基于模型检测的分布式测试脚本的生成方法与生成系统，其中，该生成方法包括，构建与网络通信协议的规范相适应的形式化模型以及约束；利用模型检测工具探索所述形式化模型的状态空间，如果存在对所述约束的违反，则由模型检测工具生成并输出与该违反对应的反例；对所述反例进行解析，以获取所述反例中的进程列表与消息序列；根据所述进程列表与所述消息序列生成分布式测试脚本。该方法实现了对网络通信协议的分布式测试，有利于提高网络通信协议测试的准确性。 | ||
| 搜索关键词： | 基于 模型 检测 分布式 测试 脚本 生成 方法 系统 | ||
【主权项】：
一种基于模型检测的分布式测试脚本的生成方法，包括：构建与网络通信协议的规范相适应的形式化模型以及约束；利用模型检测工具探索所述形式化模型的状态空间，如果存在对所述约束的违反，则由模型检测工具生成并输出与所述违反对应的反例；对所述反例进行解析，以获取所述反例中的进程列表与消息序列；根据所述进程列表与所述消息序列生成分布式测试脚本。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于清华大学，未经清华大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710606329.6/，转载请声明来源钻瓜专利网。
- 上一篇：一种变频器专用控制电缆
- 下一篇：防挤压受损的电缆
