-
公开(公告)号:CN112540912B
公开(公告)日:2024-12-13
申请号:CN202011311518.9
申请日:2020-11-20
Applicant: 北京跟踪与通信技术研究所 , 中国航天系统科学与工程研究院
IPC: G06F11/36 , G06Q10/0639
Abstract: 本发明提供了一种基于过程评估和测试结果的软件质量评价方法及系统,该方法包括:软件获取步骤,用于获取待评价软件;软件质量评价模型建立步骤,用于基于软件的研制过程评估与测试结果构建一软件质量评价模型;软件质量评价步骤,用于基于所述软件质量评价模型对所述待评价软件的研制过程评估与测试结果进行量化评分,并计算得到所述待识别软件质量的评价总评分。本发明采用上述方案,通过建立软件质量评价模型基于软件研制过程中的质量评审问题和软件测试过程中的问题实现快速估算软件质量。
-
公开(公告)号:CN110889112A
公开(公告)日:2020-03-17
申请号:CN201911013565.2
申请日:2019-10-23
Applicant: 中国航天系统科学与工程研究院
Abstract: 一种基于白名单机制的软件运行统一控制系统及方法,属于信息安全技术领域。本发明包括客户机白名单初始化及软件验证功能启动;以及用户申请在客户机添加新软件进入本地软件白名单,客户机准备要加入白名单的软件实体,然后将软件实体及其类型发送给服务机,服务机根据软件类型计算得到软件白名单变化量,客户机收到并添加进本地软件白名单,之后新软件就可以安装使用;以及用户申请在客户机上将某软件从本地软件白名单中移除,计算要从本地软件白名单移除的软件的特征值发送给服务机,服务机利用特征值在本机日志中查询该软件对应的白名单变化量并发送给客户机,客户机从本地软件白名单中去除软件白名单变化量里的元素,软件就被禁止执行使用。
-
公开(公告)号:CN106874058A
公开(公告)日:2017-06-20
申请号:CN201611245682.8
申请日:2016-12-29
Applicant: 中国航天系统科学与工程研究院
IPC: G06F9/45
CPC classification number: G06F8/31
Abstract: 本发明公开了一种基于源代码的程序自动插桩方法,首先将被插桩C源代码进行宏展开,然后根据插桩需求明确插桩点,为每个插桩点编写插桩语法规则,最后根据插桩语法规则生成插桩程序,运行插桩程序对源代码进行自动插桩,完成源代码的程序自动插桩。本发明在对源代码文件进行完整的词法分析和语法分析的基础上进行自动插桩,保证了对源码插桩的准确度和针对性,同时采用基于语法制导翻译技术,可以在短时间内实现源程序的插桩,不破坏源程序,能够解决人工插桩工作量大,效率低下,插桩不完全的问题。
-
公开(公告)号:CN112597038A
公开(公告)日:2021-04-02
申请号:CN202011580379.X
申请日:2020-12-28
Applicant: 中国航天系统科学与工程研究院
Abstract: 本申请涉及一种软件缺陷预测方法方法及系统,其中,该方法包括:数据获取步骤,用于获取软件历史仓库、缺陷分析报告及待测软件;训练样本获取步骤,用于结合所述软件历史仓库及缺陷分析报告对软件源码是否存在缺陷进行标记构造第一训练样本集,并对存在缺陷的所述软件源码标记源码段对应的缺陷类型构造第二训练样本集;模型预训练步骤,用于构建软件缺陷倾向性分类器及缺陷类型预测模型,并利用所述第一训练样本集及第二训练样本集进行训练构建软件缺陷预测模型;软件缺陷预测步骤,用于将所述待测软件利用软件缺陷预测模型进行软件缺陷预测。通过本申请,可以有效利用源码语法语义信息,缩小缺陷预测的细粒度,还可预测缺陷类型。
-
公开(公告)号:CN104461617B
公开(公告)日:2018-01-05
申请号:CN201410681907.9
申请日:2014-11-24
Applicant: 中国航天系统科学与工程研究院
Abstract: 本发明公开了一种实时操作系统VxWorks的剪裁方法,包括:一、组件级剪裁,利用操作系统工具,对操作系统不需要的组件进行剪裁;二、文件级剪裁,梳理Makefile文件,将不需要保留的文件及未被编译的文件进行剪裁;三、函数级剪裁,分析每个函数的调用与被调用关系,将未被调用的函数进行剪裁;四、语句级剪裁,通过代码走查和分析,将不需要的代码进行剪裁。本发明能够解决操作系统剪裁不完全,有冗余代码产生的问题,同时还能提高系统的安全性和可靠性。
-
公开(公告)号:CN112597038B
公开(公告)日:2023-12-08
申请号:CN202011580379.X
申请日:2020-12-28
Applicant: 中国航天系统科学与工程研究院
IPC: G06F11/36 , G06F18/214 , G06F18/2415 , G06N3/0442 , G06N3/084
Abstract: 本申请涉及一种软件缺陷预测方法方法及系统,其中,该方法包括:数据获取步骤,用于获取软件历史仓库、缺陷分析报告及待测软件;训练样本获取步骤,用于结合所述软件历史仓库及缺陷分析报告对软件源码是否存在缺陷进行标记构造第一训练样本集,并对存在缺陷的所述软件源码标记源码段对应的缺陷类型构造第二训练样本集;模型预训练步骤,用于构建软件缺陷倾向性分类器及缺陷类型预测模型,并利用所述第一训练样本集及第二训练样本集进行训练构建软件缺陷预测模型;软件缺陷预测步骤,用于将所述待测软件利用软件缺陷预测模型进行软件缺陷预测。通过本申请,可以有效利用源码语法语义信息,缩小缺陷预测的细粒度,还可预测缺陷类型。(56)对比文件T. Zhang等.Software Defect Predictionand Localization with Attention-BasedModels and Ensemble Learning《.Asia-Pacific Software Engineering Conference》.2020,第81-90页.于悦.基于程序语义的软件缺陷预测技术研究与实现《.中国优秀硕士学位论文全文数据库信息科技辑》.2019,(第8期),I138-249.
-
公开(公告)号:CN110889112B
公开(公告)日:2022-03-04
申请号:CN201911013565.2
申请日:2019-10-23
Applicant: 中国航天系统科学与工程研究院
Abstract: 一种基于白名单机制的软件运行统一控制系统及方法,属于信息安全技术领域。本发明包括客户机白名单初始化及软件验证功能启动;以及用户申请在客户机添加新软件进入本地软件白名单,客户机准备要加入白名单的软件实体,然后将软件实体及其类型发送给服务机,服务机根据软件类型计算得到软件白名单变化量,客户机收到并添加进本地软件白名单,之后新软件就可以安装使用;以及用户申请在客户机上将某软件从本地软件白名单中移除,计算要从本地软件白名单移除的软件的特征值发送给服务机,服务机利用特征值在本机日志中查询该软件对应的白名单变化量并发送给客户机,客户机从本地软件白名单中去除软件白名单变化量里的元素,软件就被禁止执行使用。
-
公开(公告)号:CN112540912A
公开(公告)日:2021-03-23
申请号:CN202011311518.9
申请日:2020-11-20
Applicant: 北京跟踪与通信技术研究所 , 中国航天系统科学与工程研究院
Abstract: 本发明提供了一种基于过程评估和测试结果的软件质量评价方法及系统,该方法包括:软件获取步骤,用于获取待评价软件;软件质量评价模型建立步骤,用于基于软件的研制过程评估与测试结果构建一软件质量评价模型;软件质量评价步骤,用于基于所述软件质量评价模型对所述待评价软件的研制过程评估与测试结果进行量化评分,并计算得到所述待识别软件质量的评价总评分。本发明采用上述方案,通过建立软件质量评价模型基于软件研制过程中的质量评审问题和软件测试过程中的问题实现快速估算软件质量。
-
-
-
-
-
-
-