-
公开(公告)号：CN111124896B
公开(公告)日：2022-12-02
申请号：CN201911244946.1
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于主次峰值比计算算法测试领域，具体涉及一种主次峰值比计算算法的蜕变测试系统。所述系统包括蜕变关系提取模块、附加测试用例生成模块以及验证模块；所述蜕变关系提取模块用于依据主次峰值比计算算法输入的区域图像及邻域图像提取蜕变关系；所述附加测试用例生成模块用于将原始测试用例结合所述蜕变关系生成附加测试用例，将附加测试用例输出至验证模块；所述验证模块用于将原始测试用例和附加测试用例输入被测程序，验证被测程序是否存在缺陷。与现有技术相比本发明由于蜕变测试系统来源于算法内部的几何属性、数值属性和算法特性，无需获取绝对准确的期望结果，可以很好地解决重构标准模型的测试判定不确定性的问题。
-
公开(公告)号：CN111124895B
公开(公告)日：2022-12-02
申请号：CN201911243727.1
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于主次峰值比计算算法测试领域，具体涉及一种主次峰值比计算算法的蜕变测试方法。所述方法包括以下步骤：步骤1：基于主次峰值比计算算法输入区域图像及邻域图像，依据主次峰值比计算算法的几何属性、数值属性、算法特性提取蜕变关系；步骤2：依据原始测试用例，结合蜕变关系构造附加测试用例；步骤3：将原始测试用例和附加测试用例输入被测程序，判断蜕变关系是否满足，验证被测程序是否存在缺陷。与现有技术相比本发明由于蜕变测试方法来源于算法内部的几何属性、数值属性和算法特性，无需获取绝对准确的期望结果，可以很好地解决重构标准模型的测试判定不确定性的问题。
-
公开(公告)号：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: 本发明属于图像区域生长算法测试技术领域，具体涉及一种图像区域生长算法的蜕变测试方法。图像区域生长是实时图像处理的重要功能之一。然而，由于操作不确定性的因素，实际测试中很难获取图像区域生长算法的测试判定。基于此，本发明将蜕变测试方法应用于图像区域生长算法的测试中，通过分析算法的几何属性、数值属性以及算法特性提取出一系列蜕变关系，基于这些蜕变关系形成图像区域生长算法的蜕变测试方法，可以有效地解决图像区域生长算法的测试判定难题。
-
Patent Agency Ranking
公开(公告)号：CN106508031B
公开(公告)日：2014-04-02
申请号：CN201110012677.3
申请日：2011-09-09
Applicant: 北京京航计算通讯研究所
IPC: G06F17/50
Abstract: 本发明属于可编程逻辑器件测试技术领域，本发明的目的是为了解决FPGA安全性测试需求不足的问题，同时为了提高FPGA测试需求覆盖的充分性和优先级确定的准确性。本发明采用的技术方案为：1)从开发文档、技术文件、芯片手册文档中获取被测FPGA的信息；2)对FPGA工作系统进行定义；3)进行故障模式影响分析；4)进行危害性分析，根据用户需求，也可不进行危害性分析，直接转步骤5)；5)确定FPGA工作系统安全性测试需求项。本发明提供的分析方法提高了FPGA测试需求覆盖的充分性和完整性以及测试类型的充分性和完整性。
-
公开(公告)号：CN109447968A
公开(公告)日：2019-03-08
申请号：CN201811265800.0
申请日：2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G06T7/00
Abstract: 本发明属于图像区域生长算法测试技术领域，具体涉及一种图像区域生长算法的蜕变测试系统。图像区域生长是实时图像处理的重要功能之一。然而，由于操作不确定性的因素，实际测试中很难获取图像区域生长算法的测试判定。基于此，本发明将蜕变测试系统应用于图像区域生长算法的测试中，通过分析算法的几何属性、数值属性以及算法特性提取出一系列蜕变关系，基于这些蜕变关系形成图像区域生长算法的蜕变测试方法，可以有效地解决图像区域生长算法的测试判定难题。
-
公开(公告)号：CN111124895A
公开(公告)日：2020-05-08
申请号：CN201911243727.1
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于主次峰值比计算算法测试领域，具体涉及一种主次峰值比计算算法的蜕变测试方法。所述方法包括以下步骤：步骤1：基于主次峰值比计算算法输入区域图像及邻域图像，依据主次峰值比计算算法的几何属性、数值属性、算法特性提取蜕变关系；步骤2：依据原始测试用例，结合蜕变关系构造附加测试用例；步骤3：将原始测试用例和附加测试用例输入被测程序，判断蜕变关系是否满足，验证被测程序是否存在缺陷。与现有技术相比本发明由于蜕变测试方法来源于算法内部的几何属性、数值属性和算法特性，无需获取绝对准确的期望结果，可以很好地解决重构标准模型的测试判定不确定性的问题。
-
公开(公告)号：CN111124896A
公开(公告)日：2020-05-08
申请号：CN201911244946.1
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于主次峰值比计算算法测试领域，具体涉及一种主次峰值比计算算法的蜕变测试系统。所述系统包括蜕变关系提取模块、附加测试用例生成模块以及验证模块；所述蜕变关系提取模块用于依据主次峰值比计算算法输入的区域图像及邻域图像提取蜕变关系；所述附加测试用例生成模块用于将原始测试用例结合所述蜕变关系生成附加测试用例，将附加测试用例输出至验证模块；所述验证模块用于将原始测试用例和附加测试用例输入被测程序，验证被测程序是否存在缺陷。与现有技术相比本发明由于蜕变测试系统来源于算法内部的几何属性、数值属性和算法特性，无需获取绝对准确的期望结果，可以很好地解决重构标准模型的测试判定不确定性的问题。
-
公开(公告)号：CN106886487A
公开(公告)日：2017-06-23
申请号：CN201510940269.2
申请日：2015-12-15
Applicant: 北京京航计算通讯研究所
Inventor： 姚可成 , 刘伟 , 孟伟 , 朱琳 , 杨楠 , 张哲 , 李卓 , 李丽华 , 张清 , 张国宇 , 宋悦 , 张玉 , 程海龙 , 李思 , 韩旭东 , 孙文靖 , 杨春霞 , 申璐 , 张磊 , 刘妍 , 李慧君 , 李晓伟
CPC classification number: G06F11/3692 , G06N3/02
Abstract: 本发明实施例公开了一种用于评价FPGA软件可靠性的方法，涉及FPGA软件可靠性评价技术，能够客观、准确的评价FPGA软件的可靠性。该方法包括输入训练样本数据；FPGA软件可靠性度量模型与BP神经网络结合，利用所述训练样本数据对神经网络进行训练，提取FPGA软件可靠性度量元，并确定该FPGA软件中每个度量元的值，输出可靠性评价结果，主要用于FPGA软件可靠性评价。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.04 seconds)
