-
公开(公告)号：CN112115053A
公开(公告)日：2020-12-22
申请号：CN202010972588.2
申请日：2020-09-16
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于软件缺陷检测领域，具体涉及一种基于序列模式匹配的API误用缺陷检测方法。本发明不分析API使用规约，而是根据已经发现的API误用缺陷实例，结合补丁文件中缺陷修复前后的代码信息，刻画API误用模式，然后在目标被测软件中利用改进的AC算法搜索符合误用模式的API调用序列，从而检测出相似缺陷。相比基于规约的检测方法，本发明方案有效规避了缺陷检测准确度依赖于规约描述准确性，以及部分API规约本身自带缺陷等问题。提高了API误用缺陷检测的准确度。
-
公开(公告)号：CN109410241A
公开(公告)日：2019-03-01
申请号：CN201811265885.2
申请日：2018-10-29
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于图像区域生长算法测试技术领域，具体涉及一种图像区域生长算法的蜕变测试方法。图像区域生长是实时图像处理的重要功能之一。然而，由于操作不确定性的因素，实际测试中很难获取图像区域生长算法的测试判定。基于此，本发明将蜕变测试方法应用于图像区域生长算法的测试中，通过分析算法的几何属性、数值属性以及算法特性提取出一系列蜕变关系，基于这些蜕变关系形成图像区域生长算法的蜕变测试方法，可以有效地解决图像区域生长算法的测试判定难题。
-
公开(公告)号：CN114906349B
公开(公告)日：2024-07-09
申请号：CN202210744126.4
申请日：2022-06-28
Applicant: 北京京航计算通讯研究所
IPC: B64F5/60
Abstract: 本发明涉及一种高机动飞机升降舵效率损失故障的自适应容错控制方法，属于飞行控制技术领域，解决了现有技术中针对高机动飞机升降舵效率损失故障的容错控制存在的故障信息估计不准确、容错控制适应性和可靠性差等问题。通过开展真实的无故障飞行试验和故障注入飞行试验，产生升降舵的舵面效率损失故障，采用俯仰角速率通道检测观测器和设定的俯仰角速率残差阈值进行故障检测和定位，利用改进后的自适应故障估计器进行故障估计，获得修正后的舵面效率损失故障估计值，进一步获得自适应容错控制器，并利用所述自适应容错控制器对舵面效率损失故障进行容错控制修复。实现了针对高机动飞机升降舵效率损失故障的自适应容错控制。
-
公开(公告)号：CN114779743B
公开(公告)日：2024-05-28
申请号：CN202210465013.0
申请日：2022-04-29
Applicant: 北京京航计算通讯研究所
IPC: G05B23/02
Abstract: 本发明涉及一种随机姿态高超声速飞行器的舵面微小故障容错控制方法，属于飞行控制技术领域，解决了现有技术中故障修复成本高、针对随机姿态高超声速飞行器的容错控制适应性和可靠性差、容错控制效果难评估等问题。通过开展随机姿态高超声速飞行试验，对所述随机姿态高超声速飞行器的控制系统模型施加微小故障和干扰，获得随机姿态角的实际PDF；采用模糊观测器对施加所述微小故障和干扰后的舵面进行故障观测以得到故障估计值；获得所述随机姿态角的期望PDF；基于所述故障估计值以及容错控制算法，利用所述随机姿态角的实际PDF和期望PDF得到自适应容错控制器，进行舵面故障的容错控制修复。实现了针对随机姿态高超声速飞行器早期微小故障的容错控制。
-
公开(公告)号：CN114327586B
公开(公告)日：2023-12-22
申请号：CN202210008242.X
申请日：2022-01-05
Applicant: 北京京航计算通讯研究所
IPC: G06F8/70
Abstract: 本发明涉及一种非嵌入式军用软件质量评价方法、系统及存储介质，属于软件开发与测试技术领域，解决了现有非嵌入式军用软件质量评价方法难以操作与实施的问题。该方法包括：根据军用软件质量准标中多个维度的评价指标建立质量度量模型；根据非嵌入式军用软件的功能特性对所述质量度量模型进行裁剪，进而根据所述非嵌入式军用软件的不同等级优化所述质量度量模型中各评价指标的权重，进而获得相应等级的非嵌入式质量度量模型；从所述待评价非嵌入式军用软件的研发阶段数据与测试阶段数据获得度量元值；基于所述待评价非嵌入式军用软件的等级及度量元值利用相应等级的所述非嵌入式质量度量模型获得所述待评价非嵌入式军用软件的质量评价结果。
-
Patent Agency Ranking
公开(公告)号：CN114906349A
公开(公告)日：2022-08-16
申请号：CN202210744126.4
申请日：2022-06-28
Applicant: 北京京航计算通讯研究所
IPC: B64F5/60
Abstract: 本发明涉及一种高机动飞机升降舵效率损失故障的自适应容错控制方法，属于飞行控制技术领域，解决了现有技术中针对高机动飞机升降舵效率损失故障的容错控制存在的故障信息估计不准确、容错控制适应性和可靠性差等问题。通过开展真实的无故障飞行试验和故障注入飞行试验，产生升降舵的舵面效率损失故障，采用俯仰角速率通道检测观测器和设定的俯仰角速率残差阈值进行故障检测和定位，利用改进后的自适应故障估计器进行故障估计，获得修正后的舵面效率损失故障估计值，进一步获得自适应容错控制器，并利用所述自适应容错控制器对舵面效率损失故障进行容错控制修复。实现了针对高机动飞机升降舵效率损失故障的自适应容错控制。
-
公开(公告)号：CN114327586A
公开(公告)日：2022-04-12
申请号：CN202210008242.X
申请日：2022-01-05
Applicant: 北京京航计算通讯研究所
IPC: G06F8/70
Abstract: 本发明涉及一种非嵌入式军用软件质量评价方法、系统及存储介质，属于软件开发与测试技术领域，解决了现有非嵌入式军用软件质量评价方法难以操作与实施的问题。该方法包括：根据军用软件质量准标中多个维度的评价指标建立质量度量模型；根据非嵌入式军用软件的功能特性对所述质量度量模型进行裁剪，进而根据所述非嵌入式军用软件的不同等级优化所述质量度量模型中各评价指标的权重，进而获得相应等级的非嵌入式质量度量模型；从所述待评价非嵌入式军用软件的研发阶段数据与测试阶段数据获得度量元值；基于所述待评价非嵌入式军用软件的等级及度量元值利用相应等级的所述非嵌入式质量度量模型获得所述待评价非嵌入式军用软件的质量评价结果。
-
公开(公告)号：CN112463641B
公开(公告)日：2021-08-31
申请号：CN202011487500.4
申请日：2020-12-16
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种用于软件缺陷核查的故障模式集构建方法及系统；其中方法包括如下步骤：对软件系统的各配置项软件进行分类，以确定各配置软件的类型；根据各类型的各配置项软件的执行任务方式，得到各配置项软件的功能模式；获取与软件系统相关的软件的历史缺陷数据，经过数据处理后，建立故障数据集合；结合所述各配置项软件的功能模式和故障数据集合挖掘与功能模式对应的故障模式，形成故障模式集。本发明从软件的功能层面有效预测软件的缺陷，可有效解决状态爆炸的问题，达到优化测试资源分配和提高软件产品质量的目的。
-
公开(公告)号：CN111124895A
公开(公告)日：2020-05-08
申请号：CN201911243727.1
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于主次峰值比计算算法测试领域，具体涉及一种主次峰值比计算算法的蜕变测试方法。所述方法包括以下步骤：步骤1：基于主次峰值比计算算法输入区域图像及邻域图像，依据主次峰值比计算算法的几何属性、数值属性、算法特性提取蜕变关系；步骤2：依据原始测试用例，结合蜕变关系构造附加测试用例；步骤3：将原始测试用例和附加测试用例输入被测程序，判断蜕变关系是否满足，验证被测程序是否存在缺陷。与现有技术相比本发明由于蜕变测试方法来源于算法内部的几何属性、数值属性和算法特性，无需获取绝对准确的期望结果，可以很好地解决重构标准模型的测试判定不确定性的问题。
-
公开(公告)号：CN111008139A
公开(公告)日：2020-04-14
申请号：CN201911243227.8
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件回归测试技术领域，具体涉及一种软件更改影响域分析辅助方法。所述方法基于软件更改影响域分析辅助系统来实施，所述软件更改影响域分析辅助系统包括：软件更改影响域分析模块、影响域分析报告生成模块；所述方法包括：所述软件更改影响域分析模块分析软件更改影响域；所述影响域分析报告生成模块解析软件更改影响域的分析结果，并生成影响域分析报告。与现有技术相比较，本发明技术方案通过采取上述技术措施，该方法可以有效提高软件更改影响域分析准确度，提升软件测试效率，降低测试成本，提高了测试工作质量，降低了软件质量风险，节约时间成本和人力成本。本发明提供的针对软件更改影响分析可以为自动化测试提供指导。
-
-
-
-
-
-
-
-
-
Search Results
34
records
(took 0.044 seconds)
