公开(公告)号：CN114064487B

公开(公告)日：2024-09-24

申请号：CN202111369107.X

申请日：2021-11-18

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

Inventor： 曲天润 ,  刘伟 ,  郑伟宁 ,  王嬴超 ,  苏小红 ,  陈俊英 ,  吴俊爽 ,  赵菲 ,  陈宏欣 ,  季微微 ,  谷妤嫔 ,  盛凯南 ,  李春静 ,  张骢 ,  王一晶

IPC: G06F11/36 ,  G06N3/045 ,  G06N3/0442

Abstract: 本发明公开了一种代码缺陷检测方法，属于软件测试技术领域，能够提高代码缺陷检测的准确率。方法包括：根据预设切片准则对待识别代码进行切片处理，得到待检测切片代码段；输入所述待检测切片代码段至预设代码缺陷检测模型，将所述预设代码缺陷检测模型的输出结果作为代码缺陷检测结果；其中，所述预设代码缺陷检测模型是通过对训练阶段的各切片代码段中的语句语义向量和语句类型向量进行分段学习，得到的网络模型。

公开(公告)号：CN108153669A

公开(公告)日：2018-06-12

申请号：CN201711225458.7

申请日：2017-11-29

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

Inventor： 郑金艳 ,  张清 ,  陈朋 ,  安鹏伟 ,  刘伟 ,  魏伟波 ,  孙文靖 ,  康建涛 ,  高晓琼 ,  张依漪 ,  孟琪 ,  张骢 ,  陈盼 ,  季微微 ,  李昂 ,  马培培 ,  李志刚 ,  王赢超 ,  李春静 ,  王莹

IPC: G06F11/36

CPC classification number: G06F11/3684 ,  G06F11/3676 ,  G06F11/3688

Abstract: 本发明属于FPGA软件仿真测试技术领域，具体涉及一种应用时间轴配置方式实现FPGA软件仿真任务调度的方法。本发明将FPGA软件测试用例以任务调度的方式进行实现，以任务点的方式对任务调度进行配置。其中任务点布置在坐标轴上，该坐标轴是由横向器件和纵向时间组成的二维坐标轴，通过采用对坐标轴中每个目标按照时序要求配置任务点的方式，实现测试用例的系统化和时序化操作，进而提高FPGA软件仿真任务调度的系统配置能力，提高测试用例批处理能力。

公开(公告)号：CN108121657A

公开(公告)日：2018-06-05

申请号：CN201711224669.9

申请日：2017-11-29

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

Inventor： 郑金艳 ,  张清 ,  陈朋 ,  安鹏伟 ,  刘伟 ,  魏伟波 ,  孙文靖 ,  康建涛 ,  高晓琼 ,  张依漪 ,  孟琪 ,  张骢 ,  陈盼 ,  季微微 ,  李昂 ,  马培培 ,  李志刚 ,  王赢超 ,  李春静 ,  王莹

IPC: G06F11/36

Abstract: 本发明属于FPGA软件仿真测试技术领域，具体涉及一种基于系统模型的可编程逻辑器件软件仿真验证系统。与现有技术相比较，本发明通过实施上述技术方案，较好的解决了现有FPGA仿真测试中，需要测试人员逐行编辑代码模拟FPGA外围接口器件的问题。本系统自主研发并经过验证的FPGA外围接口函数封装在底层，上层模型对其进行调用和参数化配置，解决了需要人工模拟FPGA外围接口器件所带来的影响效率的问题和接口器件正确性和准确性的问题。