-
公开(公告)号：CN112540912A
公开(公告)日：2021-03-23
申请号：CN202011311518.9
申请日：2020-11-20
Applicant: 北京跟踪与通信技术研究所 , 中国航天系统科学与工程研究院
Abstract: 本发明提供了一种基于过程评估和测试结果的软件质量评价方法及系统，该方法包括：软件获取步骤，用于获取待评价软件；软件质量评价模型建立步骤，用于基于软件的研制过程评估与测试结果构建一软件质量评价模型；软件质量评价步骤，用于基于所述软件质量评价模型对所述待评价软件的研制过程评估与测试结果进行量化评分，并计算得到所述待识别软件质量的评价总评分。本发明采用上述方案，通过建立软件质量评价模型基于软件研制过程中的质量评审问题和软件测试过程中的问题实现快速估算软件质量。
-
公开(公告)号：CN112540912B
公开(公告)日：2024-12-13
申请号：CN202011311518.9
申请日：2020-11-20
Applicant: 北京跟踪与通信技术研究所 , 中国航天系统科学与工程研究院
IPC: G06F11/36 , G06Q10/0639
Abstract: 本发明提供了一种基于过程评估和测试结果的软件质量评价方法及系统，该方法包括：软件获取步骤，用于获取待评价软件；软件质量评价模型建立步骤，用于基于软件的研制过程评估与测试结果构建一软件质量评价模型；软件质量评价步骤，用于基于所述软件质量评价模型对所述待评价软件的研制过程评估与测试结果进行量化评分，并计算得到所述待识别软件质量的评价总评分。本发明采用上述方案，通过建立软件质量评价模型基于软件研制过程中的质量评审问题和软件测试过程中的问题实现快速估算软件质量。
-
公开(公告)号：CN112597038A
公开(公告)日：2021-04-02
申请号：CN202011580379.X
申请日：2020-12-28
Applicant: 中国航天系统科学与工程研究院
Abstract: 本申请涉及一种软件缺陷预测方法方法及系统，其中，该方法包括：数据获取步骤，用于获取软件历史仓库、缺陷分析报告及待测软件；训练样本获取步骤，用于结合所述软件历史仓库及缺陷分析报告对软件源码是否存在缺陷进行标记构造第一训练样本集，并对存在缺陷的所述软件源码标记源码段对应的缺陷类型构造第二训练样本集；模型预训练步骤，用于构建软件缺陷倾向性分类器及缺陷类型预测模型，并利用所述第一训练样本集及第二训练样本集进行训练构建软件缺陷预测模型；软件缺陷预测步骤，用于将所述待测软件利用软件缺陷预测模型进行软件缺陷预测。通过本申请，可以有效利用源码语法语义信息，缩小缺陷预测的细粒度，还可预测缺陷类型。
-
公开(公告)号：CN111813656A
公开(公告)日：2020-10-23
申请号：CN202010500339.3
申请日：2020-06-04
Applicant: 中国航天系统科学与工程研究院
IPC: G06F11/36
Abstract: 一种面向安全性验证的模型转换方法、介质及设备，属于模型检验技术领域，解决软件安全性验证待验系统建模困难问题。本发明提供的面向安全性验证模型转换方法，首先，利用AADL模型对待验系统进行建模，描述软件体系结构的动态行为；然后，将AADL组件类型转换成NuSMV子模块，将AADL组件实现中的具体内容转换成与AADL组件类型相对应的NuSMV子模块体中的具体内容；最后在NuSMV的main模块中添加AADL中具体的执行语义。本发明通过面向安全性验证的模型转换方法，能够有效提高模型检验软件安全性领域建模效率，解决了模型检验技术中难以准确建模问题。
-
Patent Agency Ranking
公开(公告)号：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.
-
公开(公告)号：CN116071632A
公开(公告)日：2023-05-05
申请号：CN202211538918.2
申请日：2022-12-01
Applicant: 中国人民解放军63921部队 , 中国航天系统科学与工程研究院
IPC: G06V10/82 , G06V10/774 , G06V20/58 , G06N3/0464 , G06N3/0475 , G06N3/08
Abstract: 本发明公开了一种用于二维激光雷达点云图像数据的扩增方法及系统，包括：数据预处理步骤：基于对从模拟器环境生成的模拟激光雷达点云数据与真实环境采集的真实激光雷达点云数据进行处理，分别生成二维模拟激光雷达点云图像与二维真实激光雷达点云图像；模型处理步骤：通过二维模拟激光雷达点云图像与二维真实激光雷达点云图像对CycleGAN神经网络模型进行训练，并通过计算损失对CycleGAN神经网络模型评估与更新，获得最终的CycleGAN神经网络模型；用例获取步骤：根据获得的二维模拟激光雷达点云图像通过最终的CycleGAN神经网络模型获得与二维模拟激光雷达点云图像对应地高度近似二维真实激光雷达点云图像的用例。
-
公开(公告)号：CN115936502A
公开(公告)日：2023-04-07
申请号：CN202211538600.4
申请日：2022-12-01
Applicant: 中国人民解放军63921部队 , 中国航天系统科学与工程研究院
IPC: G06Q10/0639 , G06F17/18 , G06N3/0499 , G06N3/048 , G06N3/084
Abstract: 本申请涉及一种基于AHP和BPNN的软件测试机构综合评估方法及系统，其中，该方法包括：基于一测试机构评估指标及一测试项目评估指标分别构建测试机构评估指标体系、测试项目评估指标体系；基于测试机构评估指标利用层次分析法建立一测试机构基础评估模型；基于测试项目评估指标利用层次分析法及BPNN建立并训练一测试项目基础评估模型；利用层次分析法将测试机构基础评估模型和预选数量的测试项目平均评估模型进行综合得到综合评估模型；采集测试机构评估指标、测试项目评估指标输入至综合评估模型，计算得到评估结果。通过本申请，实现了综合、快速评估软件测试机构，为评估任务下达方的任务分配决策提供数据支持。
-
公开(公告)号：CN106874058A
公开(公告)日：2017-06-20
申请号：CN201611245682.8
申请日：2016-12-29
Applicant: 中国航天系统科学与工程研究院
IPC: G06F9/45
CPC classification number: G06F8/31
Abstract: 本发明公开了一种基于源代码的程序自动插桩方法，首先将被插桩C源代码进行宏展开，然后根据插桩需求明确插桩点，为每个插桩点编写插桩语法规则，最后根据插桩语法规则生成插桩程序，运行插桩程序对源代码进行自动插桩，完成源代码的程序自动插桩。本发明在对源代码文件进行完整的词法分析和语法分析的基础上进行自动插桩，保证了对源码插桩的准确度和针对性，同时采用基于语法制导翻译技术，可以在短时间内实现源程序的插桩，不破坏源程序，能够解决人工插桩工作量大，效率低下，插桩不完全的问题。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.053 seconds)
