[发明专利]一种基于数据切片一致性的系统检测方法及系统

权利要求书

1.一种基于数据切片一致性的系统检测方法，其特征在于，包括：

获取用户交易行为踪迹，并根据所述用户交易行为踪迹构建用户控制流模型，并根据用户的交易数据信息，构造该用户的数据流模型；

根据所述控制流模型和所述数据流模型综合得到该用户的行为模型；

根据用户行为及数据特征分析所述行为模型及所述数据流模型的切片，得到动态的行为切片及数据切片，分析整体切片，获得数据依赖信息，在被检测系统中发生用户操作时，获取该用户的所述交易数据信息；转化所述交易数据信息为数据关系信息；从所述交易数据信息获取行为特征信息；根据所述数据关系信息及所述行为特征信息，通过该用户构建的行为模型进行切片分析，得动态行为切片；切片分析所述行为模型的整体切片的数据行为特征，获得数据依赖信息；

根据所述数据依赖信息检测所述行为切片的数据的一致性，得一致性检测结果；

根据所述一致性结果检测用户行为和数据异常，锁定引起所述数据异常的交易系统脆弱区域。

2.根据权利要求1所述的方法，其特征在于，所述获取用户交易行为踪迹，并根据所述用户交易行为踪迹构建用户控制流模型，并根据用户的交易数据信息，构造该用户的数据流模型，包括：

从被检测系统的运行过程中获取系统用户的交易数据信息；

根据所述交易数据信息获取所述系统用户的交易行为踪迹信息；

将所述交易行为踪迹信息转为触发变迁序列；

根据所述被检测系统中系统用户的交易流程构建控制流模型；

根据所述交易数据信息构建数据流模型。

3.根据权利要求1所述的方法，其特征在于，所述根据所述数据依赖信息检测所述行为切片的数据的一致性，得一致性检测结果，包括：

获取所有触发变迁序列及所述数据依赖信息；

遍历所有所述触发变迁序列，根据所述行为模型及所述数据依赖信息判断是否为终态变迁序列；

若是，则根据预设逻辑计算该所述终态变迁序列对应的数据切片；

若否，则循环判断所有触发变迁序列是否为终态变迁序列；

获取所述终态变迁序列；

判断所述终态变迁序列对应的行为切片对应的数据是否一致，得数据一致性判断结果。

4.根据权利要求1所述的方法，其特征在于，所述根据所述一致性结果检测用户行为和数据异常，锁定引起所述数据异常的交易系统脆弱区域，包括：

获取所述一致性判断结果；

根据所述一致性判断结果判断终态变迁序列对应的行为切片对应的数据一致；

若是，则循环判断所有所述终态变迁序列及其对应的所述数据切片；

若否，则根据所述行为切片对应的到达终态序列确定所述行为模型中的出现异常区域。

5.一种基于数据切片一致性的系统检测系统，其特征在于，包括：模型获取模块、行为模型构建模块、切片分析模块、数据一致判断模块和脆弱区域检测模块；

所述模型获取模块，用于获取用户交易行为踪迹，并根据所述用户交易行为踪迹构建用户控制流模型，并根据用户的交易数据信息，构造该用户的数据流模型；

所述行为模型构建模块，用于根据所述控制流模型和所述数据流模型综合得到该用户的行为模型；

所述切片分析模块，用于根据用户行为及数据特征分析所述行为模型及所述数据流模型的切片，得到动态的行为切片及数据切片，分析整体切片，获得数据依赖信息，在被检测系统中发生用户操作时，获取该用户的所述交易数据信息；转化所述交易数据信息为数据关系信息；从所述交易数据信息获取行为特征信息；根据所述数据关系信息及所述行为特征信息，通过该用户构建的行为模型进行切片分析，得动态行为切片；切片分析所述行为模型的整体切片的数据行为特征，获得数据依赖信息；

所述数据一致判断模块，用于根据所述数据依赖信息检测所述行为切片的数据的一致性，得一致性检测结果；

所述脆弱区域检测模块，用于根据所述一致性结果检测用户行为和数据异常，判定引起所述数据异常的交易系统脆弱区域。