-
公开(公告)号：CN109410241A
公开(公告)日：2019-03-01
申请号：CN201811265885.2
申请日：2018-10-29
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于图像区域生长算法测试技术领域，具体涉及一种图像区域生长算法的蜕变测试方法。图像区域生长是实时图像处理的重要功能之一。然而，由于操作不确定性的因素，实际测试中很难获取图像区域生长算法的测试判定。基于此，本发明将蜕变测试方法应用于图像区域生长算法的测试中，通过分析算法的几何属性、数值属性以及算法特性提取出一系列蜕变关系，基于这些蜕变关系形成图像区域生长算法的蜕变测试方法，可以有效地解决图像区域生长算法的测试判定难题。
-
公开(公告)号：CN111008446B
公开(公告)日：2023-03-10
申请号：CN201911242385.1
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F30/18
Abstract: 本发明属于航天测控技术领域中测量船船位布设计算技术领域，具体涉及一种基于网格船位布设计算的速度优化系统。所述优化系统的工作过程包括：计算弹道海上测控弧段首尾向下海面布船区域，分别取交集，并进行网格粗分；将满足条件的粗网格按照精度要求进行网格细分，获得细网格；记录连续N天的满足约束的细网格，获得精细网格点；根据符合要求的精细网格点，计算部署区域所形成的外接凸多边形；则该多边形内区域为一艘测量船连续N天对多弹道进行测控要求的区域。该系统在保证船位部署计算的全面性和准确性前提下，很大程度减小了计算量，提高计算效率。
-
公开(公告)号：CN112416766B
公开(公告)日：2021-06-22
申请号：CN202011305647.7
申请日：2020-11-19
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种双通道耦合飞行控制软件的故障模式分析和检测方法，包括：步骤S1、建立飞行控制程序，所述飞行控制程序的机动区间内采用纵向通道和侧向通道相耦合的控制律；步骤S2、建立飞控测试用例，所述飞控测试用例中包括增加风干扰因素的测试用例；步骤S3、在飞行控制程序的测试中，执行所述飞控测试用例，根据执行结果，判断是否能够成功检测出由于增加风干扰因素引起的故障，根据故障现象定位飞行控制程序的设计缺陷。本发明基于系统工作原理和流程分析进行建模分析和测试场景设计，关注对异常处理的容错和避错设计，有利于检查系统和软件的可靠性和充分性。
-
公开(公告)号：CN111008139A
公开(公告)日：2020-04-14
申请号：CN201911243227.8
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件回归测试技术领域，具体涉及一种软件更改影响域分析辅助方法。所述方法基于软件更改影响域分析辅助系统来实施，所述软件更改影响域分析辅助系统包括：软件更改影响域分析模块、影响域分析报告生成模块；所述方法包括：所述软件更改影响域分析模块分析软件更改影响域；所述影响域分析报告生成模块解析软件更改影响域的分析结果，并生成影响域分析报告。与现有技术相比较，本发明技术方案通过采取上述技术措施，该方法可以有效提高软件更改影响域分析准确度，提升软件测试效率，降低测试成本，提高了测试工作质量，降低了软件质量风险，节约时间成本和人力成本。本发明提供的针对软件更改影响分析可以为自动化测试提供指导。
-
公开(公告)号：CN109388575A
公开(公告)日：2019-02-26
申请号：CN201811265856.6
申请日：2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件测试静态分析技术领域，具体涉及一种静态分析辅助方法，其包括：静态分析结果提取模块提取静态分析工具的静态分析测试结果；静态分析结果整理模块解析静态分析后的静态分析测试结果，并将静态分析测试结果映射至安全子集细则GJB8114中的标准要求，形成映射整理后的静态分析测试结果；报告生成模块将映射整理后的静态分析测试结果依据报告模板生成测试报告。与现有技术相比较，本发明技术方案通过采取上述技术措施，该方法可以有效提高静态分析效率，降低测试人力成本，提高了测试工作质量，降低了软件质量风险，节约时间成本和人力成本。本项目中研究的针对静态分析工具可以为自动化测试提供指导。
-
Patent Agency Ranking
公开(公告)号：CN112463642B
公开(公告)日：2021-08-03
申请号：CN202011487626.1
申请日：2020-12-16
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种基于故障模式的软件设计缺陷核查方法及系统，方法包括：根据软件系统中各配置项软件执行任务的具体方式，得到各配置项软件的功能模式；获取与软件系统相关软件的历史缺陷数据，经过数据处理后，建立故障数据集合；结合各配置项软件的功能模式和故障数据集合挖掘与功能模式对应的故障模式，形成故障模式集；根据故障模式集建立基于文本查询的缺陷核查模型；通过所述缺陷核查模型将需核查的软件功能与故障模式相匹配，核查软件系统中的设计缺陷。本发明通过构建缺陷核查模型，以核查出该系统各配置项的缺陷，达到优化测试资源分配和提高软件产品质量的目的。
-
公开(公告)号：CN112416766A
公开(公告)日：2021-02-26
申请号：CN202011305647.7
申请日：2020-11-19
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种双通道耦合飞行控制软件的故障模式分析和检测方法，包括：步骤S1、建立飞行控制程序，所述飞行控制程序的机动区间内采用纵向通道和侧向通道相耦合的控制律；步骤S2、建立飞控测试用例，所述飞控测试用例中包括增加风干扰因素的测试用例；步骤S3、在飞行控制程序的测试中，执行所述飞控测试用例，根据执行结果，判断是否能够成功检测出由于增加风干扰因素引起的故障，根据故障现象定位飞行控制程序的设计缺陷。本发明基于系统工作原理和流程分析进行建模分析和测试场景设计，关注对异常处理的容错和避错设计，有利于检查系统和软件的可靠性和充分性。
-
公开(公告)号：CN111124896A
公开(公告)日：2020-05-08
申请号：CN201911244946.1
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于主次峰值比计算算法测试领域，具体涉及一种主次峰值比计算算法的蜕变测试系统。所述系统包括蜕变关系提取模块、附加测试用例生成模块以及验证模块；所述蜕变关系提取模块用于依据主次峰值比计算算法输入的区域图像及邻域图像提取蜕变关系；所述附加测试用例生成模块用于将原始测试用例结合所述蜕变关系生成附加测试用例，将附加测试用例输出至验证模块；所述验证模块用于将原始测试用例和附加测试用例输入被测程序，验证被测程序是否存在缺陷。与现有技术相比本发明由于蜕变测试系统来源于算法内部的几何属性、数值属性和算法特性，无需获取绝对准确的期望结果，可以很好地解决重构标准模型的测试判定不确定性的问题。
-
公开(公告)号：CN111124896B
公开(公告)日：2022-12-02
申请号：CN201911244946.1
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于主次峰值比计算算法测试领域，具体涉及一种主次峰值比计算算法的蜕变测试系统。所述系统包括蜕变关系提取模块、附加测试用例生成模块以及验证模块；所述蜕变关系提取模块用于依据主次峰值比计算算法输入的区域图像及邻域图像提取蜕变关系；所述附加测试用例生成模块用于将原始测试用例结合所述蜕变关系生成附加测试用例，将附加测试用例输出至验证模块；所述验证模块用于将原始测试用例和附加测试用例输入被测程序，验证被测程序是否存在缺陷。与现有技术相比本发明由于蜕变测试系统来源于算法内部的几何属性、数值属性和算法特性，无需获取绝对准确的期望结果，可以很好地解决重构标准模型的测试判定不确定性的问题。
-
公开(公告)号：CN109388574A
公开(公告)日：2019-02-26
申请号：CN201811265791.5
申请日：2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件测试静态分析技术领域，具体涉及一种静态分析辅助系统，包括：静态分析结果提取模块，用于提取静态分析工具的静态分析测试结果；静态分析结果整理模块，用于解析静态分析后的静态分析测试结果，并将静态分析测试结果映射至安全子集细则GJB8114中的标准要求，形成映射整理后的静态分析测试结果；报告生成模块，用于将映射整理后的静态分析测试结果依据报告模板生成测试报告。与现有技术相比较，本发明技术方案通过采取上述技术措施，该方法可以有效提高静态分析效率，降低测试人力成本，提高了测试工作质量，降低了软件质量风险，节约时间成本和人力成本。本项目中研究的针对静态分析工具可以为自动化测试提供指导。
-
-
-
-
-
-
-
-
-
Search Results
20
records
(took 0.029 seconds)
