[发明专利]一种实现上下文一致性的检测系统及检测方法

摘要

本发明提供了一种实现上下文一致性的检测系统。所述实现上下文一致性的检测系统包括：约束分析模块、上下文匹配调度模块和一致性检测模块，所述约束分析模块通过对自适应程序需要满足的一系列一致性约束进行结构分析，可事先分析出任何的可能导致新的一致性错误不可检测的可疑的上下文信息组合模式；所述上下文匹配调度模块对上下文信息流进行与可疑组合模式匹配，根据匹配结果指导进行检测技术的调度并自适应地产生合适的调度决策；所述一致性错误检测模块根据调度决策结果调用已有一致性检测技术对于决策产生的上下文队列进行检测。本发明还提供一种实现上下文一致性的检测方法。

主权项

一种实现上下文一致性的检测系统，其特征在于：包括：约束分析模块，其对上下文一致性约束进行结构的静态分析，获取所有可能影响所述上下文一致性约束的检测结果，分析判断所有同时检测时有可能导致不一致信息的不可检测的组合上下文信息，抽取出上下文可疑组合模式；上下文匹配调度模块，其接收上下文信息流的输入，根据所述约束分析模块获取的上下文可疑组合模式对于输入的上下文信息流依次调用所述上下文匹配算法进行模式匹配，然后根据匹配结果利用所述上下文调度算法来判断是否对上下文一致性检测进行调度；一致性检测模块，如果所述上下文匹配调度模块的判断需要进行上下文一致性检测，则所述一致性检测模块根据满足应用需求的上下文一致性约束对上下文信息流进行检测，并判断是否违反上下文一致性约束。