买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：富士通株式会社

申请日：2005-05-20

公开（公告）日：2006-03-22

公开（公告）号：CN1749769A

专利技术分类：.电路的测试，例如用信号故障寻测器（在准备运算或空闲时间期间内测试计算机入G06F11/22）[2006.01]

专利摘要：不变量检测方法包括：执行对应于一个或多个二元判决图表的有限状态机的一个或多个第一步骤，用以在关于一初始状态和一错误状态的第一方向转移FSM的状态空间。该方法还包括，自动无需用户输入的访问对应于第一步骤的第一简表；将其与一个或多个第一预定标准比较；根据该比较停止第一方向的转移；根据从第一步骤得到的第一部分结果，执行FSM的一个或多个第二步骤以在关于初始状态和错误状态的与第一方向相反的第二方向上转移状态空间；访问对应于第二步骤的第二简表；比较第二简表与一个或多个第二预定标准；根据该比较停止第二方向的转移；根据从第二步骤得到的第二部分结果执行FSM的一个或多个第三步骤以第一方向转移状态空间。

专利权项：1.一种用于不变量检测的方法，该方法包括：执行对应于一个或多个二元判决图表BDD的一有限状态机FSM的一个或多个第一步骤，用以在关于一初始状态和一错误状态的第一方向上转移该FSM的状态空间；自动地且无需用户输入地，访问对应于FSM的一个或多个第一步骤的第一简表；自动地且无需用户输入地，比较该第一简表与一个或多个第一预定标准；自动地且无需用户输入地，根据该第一简表与所述一个或多个第一预定标准间的比较，停止该状态空间在该第一方向上的转移；自动地且无需用户输入地，根据从该FSM的所述一个或多个第一步骤得到的第一部分结果，执行该FSM的一个或多个第二步骤，用以在关于该初始状态和该错误状态的一第二方向上转移该状态空间，该第二方向与该第一方向相反；自动地且无需用户输入地，访问对应于该FSM的一个或多个第二步骤的第二简表；自动地且无需用户输入地，比较该第二简表与一个或多个第二预定标准；自动地且无需用户输入地，根据该第二简表与所述一个或多个第一预定标准间的比较，停止该状态空间在该第二方向上的转移；以及自动地且无需用户输入地，根据从该FSM的该一个或多个第二步骤得到的第二部分结果，执行该FSM的一个或多个第三步骤，用以在所述一个或多个第一步骤中的该第一方向上转移该状态空间。

百度查询： 富士通株式会社 不变量检测