公开(公告)号：CN117608991A

公开(公告)日：2024-02-27

申请号：CN202311585756.2

申请日：2023-11-24

Applicant: 北京京航计算通讯研究所

Inventor： 吴俊爽 ,  陈俊英 ,  满雨菲 ,  曲天润 ,  宋志强 ,  焦春炎 ,  张磊 ,  李皓宇 ,  李春静 ,  杨艳丹 ,  彭婷婷

IPC: G06F11/34 ,  G06F11/36 ,  G06N3/094 ,  G06N3/126 ,  G06F16/35

Abstract: 本发明涉及一种智能算法平台的性能测试方法和工具，属于软件测试领域。方法包括：构建文本序列数据集，并使用改进遗传算法的对抗样本生成方法基于各文本序列生成相应对抗序列数据集；分别在基准智能算法平台和待测智能算法平台运行待训练文本分类模型，得到基准智能算法平台性能指标值和待测智能算法平台的性能测试结果；在待测智能算法平台使用在该平台训练好的文本分类模型对对抗序列数据集进行分类预测，得到对抗预测结果；基于基准智能算法平台性能指标值、待测智能算法平台的性能测试结果和对抗预测结果得到待测智能算法平台的性能评价结果。本发明方法解决了现有工具不能对平台训练得到的智能算法模型的对抗鲁棒性进行评价的问题。

公开(公告)号：CN109388574A

公开(公告)日：2019-02-26

申请号：CN201811265791.5

申请日：2018-10-29

Applicant: 北京京航计算通讯研究所

Inventor： 张磊 ,  孙文靖 ,  马少辉 ,  杨硕 ,  刘昕照 ,  于铁军 ,  杨春霞 ,  侯艳钗 ,  谷妤嫔 ,  邹丽 ,  罗淑琼 ,  曾丽婷 ,  韩壮 ,  南亚茹 ,  肖笑笑 ,  洪楠

IPC: G06F11/36

Abstract: 本发明属于软件测试静态分析技术领域，具体涉及一种静态分析辅助系统，包括：静态分析结果提取模块，用于提取静态分析工具的静态分析测试结果；静态分析结果整理模块，用于解析静态分析后的静态分析测试结果，并将静态分析测试结果映射至安全子集细则GJB8114中的标准要求，形成映射整理后的静态分析测试结果；报告生成模块，用于将映射整理后的静态分析测试结果依据报告模板生成测试报告。与现有技术相比较，本发明技术方案通过采取上述技术措施，该方法可以有效提高静态分析效率，降低测试人力成本，提高了测试工作质量，降低了软件质量风险，节约时间成本和人力成本。本项目中研究的针对静态分析工具可以为自动化测试提供指导。

公开(公告)号：CN103631717A

公开(公告)日：2014-03-12

申请号：CN201310653804.7

申请日：2013-12-09

Applicant: 北京京航计算通讯研究所

Inventor： 吕宗辉 ,  蔡德胜 ,  刘玉峰 ,  王雅楠 ,  张明敏 ,  魏伟波 ,  刘军 ,  李娜 ,  杨志国 ,  张磊

IPC: G06F11/36

Abstract: 本发明属于一种嵌入式软件测试方法，基于NI平台的RS422串行通讯接口故障模型搭建方法，它包括如下步骤，1)针对被测试软件的交联环境及故障注入要求，设置不同的故障注入数据参数及故障注入文件；2)将故障注入数据参数及故障注入文件共同配置到故障注入工具；3)根据被测试软件的交联环境及RS422故障注入工具交联要求，连接开展测试。本发明的优点是，它能够模拟RS422数据故障从而提高测试充分性的途径和方法，并最终提高嵌入式软件动态测试关于RS422用例执行充分性的质标。

公开(公告)号：CN106886487A

公开(公告)日：2017-06-23

申请号：CN201510940269.2

申请日：2015-12-15

Applicant: 北京京航计算通讯研究所

Inventor： 姚可成 ,  刘伟 ,  孟伟 ,  朱琳 ,  杨楠 ,  张哲 ,  李卓 ,  李丽华 ,  张清 ,  张国宇 ,  宋悦 ,  张玉 ,  程海龙 ,  李思 ,  韩旭东 ,  孙文靖 ,  杨春霞 ,  申璐 ,  张磊 ,  刘妍 ,  李慧君 ,  李晓伟

IPC: G06F11/36 ,  G06N3/02

CPC classification number: G06F11/3692 ,  G06N3/02

Abstract: 本发明实施例公开了一种用于评价FPGA软件可靠性的方法，涉及FPGA软件可靠性评价技术，能够客观、准确的评价FPGA软件的可靠性。该方法包括输入训练样本数据；FPGA软件可靠性度量模型与BP神经网络结合，利用所述训练样本数据对神经网络进行训练，提取FPGA软件可靠性度量元，并确定该FPGA软件中每个度量元的值，输出可靠性评价结果，主要用于FPGA软件可靠性评价。

公开(公告)号：CN109388575A

公开(公告)日：2019-02-26

申请号：CN201811265856.6

申请日：2018-10-29

Applicant: 北京京航计算通讯研究所

Inventor： 马少辉 ,  孙文靖 ,  张磊 ,  杨硕 ,  于铁军 ,  刘昕照 ,  杨春霞 ,  邹丽 ,  罗淑琼 ,  彭婷婷 ,  高誉菊 ,  胡蝶 ,  侯艳钗 ,  谷妤嫔 ,  曾丽婷 ,  洪楠

IPC: G06F11/36

Abstract: 本发明属于软件测试静态分析技术领域，具体涉及一种静态分析辅助方法，其包括：静态分析结果提取模块提取静态分析工具的静态分析测试结果；静态分析结果整理模块解析静态分析后的静态分析测试结果，并将静态分析测试结果映射至安全子集细则GJB8114中的标准要求，形成映射整理后的静态分析测试结果；报告生成模块将映射整理后的静态分析测试结果依据报告模板生成测试报告。与现有技术相比较，本发明技术方案通过采取上述技术措施，该方法可以有效提高静态分析效率，降低测试人力成本，提高了测试工作质量，降低了软件质量风险，节约时间成本和人力成本。本项目中研究的针对静态分析工具可以为自动化测试提供指导。

公开(公告)号：CN105893232A

公开(公告)日：2016-08-24

申请号：CN201410558548.8

申请日：2014-10-21

Applicant: 北京京航计算通讯研究所

Inventor： 蔡德胜 ,  张明敏 ,  李晓伟 ,  张磊 ,  刘玉峰

IPC: G06F11/36

Abstract: 本发明属于一种嵌入式软件测试方法，具体涉及一种基于RS422接口的异常数据生成方法。它包括如下步骤：分析软件动态测试RS422接口测试的异常数据类型、特点，从中提取影响测试充分性的因素，进而通过提取、分析RS422接口异常数据的共同特性，选择合适的异常数据种类作为生成对象；对于有数据应答的被测软件，还必须回读被测软件的应答数据，并在异常数据生成软件界面予以显示。对于产生的异常数据，套用合适的设备及方法进行数据输出，利用模拟设备将产生的异常数据注入到被测系统中。其优点是，它能将生成的异常数据注入到被测软件，提高测试充分性、完整性、有效性，并最终提高军用软件动态测试关于RS422用例执行的质量。

公开(公告)号：CN103617121A

公开(公告)日：2014-03-05

申请号：CN201310653803.2

申请日：2013-12-09

Applicant: 北京京航计算通讯研究所

Inventor： 吕宗辉 ,  蔡德胜 ,  刘玉峰 ,  王雅楠 ,  张明敏 ,  魏伟波 ,  刘军 ,  李娜 ,  杨志国 ,  张磊

IPC: G06F11/36

Abstract: 本发明属于一种嵌入式软件测试方法，具体涉及一种基于NI平台的AD/DA接口故障模型搭建方法，它包括如下步骤，1)针对被测试软件的交联环境及故障注入要求，设置不同的故障注入数据参数及故障注入文件；2)将故障注入数据参数及故障注入文件共同配置到故障注入工具；3)根据被测试软件的交联环境及AD/DA故障注入工具交联要求，连接开展测试。本发明的优点是，它能够模拟AD/DA故障从而提高测试充分性的途径和方法，并最终提高嵌入式软件动态测试关于AD/DA用例执行充分性的质标。