-
公开(公告)号：CN114328265A
公开(公告)日：2022-04-12
申请号：CN202210008623.8
申请日：2022-01-05
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种软件安全性分析方法及系统，属于软件开发和测试技术领域，解决了现有技术中软件安全性分析方法分析结果准确率低、可靠性差的问题。该方法包括：建立软件失效数据知识库；基于所述软件失效数据知识库，根据目标软件的需求文档和/或软件系统关键词为所述目标软件匹配相应的软件失效模式，根据所述软件失效模式更新所述目标软件的需求文档。该方法提高了软件安全性分析的效率和质量，进而减低软件质量风险。
-
公开(公告)号：CN111061634A
公开(公告)日：2020-04-24
申请号：CN201911243145.3
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件回归测试技术领域，具体涉及一种软件更改影响域分析辅助系统。所述软件更改影响域分析辅助系统包括：软件更改影响域分析模块、影响域分析报告生成模块；所述软件更改影响域分析模块用于分析软件更改影响域；所述影响域分析报告生成模块用于解析软件更改影响域的分析结果，并生成影响域分析报告。与现有技术相比较，本发明技术方案通过采取上述技术措施，该系统可以有效提高软件更改影响域分析准确度，提升软件测试效率，降低测试成本，提高了测试工作质量，降低了软件质量风险。节约时间成本和人力成本。本发明提供的针对软件更改影响分析可以为自动化测试提供指导。
-
公开(公告)号：CN109447968A
公开(公告)日：2019-03-08
申请号：CN201811265800.0
申请日：2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G06T7/00
Abstract: 本发明属于图像区域生长算法测试技术领域，具体涉及一种图像区域生长算法的蜕变测试系统。图像区域生长是实时图像处理的重要功能之一。然而，由于操作不确定性的因素，实际测试中很难获取图像区域生长算法的测试判定。基于此，本发明将蜕变测试系统应用于图像区域生长算法的测试中，通过分析算法的几何属性、数值属性以及算法特性提取出一系列蜕变关系，基于这些蜕变关系形成图像区域生长算法的蜕变测试方法，可以有效地解决图像区域生长算法的测试判定难题。
-
公开(公告)号：CN120031011A
公开(公告)日：2025-05-23
申请号：CN202510067172.9
申请日：2025-01-15
Applicant: 北京京航计算通讯研究所
IPC: G06F40/186 , G06F40/16 , G06F11/3668 , G06F16/35
Abstract: 本发明涉及一种软件测试需求的获取方法，属于软件测试技术领域，解决了现有技术中软件测试需求覆盖范围不全面、安全性低以及分解效率低的问题。获取需求规格说明文档，提取所述需求规格说明文档中的章节名称以及章节内容；提取所述章节名称中的第一关键词集合，提取所述章节内容中的实体类别和第二关键词集合，基于所述第一关键词集合、所述实体类别和所述第二关键词集合从专家知识库中获取与所述第二关键词集合匹配的软件测试模板，并将所述软件测试模板作为该需求规格说明文档的软件测试需求。实现了一种覆盖范围广、安全性高且需求分解效率高的软件测试需求获取方法。
-
公开(公告)号：CN114327587B
公开(公告)日：2024-08-09
申请号：CN202210008604.5
申请日：2022-01-05
Applicant: 北京京航计算通讯研究所
IPC: G06F8/70
Abstract: 本发明涉及一种嵌入式军用软件质量评价方法、系统及存储介质，属于软件开发与测试领域，解决了现有嵌入式军用软件质量评价方法难以操作与实施的问题。该方法包括：建立质量度量模型；根据嵌入式军用软件的功能特性对所述质量度量模型进行裁剪，进而根据所述嵌入式军用软件的不同等级优化所述质量度量模型中各评价指标的权重，进而获得相应等级的嵌入式质量度量模型；从所述待评价嵌入式军用软件的研发阶段数据与测试阶段数据获得度量元值；基于所述待评价嵌入式军用软件的等级及度量元值利用相应等级的所述嵌入式质量度量模型获得所述待评价嵌入式军用软件的质量评价结果。
-
Patent Agency Ranking
公开(公告)号：CN109388574A
公开(公告)日：2019-02-26
申请号：CN201811265791.5
申请日：2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件测试静态分析技术领域，具体涉及一种静态分析辅助系统，包括：静态分析结果提取模块，用于提取静态分析工具的静态分析测试结果；静态分析结果整理模块，用于解析静态分析后的静态分析测试结果，并将静态分析测试结果映射至安全子集细则GJB8114中的标准要求，形成映射整理后的静态分析测试结果；报告生成模块，用于将映射整理后的静态分析测试结果依据报告模板生成测试报告。与现有技术相比较，本发明技术方案通过采取上述技术措施，该方法可以有效提高静态分析效率，降低测试人力成本，提高了测试工作质量，降低了软件质量风险，节约时间成本和人力成本。本项目中研究的针对静态分析工具可以为自动化测试提供指导。
-
公开(公告)号：CN114327587A
公开(公告)日：2022-04-12
申请号：CN202210008604.5
申请日：2022-01-05
Applicant: 北京京航计算通讯研究所
IPC: G06F8/70
Abstract: 本发明涉及一种嵌入式军用软件质量评价方法、系统及存储介质，属于软件开发与测试领域，解决了现有嵌入式军用软件质量评价方法难以操作与实施的问题。该方法包括：建立质量度量模型；根据嵌入式军用软件的功能特性对所述质量度量模型进行裁剪，进而根据所述嵌入式军用软件的不同等级优化所述质量度量模型中各评价指标的权重，进而获得相应等级的嵌入式质量度量模型；从所述待评价嵌入式军用软件的研发阶段数据与测试阶段数据获得度量元值；基于所述待评价嵌入式军用软件的等级及度量元值利用相应等级的所述嵌入式质量度量模型获得所述待评价嵌入式军用软件的质量评价结果。
-
公开(公告)号：CN112462739B
公开(公告)日：2021-06-29
申请号：CN202011301998.0
申请日：2020-11-19
Applicant: 北京京航计算通讯研究所
IPC: G05B23/02
Abstract: 本发明涉及一种双通道耦合飞行控制程序的故障检测系统，包括：飞控测试用例模块用于建立包括增加风干扰因素的多个飞控测试用例；飞行控制模块用于分别运行纵向通道控制律和侧向通道控制律输出飞控执行结果，在飞行的机动区间内纵向飞行控制通道和侧向飞行控制通道的控制律相耦合；飞控测试用例插入模块用于选择飞控测试用例模块中的飞控测试用例插入飞行控制模块；控制结果比对模块用于比对飞行控制模块实际输出的飞控执行结果与期望的飞控执行结果，判断在执行飞控测试用例时是否出现故障。本发明基于系统工作原理和流程分析进行建模分析和测试场景设计，关注对异常处理的容错和避错设计，有利于检查系统和软件的可靠性和充分性。
-
公开(公告)号：CN112462739A
公开(公告)日：2021-03-09
申请号：CN202011301998.0
申请日：2020-11-19
Applicant: 北京京航计算通讯研究所
IPC: G05B23/02
Abstract: 本发明涉及一种双通道耦合飞行控制程序的故障检测系统，包括：飞控测试用例模块用于建立包括增加风干扰因素的多个飞控测试用例；飞行控制模块用于分别运行纵向通道控制律和侧向通道控制律输出飞控执行结果，在飞行的机动区间内纵向飞行控制通道和侧向飞行控制通道的控制律相耦合；飞控测试用例插入模块用于选择飞控测试用例模块中的飞控测试用例插入飞行控制模块；控制结果比对模块用于比对飞行控制模块实际输出的飞控执行结果与期望的飞控执行结果，判断在执行飞控测试用例时是否出现故障。本发明基于系统工作原理和流程分析进行建模分析和测试场景设计，关注对异常处理的容错和避错设计，有利于检查系统和软件的可靠性和充分性。
-
公开(公告)号：CN114328265B
公开(公告)日：2024-08-06
申请号：CN202210008623.8
申请日：2022-01-05
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种软件安全性分析方法及系统，属于软件开发和测试技术领域，解决了现有技术中软件安全性分析方法分析结果准确率低、可靠性差的问题。该方法包括：建立软件失效数据知识库；基于所述软件失效数据知识库，根据目标软件的需求文档和/或软件系统关键词为所述目标软件匹配相应的软件失效模式，根据所述软件失效模式更新所述目标软件的需求文档。该方法提高了软件安全性分析的效率和质量，进而减低软件质量风险。
-
-
-
-
-
-
-
-
-
Search Results
19
records
(took 0.026 seconds)
