公开(公告)号：CN106919501A

公开(公告)日：2017-07-04

申请号：CN201510994119.X

申请日：2015-12-25

Applicant: 北京计算机技术及应用研究所 ,  北京航天爱威电子技术有限公司

Inventor： 刘磊 ,  何沁洁 ,  孙渊博 ,  常青 ,  穆森

IPC: G06F11/36

Abstract: 本发明公开了一种基于缺陷模式的程序静态分析方法和工具，包括：预编辑程序的缺陷模式；遍历文件，找到所需分析的文件；对源程序进行逐行扫描，去除无需分析的代码；进行缺陷分析，调用该缺陷模式与去除代码后的程序进行匹配，如果匹配成功，则说明该文件存在该缺陷。本发明的有益效果在于，本发明的一种基于缺陷模式的静态分析方法和工具，可以实现应用系统的兼容性检查，对迁移前的准备做出指导，对应用系统的自主可控迁移进行评估和指导。

公开(公告)号：CN106919373A

公开(公告)日：2017-07-04

申请号：CN201511000165.X

申请日：2015-12-28

Applicant: 北京计算机技术及应用研究所 ,  北京航天爱威电子技术有限公司

Inventor： 何沁洁 ,  刘磊 ,  孙渊博 ,  常青 ,  穆森

IPC: G06F9/44

Abstract: 本发明公开了一种程序代码质量评估方法，其中，包括：确定评估维度；确定每一维度的度量元；确定每一维度占权重：确定每一度量元的权重；确定每一度量元评分值；计算评估结果加权值；计算评估结果值，包括：QOC＝∑Wdi*(∑ei*Wei)；其中，QOC为软件评估结果值，Wdi为维度的权重，ei为每个度量元的权重，Wei为每个度量元的评分值。