-
公开(公告)号:CN114327587B
公开(公告)日:2024-08-09
申请号:CN202210008604.5
申请日:2022-01-05
Applicant: 北京京航计算通讯研究所
IPC: G06F8/70
Abstract: 本发明涉及一种嵌入式军用软件质量评价方法、系统及存储介质,属于软件开发与测试领域,解决了现有嵌入式军用软件质量评价方法难以操作与实施的问题。该方法包括:建立质量度量模型;根据嵌入式军用软件的功能特性对所述质量度量模型进行裁剪,进而根据所述嵌入式军用软件的不同等级优化所述质量度量模型中各评价指标的权重,进而获得相应等级的嵌入式质量度量模型;从所述待评价嵌入式军用软件的研发阶段数据与测试阶段数据获得度量元值;基于所述待评价嵌入式军用软件的等级及度量元值利用相应等级的所述嵌入式质量度量模型获得所述待评价嵌入式军用软件的质量评价结果。
-
公开(公告)号:CN111124896B
公开(公告)日:2022-12-02
申请号:CN201911244946.1
申请日:2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
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: 本发明属于主次峰值比计算算法测试领域,具体涉及一种主次峰值比计算算法的蜕变测试系统。所述系统包括蜕变关系提取模块、附加测试用例生成模块以及验证模块;所述蜕变关系提取模块用于依据主次峰值比计算算法输入的区域图像及邻域图像提取蜕变关系;所述附加测试用例生成模块用于将原始测试用例结合所述蜕变关系生成附加测试用例,将附加测试用例输出至验证模块;所述验证模块用于将原始测试用例和附加测试用例输入被测程序,验证被测程序是否存在缺陷。与现有技术相比本发明由于蜕变测试系统来源于算法内部的几何属性、数值属性和算法特性,无需获取绝对准确的期望结果,可以很好地解决重构标准模型的测试判定不确定性的问题。
-
公开(公告)号: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: 本发明涉及一种双通道耦合飞行控制程序的故障检测系统,包括:飞控测试用例模块用于建立包括增加风干扰因素的多个飞控测试用例;飞行控制模块用于分别运行纵向通道控制律和侧向通道控制律输出飞控执行结果,在飞行的机动区间内纵向飞行控制通道和侧向飞行控制通道的控制律相耦合;飞控测试用例插入模块用于选择飞控测试用例模块中的飞控测试用例插入飞行控制模块;控制结果比对模块用于比对飞行控制模块实际输出的飞控执行结果与期望的飞控执行结果,判断在执行飞控测试用例时是否出现故障。本发明基于系统工作原理和流程分析进行建模分析和测试场景设计,关注对异常处理的容错和避错设计,有利于检查系统和软件的可靠性和充分性。
-
公开(公告)号:CN109410241A
公开(公告)日:2019-03-01
申请号:CN201811265885.2
申请日:2018-10-29
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于图像区域生长算法测试技术领域,具体涉及一种图像区域生长算法的蜕变测试方法。图像区域生长是实时图像处理的重要功能之一。然而,由于操作不确定性的因素,实际测试中很难获取图像区域生长算法的测试判定。基于此,本发明将蜕变测试方法应用于图像区域生长算法的测试中,通过分析算法的几何属性、数值属性以及算法特性提取出一系列蜕变关系,基于这些蜕变关系形成图像区域生长算法的蜕变测试方法,可以有效地解决图像区域生长算法的测试判定难题。
-
公开(公告)号:CN114327586B
公开(公告)日:2023-12-22
申请号:CN202210008242.X
申请日:2022-01-05
Applicant: 北京京航计算通讯研究所
IPC: G06F8/70
Abstract: 本发明涉及一种非嵌入式军用软件质量评价方法、系统及存储介质,属于软件开发与测试技术领域,解决了现有非嵌入式军用软件质量评价方法难以操作与实施的问题。该方法包括:根据军用软件质量准标中多个维度的评价指标建立质量度量模型;根据非嵌入式军用软件的功能特性对所述质量度量模型进行裁剪,进而根据所述非嵌入式军用软件的不同等级优化所述质量度量模型中各评价指标的权重,进而获得相应等级的非嵌入式质量度量模型;从所述待评价非嵌入式军用软件的研发阶段数据与测试阶段数据获得度量元值;基于所述待评价非嵌入式军用软件的等级及度量元值利用相应等级的所述非嵌入式质量度量模型获得所述待评价非嵌入式军用软件的质量评价结果。
-
公开(公告)号:CN114327586A
公开(公告)日:2022-04-12
申请号:CN202210008242.X
申请日:2022-01-05
Applicant: 北京京航计算通讯研究所
IPC: G06F8/70
Abstract: 本发明涉及一种非嵌入式军用软件质量评价方法、系统及存储介质,属于软件开发与测试技术领域,解决了现有非嵌入式军用软件质量评价方法难以操作与实施的问题。该方法包括:根据军用软件质量准标中多个维度的评价指标建立质量度量模型;根据非嵌入式军用软件的功能特性对所述质量度量模型进行裁剪,进而根据所述非嵌入式军用软件的不同等级优化所述质量度量模型中各评价指标的权重,进而获得相应等级的非嵌入式质量度量模型;从所述待评价非嵌入式军用软件的研发阶段数据与测试阶段数据获得度量元值;基于所述待评价非嵌入式军用软件的等级及度量元值利用相应等级的所述非嵌入式质量度量模型获得所述待评价非嵌入式军用软件的质量评价结果。
-
-
-
-
-
-
-
-
-