【技术实现步骤摘要】
【技术保护点】
１．一种协议一致性测试中的状态验证方法，该方法基于ＦＳＭ／ＥＦＳＭ模型并且采用以下步骤：１）验证准备：给定一个被测实现、该被测实现对应的规范ＦＳＭ／ＥＦＳＭ模型、该被测实现中的一个被测状态ｕ及拟验证的状态ｓ；２）若所述被测实现符合输入正确条件或为提供诊断信息而假定输入正确条件成立，则将规范ＦＳＭ／ＥＦＳＭ模型以预定的数据结构加以存储；否则，结束本方法；３）基于规范ＦＳＭ／ＥＦＳＭ模型获取拟验证状态ｓ所对应的诊断输入序列及候选状态集合，并将获得的诊断输入序列及候选状态集合加以存储以备验证所述被测实现中的其它被测状态；４）若步骤３）中所述候选状态集合中的元素数量超过候选阈值，则放弃继续进行本方法；否则，进入下一步；５）根据步骤３）中找到的拟验证的状态ｓ所对应的诊断输入序列对被测状态ｕ进行测试，观察对应的测试结果，得到状态验证结论，即：被测实现中被测状态ｕ是否为拟验证的状态ｓ，或该被测状态是否为拟验证的状态ｓ所对应的候选状态集合中的一个状态。
【技术特征摘要】
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。