公开(公告)号：CN111124790B

公开(公告)日：2023-01-10

申请号：CN201911243722.9

申请日：2019-12-06

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

Inventor： 张清 ,  陈朋 ,  安鹏伟 ,  刘伟 ,  陈盼 ,  王嬴超 ,  赵常 ,  邢海波 ,  张玉晓 ,  刘义

IPC: G06F11/26

Abstract: 本发明涉及一种可重用仿真接口模型的生成系统，属于可编程逻辑器件软件的测试与验证领域。所述系统包括：所述信息获取模块用于获取外部接口器件手册信息，将所述信息输出至参数提取模块；所述参数提取模块依据输入信息，分析并提取可扩展参数；所述结构体生成模块用于生成仿真接口模型结构体；所述实体生成模块用于生成仿真接口模型实体；所述组合封装模块用于将所述仿真接口模型结构体以及仿真接口模型结构体组合封装，生成可重用仿真接口模型。与现有技术相比，本发明形成的仿真接口模型具有可重用特性，对可扩展参数进行设置后，可用于其他可编程逻辑器件软件的仿真平台，提高可编程逻辑器件软件仿真平台的搭建效率。

公开(公告)号：CN111124896A

公开(公告)日：2020-05-08

申请号：CN201911244946.1

申请日：2019-12-06

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

Inventor： 李慧君 ,  安鹏伟 ,  吕俊巧 ,  姚奇森 ,  朱文龙 ,  李爽 ,  王盼盼 ,  马莉 ,  洪楠

IPC: G06F11/36

Abstract: 本发明属于主次峰值比计算算法测试领域，具体涉及一种主次峰值比计算算法的蜕变测试系统。所述系统包括蜕变关系提取模块、附加测试用例生成模块以及验证模块；所述蜕变关系提取模块用于依据主次峰值比计算算法输入的区域图像及邻域图像提取蜕变关系；所述附加测试用例生成模块用于将原始测试用例结合所述蜕变关系生成附加测试用例，将附加测试用例输出至验证模块；所述验证模块用于将原始测试用例和附加测试用例输入被测程序，验证被测程序是否存在缺陷。与现有技术相比本发明由于蜕变测试系统来源于算法内部的几何属性、数值属性和算法特性，无需获取绝对准确的期望结果，可以很好地解决重构标准模型的测试判定不确定性的问题。

公开(公告)号：CN109408392A

公开(公告)日：2019-03-01

申请号：CN201811314440.9

申请日：2018-11-06

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

Inventor： 李潇 ,  安鹏伟 ,  魏鑫 ,  魏伟波 ,  王俊 ,  刘军 ,  刘伟 ,  高米 ,  赵常 ,  王杰 ,  盛凯南 ,  陈宏欣 ,  马少辉 ,  郑金艳 ,  张清

IPC: G06F11/36

Abstract: 本发明属于软件持续集成与软件工程技术领域，具体涉及一种基于持续集成技术的软件集成测试方法，包括：接收外部输入的各类参数信息；提供代码推送、代码推送标识生成；检测推送标识，查看代码是否有更新，同时读取输入的测试参数作为测试工具的运行参数，然后调用测试工具进行软件测试，在测试工具运行完成后将测试结果存储到指定位置；将测试工具生成的各种测试结果进行发布。该技术方案对软件测试工具进行集中化自动调度管理，可有效解决目前软件测试工具使用方式分散、使用过程繁琐、自动化程度低以及许可证冲突的问题。

公开(公告)号：CN109408391A

公开(公告)日：2019-03-01

申请号：CN201811314430.5

申请日：2018-11-06

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

Inventor： 李潇 ,  魏伟波 ,  王俊 ,  刘军 ,  于林宇 ,  安鹏伟 ,  康建涛 ,  刘伟 ,  魏鑫 ,  李晓伟 ,  高米 ,  李昆 ,  李娜 ,  赵菲 ,  陈朋

IPC: G06F11/36

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外围接口器件所带来的影响效率的问题和接口器件正确性和准确性的问题。