-
公开(公告)号:CN102147765A
公开(公告)日:2011-08-10
申请号:CN201110102961.X
申请日:2011-04-22
Applicant: 北京理工大学
IPC: G06F11/36
Abstract: 本发明属于软件行为领域,涉及一种结合语言集合与拓扑结构的行为模型评价方法。从基于语言的集合开始将待测自动机和标准自动机的语言集合进行求解,分析对于非有限自动机是否能够部分求解,获取自动机不同状态和跳转所具有的权值,求取基于语言集合分析方法的评分;得到两个自动机的状态和跳转集合的重叠部分,利用精度和回归的评价方法对的到的集合进行分析,求取基于拓扑结构分析方法的评分:利用基于语言集合的分析结果计算待测自动机和标准自动机中每一个状态和跳转在所属自动机中具有的权值,构建扩展的精度和回归评价方法。本发明为自动机中的每一个状态赋权,在将带有权值的状态结合基于拓扑分析的结果统一计算,改进精度和回归的计算公式。