-
公开(公告)号：CN105893232A
公开(公告)日：2016-08-24
申请号：CN201410558548.8
申请日：2014-10-21
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于一种嵌入式软件测试方法，具体涉及一种基于RS422接口的异常数据生成方法。它包括如下步骤：分析软件动态测试RS422接口测试的异常数据类型、特点，从中提取影响测试充分性的因素，进而通过提取、分析RS422接口异常数据的共同特性，选择合适的异常数据种类作为生成对象；对于有数据应答的被测软件，还必须回读被测软件的应答数据，并在异常数据生成软件界面予以显示。对于产生的异常数据，套用合适的设备及方法进行数据输出，利用模拟设备将产生的异常数据注入到被测系统中。其优点是，它能将生成的异常数据注入到被测软件，提高测试充分性、完整性、有效性，并最终提高军用软件动态测试关于RS422用例执行的质量。
-
公开(公告)号：CN112433756A
公开(公告)日：2021-03-02
申请号：CN202011329523.2
申请日：2020-11-24
Applicant: 北京京航计算通讯研究所
IPC: G06F8/75 , G06F16/901 , G06F40/284 , G06F40/30 , G06K9/62
Abstract: 本发明涉及一种基于加权递归自编码器的快速代码克隆检测方法及装置，属于代码克隆技术领域，解决了现有的代码克隆技术检测精度较差且效率较低的问题。方法包括：获取待检测代码数据集，对待检测代码数据集进行预处理，得到待检测代码数据集中每一代码对应的二叉树；基于二叉树和加权递归自编码器获得待检测代码数据集中每一代码对应的最终向量，并基于每一代码对应的最终向量得到最终向量集合；基于最终向量集合构建导航展开图，并根据导航展开图对最终向量集合中的任意两个最终向量进行检测，得到代码克隆对。实现了代码克隆对的快速检测，提高了检测效率和精度。
-
公开(公告)号：CN109408391A
公开(公告)日：2019-03-01
申请号：CN201811314430.5
申请日：2018-11-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软件可靠性评价。
-
公开(公告)号：CN112214399B
公开(公告)日：2023-01-10
申请号：CN202010974385.7
申请日：2020-09-16
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于软件缺陷检测领域，具体涉及一种基于序列模式匹配的API误用缺陷检测系统。本发明不分析API使用规约，而是根据已经发现的API误用缺陷实例，结合补丁文件中缺陷修复前后的代码信息，刻画API误用模式，然后在目标被测软件中利用改进的AC算法搜索符合误用模式的API调用序列，从而检测出相似缺陷。相比基于规约的检测方法，本发明方案有效规避了缺陷检测准确度依赖于规约描述准确性，以及部分API规约本身自带缺陷等问题。提高了API误用缺陷检测的准确度。
-
Patent Agency Ranking
公开(公告)号：CN112115053A
公开(公告)日：2020-12-22
申请号：CN202010972588.2
申请日：2020-09-16
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于软件缺陷检测领域，具体涉及一种基于序列模式匹配的API误用缺陷检测方法。本发明不分析API使用规约，而是根据已经发现的API误用缺陷实例，结合补丁文件中缺陷修复前后的代码信息，刻画API误用模式，然后在目标被测软件中利用改进的AC算法搜索符合误用模式的API调用序列，从而检测出相似缺陷。相比基于规约的检测方法，本发明方案有效规避了缺陷检测准确度依赖于规约描述准确性，以及部分API规约本身自带缺陷等问题。提高了API误用缺陷检测的准确度。
-
公开(公告)号：CN115327916B
公开(公告)日：2024-06-25
申请号：CN202211053382.5
申请日：2022-08-30
Applicant: 北京京航计算通讯研究所
IPC: G05B13/04
Abstract: 本发明涉及一种高机动飞机气动参数摄动的自适应补偿控制方法，属于飞行控制技术领域，解决了现有技术中没有针对高机动飞机气动参数摄动的补偿方法，存在无法自动修复高机动飞机的气动参数摄动、飞行稳定性差的问题。通过获取高机动飞机的实际姿态角和滤波后的期望姿态角，得到姿态角误差，并结合滤波后的期望姿态角，进行反步动态逆控制处理，获得参考角速度；获取高机动飞机的实际角速度，与滤波后的参考角速度做差，得到角速度误差，对气动参数摄动进行自适应摄动估计，并结合角速度误差和滤波后的参考角速度，对高机动飞机进行自适应摄动补偿控制，对气动参数摄动进行修复。实现了对高机动飞机气动参数摄动的补偿控制，保持稳定飞行。
-
公开(公告)号：CN112214399A
公开(公告)日：2021-01-12
申请号：CN202010974385.7
申请日：2020-09-16
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于软件缺陷检测领域，具体涉及一种基于序列模式匹配的API误用缺陷检测系统。本发明不分析API使用规约，而是根据已经发现的API误用缺陷实例，结合补丁文件中缺陷修复前后的代码信息，刻画API误用模式，然后在目标被测软件中利用改进的AC算法搜索符合误用模式的API调用序列，从而检测出相似缺陷。相比基于规约的检测方法，本发明方案有效规避了缺陷检测准确度依赖于规约描述准确性，以及部分API规约本身自带缺陷等问题。提高了API误用缺陷检测的准确度。
-
公开(公告)号：CN111143201A
公开(公告)日：2020-05-12
申请号：CN201911300145.2
申请日：2019-12-16
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于软件测评相关技术领域，具体涉及一种基于Bayes的军用软件质量度量系统，其基于国军标《GJB5236-2004军用软件质量度量》所规定的质量模型，并利用人工智能理论中Bayes的推理网络，提出了一种基于Bayes的军用软件质量度量系统。该系统以概率的形式描述了各个度量元对军用软件质量的影响，并且以概率的形式定量描述了军用软件质量的好坏。对比国内外软件质量度量方案，本发明的技术方案提高军用软件质量度量的准确性、可靠性。
-
公开(公告)号：CN109447968A
公开(公告)日：2019-03-08
申请号：CN201811265800.0
申请日：2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G06T7/00
Abstract: 本发明属于图像区域生长算法测试技术领域，具体涉及一种图像区域生长算法的蜕变测试系统。图像区域生长是实时图像处理的重要功能之一。然而，由于操作不确定性的因素，实际测试中很难获取图像区域生长算法的测试判定。基于此，本发明将蜕变测试系统应用于图像区域生长算法的测试中，通过分析算法的几何属性、数值属性以及算法特性提取出一系列蜕变关系，基于这些蜕变关系形成图像区域生长算法的蜕变测试方法，可以有效地解决图像区域生长算法的测试判定难题。
-
-
-
-
-
-
-
-
-
Search Results
14
records
(took 0.036 seconds)
