发明名称 |
基于模型转换的协议正确性验证和测试方法 |
摘要 |
本发明涉及一种基于模型转换的协议正确性验证和测试方法,该方法主要包括:利用至少两种形式化模型对协议进行形式化描述;分别将所述至少两种形式化模型转换成同一种的形式化模型;通过比较所述同一种的形式化模型间的差异获得验证后的协议形式化模型,并基于所述的验证后的协议形式化模型进行所述协议的正确性验证及测试。利用本发明所述方法不但可以实现在协议开发的前期对协议进行正确性认证,而且可以开发出针对具体协议的测试系统工具,为后续的协议测试提供了高层次的完备性保证。 |
申请公布号 |
CN1812347A |
申请公布日期 |
2006.08.02 |
申请号 |
CN200510002613.X |
申请日期 |
2005.01.24 |
申请人 |
华为技术有限公司;中国科学技术大学 |
发明人 |
屈玉贵;江涛;赵宝华;李姝;张利琰;周颢 |
分类号 |
H04L12/26(2006.01);H04L29/06(2006.01) |
主分类号 |
H04L12/26(2006.01) |
代理机构 |
北京凯特来知识产权代理有限公司 |
代理人 |
郑立明 |
主权项 |
1、一种基于模型转换的协议正确性验证和测试方法,其特征在于,包括:A、利用至少两种形式化模型对协议进行形式化描述;B、分别将所述至少两种形式化模型转换成同一种的形式化模型;C、通过比较所述同一种的形式化模型间的差异获得验证后的协议形式化模型,并基于所述的验证后的协议形式化模型进行所述协议的正确性验证及测试。 |
地址 |
518129广东省深圳市龙岗区坂田华为总部办公楼 |