-
公开(公告)号:CN112579437A
公开(公告)日:2021-03-30
申请号:CN202011378877.6
申请日:2020-12-01
Applicant: 中国科学院电子学研究所苏州研究院 , 东南大学
IPC: G06F11/36
Abstract: 本发明提出了一种程序运行过程符合性验证方法,包括动态插桩和过程验证两个环节,动态插桩工作时,接收并解析用户传入的指令,执行插桩启停过程,并回传过程数据日志;过程验证接收过程数据日志,提取日志中方法间的关系建立过程图模型,并将过程图模型与标准规则进行顺序匹配,从而验证程序运行过程的标准符合性。本发明通过插桩埋点、数据建模等方法直观、定量地展示出程序运行时内部的执行流程信息,提供了一种程序运行流程验证的方法,填补了针对软件运行过程符合性验证的空白。
-
公开(公告)号:CN112579437B
公开(公告)日:2022-11-29
申请号:CN202011378877.6
申请日:2020-12-01
Applicant: 中国科学院电子学研究所苏州研究院 , 东南大学
IPC: G06F11/36
Abstract: 本发明提出了一种程序运行过程符合性验证方法,包括动态插桩和过程验证两个环节,动态插桩工作时,接收并解析用户传入的指令,执行插桩启停过程,并回传过程数据日志;过程验证接收过程数据日志,提取日志中方法间的关系建立过程图模型,并将过程图模型与标准规则进行顺序匹配,从而验证程序运行过程的标准符合性。本发明通过插桩埋点、数据建模等方法直观、定量地展示出程序运行时内部的执行流程信息,提供了一种程序运行流程验证的方法,填补了针对软件运行过程符合性验证的空白。
-
公开(公告)号:CN112579436B
公开(公告)日:2022-11-29
申请号:CN202011378841.8
申请日:2020-12-01
Applicant: 中国科学院电子学研究所苏州研究院 , 东南大学
IPC: G06F11/36
Abstract: 本发明提出了一种微服务软件架构识别与度量方法,对待检测的原始微服务JAR包进行预处理,将JAR包进行文件目录解构和冗余项过滤;根据微服务软件架构特征体系,提取待测软件的微服务规模特征、微服务构件特征和微服务拓扑特征,其中微服务规模特征采用子服务数量作为特征项,构件特征采用服务注册与发现组件、负载均衡组件作为特征项,微服务拓扑特征采用网关组件作为特征项;构建微服务软件架构符合度模型,计算待测软件遵循微服务架构的概率,决策得到待测软件是微服务程序的可能性。本发明填补了传统软件评测在技术框架符合性评估领域的空白,能够自动恢复待测软件的技术框架,并分析软件对微服务架构的符合性。
-
公开(公告)号:CN112579436A
公开(公告)日:2021-03-30
申请号:CN202011378841.8
申请日:2020-12-01
Applicant: 中国科学院电子学研究所苏州研究院 , 东南大学
IPC: G06F11/36
Abstract: 本发明提出了一种微服务软件架构识别与度量方法,对待检测的原始微服务JAR包进行预处理,将JAR包进行文件目录解构和冗余项过滤;根据微服务软件架构特征体系,提取待测软件的微服务规模特征、微服务构件特征和微服务拓扑特征,其中微服务规模特征采用子服务数量作为特征项,构件特征采用服务注册与发现组件、负载均衡组件作为特征项,微服务拓扑特征采用网关组件作为特征项;构建微服务软件架构符合度模型,计算待测软件遵循微服务架构的概率,决策得到待测软件是微服务程序的可能性。本发明填补了传统软件评测在技术框架符合性评估领域的空白,能够自动恢复待测软件的技术框架,并分析软件对微服务架构的符合性。
-
公开(公告)号:CN112416789B
公开(公告)日:2022-11-29
申请号:CN202011366121.X
申请日:2020-11-29
Applicant: 中国科学院电子学研究所苏州研究院
Abstract: 本发明提出一种面向演化软件的过程度量元评价方法,构建过程度量元库;从软件历史仓库中提取出代码度量元,根据类模块在两个连续版本中的缺陷情况,确定后一个版本该类模块的缺陷情况变化;对于待评价的过程度量元,采用类相关性度量方法库中的类相关性度量方法,对该过程度量元的类相关性进行度量,得到该过程度量元的类相关性值;采用10次10折交叉验证方法结合分类算法库中的分类算法,计算分类模型的AUC作为该过程度量元的分类性能值。本发明通过比较分析各过程度量元对演化软件缺陷情况变化的影响程度,可以帮助理解软件缺陷产生的原因,发现软件开发过程中存在的问题,改善软件开发过程,提高后续软件开发的质量。
-
公开(公告)号:CN112416789A
公开(公告)日:2021-02-26
申请号:CN202011366121.X
申请日:2020-11-29
Applicant: 中国科学院电子学研究所苏州研究院
Abstract: 本发明提出一种面向演化软件的过程度量元评价方法,构建过程度量元库;从软件历史仓库中提取出代码度量元,根据类模块在两个连续版本中的缺陷情况,确定后一个版本该类模块的缺陷情况变化;对于待评价的过程度量元,采用类相关性度量方法库中的类相关性度量方法,对该过程度量元的类相关性进行度量,得到该过程度量元的类相关性值;采用10次10折交叉验证方法结合分类算法库中的分类算法,计算分类模型的AUC作为该过程度量元的分类性能值。本发明通过比较分析各过程度量元对演化软件缺陷情况变化的影响程度,可以帮助理解软件缺陷产生的原因,发现软件开发过程中存在的问题,改善软件开发过程,提高后续软件开发的质量。
-
-
-
-
-