[发明专利]一种协议一致性测试中的状态验证方法有效
| 申请号： | 201010167584.3 | 申请日： | 2010-05-10 |
| 公开（公告）号： | CN102244590A | 公开（公告）日： | 2011-11-16 |
| 发明（设计）人： | 杨美红;张新常 | 申请（专利权）人： | 山东省计算中心 |
| 主分类号： | H04L12/26 | 分类号： | H04L12/26;H04L29/06 |
| 代理公司： | 济南泉城专利商标事务所 37218 | 代理人： | 李桂存 |
| 地址： | 250014 山*** | 国省代码： | 山东;37 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种一致性测试中的状态验证方法，该方法基于FSM/EFSM模型并且首先验证被测实现是否符合正确输入条件，并构建拟验证状态对应的诊断输入序列及候选状态集合，通过验证被测实现中被测状态u是否为拟验证的状态s，或该被测状态是否为拟验证的状态s所对应的候选状态集合中的某一个状态实现。基于本发明的验证方法验证能力强，效率高。 | ||
| 搜索关键词： | 一种 协议 一致性 测试 中的 状态 验证 方法 | ||
【主权项】：
一种协议一致性测试中的状态验证方法，该方法基于FSM/EFSM模型并且采用以下步骤：1)验证准备：给定一个被测实现、该被测实现对应的规范FSM/EFSM模型、该被测实现中的一个被测状态u及拟验证的状态s；2)若所述被测实现符合输入正确条件或为提供诊断信息而假定输入正确条件成立，则将规范FSM/EFSM模型以预定的数据结构加以存储；否则，结束本方法；3)基于规范FSM/EFSM模型获取拟验证状态s所对应的诊断输入序列及候选状态集合，并将获得的诊断输入序列及候选状态集合加以存储以备验证所述被测实现中的其它被测状态；4)若步骤3)中所述候选状态集合中的元素数量超过候选阈值，则放弃继续进行本方法；否则，进入下一步；5)根据步骤3)中找到的拟验证的状态s所对应的诊断输入序列对被测状态u进行测试，观察对应的测试结果，得到状态验证结论，即：被测实现中被测状态u是否为拟验证的状态s，或该被测状态是否为拟验证的状态s所对应的候选状态集合中的一个状态。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于山东省计算中心，未经山东省计算中心许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201010167584.3/，转载请声明来源钻瓜专利网。
