-
公开(公告)号：CN109061448A
公开(公告)日：2018-12-21
申请号：CN201811265842.4
申请日：2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G01R31/28
CPC classification number: G01R31/2851
Abstract: 本发明属于集成电路测试技术领域，具体涉及一种基于模块化激励模型的集成电路测试激励生成系统。本发明应用时间轴配置方法产生与测试用例对应的任务点，通过配置任务点，形成包含激励模型的激励文件，实现激励信号的生成。并使任务点对应测试用例，实现对测试用例的可视化管理和批量执行。不仅解决了现有方案中人工成本大，调试复杂的矛盾，而且配置方式简单，适用于ASIC、SOC、FPGA等集成电路的仿真测试。
-
公开(公告)号：CN118860868A
公开(公告)日：2024-10-29
申请号：CN202410880447.6
申请日：2024-07-02
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种面向嵌入式软件的测试设备资源自动规划方法，属于嵌入式软件测试技术领域。该方法包括以下步骤：将被测系统信号与测试设备信号相映射得到匹配评价矩阵；基于匹配评价矩阵建立测试设备资源规划目标函数，基于测试设备资源规划目标函数及其约束条件建立多目标约束优化测试设备资源规划模型；基于所述多目标约束优化测试设备资源规划模型建立适应度值函数，通过粒子群算法求解得到测试设备资源的最优规划。该方法基于嵌入式软件系统需求描述和测试设备描述建立测试设备资源规划的多目标约束优化模型，通过求解该模型自动得到测试设备资源的最优规划，提高了规划最优测试设备资源的速度，从而提高了嵌入式软件的测试效率。
-
公开(公告)号：CN112559264B
公开(公告)日：2021-08-06
申请号：CN202011423776.6
申请日：2020-12-08
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种基于UVM的验证平台实现FPGA通用串口的仿真测试方法，属于仿真测试技术领域，解决了现有的FPGA通用串口的仿真测试方法周期较长、测试质量不稳定且测试效率较低的问题。方法包括；获得包含验证平台的底层模块的testbench测试平台，并基于testbench测试平台生成模板文件；构建验证平台的人机界面可执行程序；运行验证平台的人机界面可执行程序，并基于验证平台的人机界面调用模板文件进行FPGA通用串口的仿真测试，得到仿真测试结果，实现了FPGA通用串口的仿真测试，提高了测试效率，保证了测试质量。
-
公开(公告)号：CN106887982A
公开(公告)日：2017-06-23
申请号：CN201510939836.2
申请日：2015-12-15
Applicant: 北京京航计算通讯研究所
Inventor： 李卓 , 朱琳 , 张国宇 , 陈朋 , 孟伟 , 张哲 , 郑金艳 , 王栋 , 李丽华 , 张清 , 彭鸣 , 杨源 , 姚可成 , 冯耿 , 宋文 , 康建涛 , 赵菲 , 吕方雷 , 盛凯南 , 曾丽婷 , 王巍
IPC: H02P8/14
CPC classification number: H02P8/14
Abstract: 本发明实施例公开的一种基于FPGA的步进电机速度控制方法，涉及步进电机速度控制技术领域，能够实现在FPGA中使用单一控制结构对步进电机的速度进行控制。该方法计算目标角度值A1与当前角度值A0的步差绝对值X＝|A1－A0|；当步差绝对值0＜X≤M时，等待时间T后发出一次转动控制信号，然后X＝X－1，若T＜T1，则T＝T+ΔT，若T≥T1，则T＝T，当步差绝对值X＞M时，等待时间T后发出一次转动控制信号，然后X＝X－1，若T＞T2，则T＝T－ΔT，若T≤T2，则T＝T，当X＝0时，控制结束，转动停止，主要用于步进电机速度控制。
-
公开(公告)号：CN118860867A
公开(公告)日：2024-10-29
申请号：CN202410880445.7
申请日：2024-07-02
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种测试资源自动规划的测试系统，属于嵌入式软件测试技术领域。包括：控制器，用于基于被测系统的需求描述和测试设备描述建立每个被测系统信号对应的测试设备资源规划目标函数及其约束条件进而求解得到测试设备资源的最优规划，将所述最优规划发送给仿真机；仿真机，用于按所述最优规划对测试设备进行配置，并与被测系统UUT相连；还用于将UUT信号的测试结果发送给控制器；测试设备，用于通过仿真机对UUT信号进行测试。该系统基于嵌入式软件系统需求描述和测试设备描述建立测试设备资源规划的多目标约束优化模型，通过求解该模型自动得到测试设备资源的最优规划，提高了规划最优测试设备资源的速度，从而提高了嵌入式软件的测试效率。
-
Patent Agency Ranking
公开(公告)号：CN114610614B
公开(公告)日：2024-07-16
申请号：CN202210228824.9
申请日：2022-03-08
Applicant: 北京京航计算通讯研究所
Abstract: 一种可编程逻辑器件封装模块的安全性测试方法和系统，方法包括以下步骤：针对所述封装模块的每个功能，采用软件故障树分析法和软件失效模式与影响分析法进行故障分析，得到每个功能对应的综合故障树；以每个所述综合故障树中的最小割集为约束条件构建测试用例，所有测试用例构成测试用例集合；采用遗传算法从所述测试用例集合中选择最优测试用例组，所述最优测试用例组对所述可编程逻辑器件的封装模块进行测试，得到所述可编程逻辑器件的封装模块的安全性测试结果。
-
公开(公告)号：CN115757153A
公开(公告)日：2023-03-07
申请号：CN202211476761.5
申请日：2022-11-23
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于嵌入式软件测试领域，涉及一种基于状态机的测试用例生成方法和系统，包括使用数据协议描述语言DPD对接口协议进行描述；基于DPD所描述的接口协议信息和被测系统的软件设计说明书构建状态机并用状态图表示；基于所述状态图定义状态变迁矩阵；基于所述状态变迁矩阵，使用完全变迁路径覆盖算法生成初始测试用例；使用改进的AETG算法对所述初始测试用例进行覆盖率优化得到完整测试用例集。本发明利用自定义数据协议描述语言DPD，基于根据状态机的状态转移图自动生成测试用例，并经过覆盖率优化达到高覆盖率、低重复率的高质量测试用例集。
-
公开(公告)号：CN112559264A
公开(公告)日：2021-03-26
申请号：CN202011423776.6
申请日：2020-12-08
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种基于UVM的验证平台实现FPGA通用串口的仿真测试方法，属于仿真测试技术领域，解决了现有的FPGA通用串口的仿真测试方法周期较长、测试质量不稳定且测试效率较低的问题。方法包括；获得包含验证平台的底层模块的testbench测试平台，并基于testbench测试平台生成模板文件；构建验证平台的人机界面可执行程序；运行验证平台的人机界面可执行程序，并基于验证平台的人机界面调用模板文件进行FPGA通用串口的仿真测试，得到仿真测试结果，实现了FPGA通用串口的仿真测试，提高了测试效率，保证了测试质量。
-
公开(公告)号：CN111143201A
公开(公告)日：2020-05-12
申请号：CN201911300145.2
申请日：2019-12-16
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于软件测评相关技术领域，具体涉及一种基于Bayes的军用软件质量度量系统，其基于国军标《GJB5236-2004军用软件质量度量》所规定的质量模型，并利用人工智能理论中Bayes的推理网络，提出了一种基于Bayes的军用软件质量度量系统。该系统以概率的形式描述了各个度量元对军用软件质量的影响，并且以概率的形式定量描述了军用软件质量的好坏。对比国内外软件质量度量方案，本发明的技术方案提高军用软件质量度量的准确性、可靠性。
-
公开(公告)号：CN111124790A
公开(公告)日：2020-05-08
申请号：CN201911243722.9
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/26
Abstract: 本发明涉及一种可重用仿真接口模型的生成系统，属于可编程逻辑器件软件的测试与验证领域。所述系统包括：所述信息获取模块用于获取外部接口器件手册信息，将所述信息输出至参数提取模块；所述参数提取模块依据输入信息，分析并提取可扩展参数；所述结构体生成模块用于生成仿真接口模型结构体；所述实体生成模块用于生成仿真接口模型实体；所述组合封装模块用于将所述仿真接口模型结构体以及仿真接口模型结构体组合封装，生成可重用仿真接口模型。与现有技术相比，本发明形成的仿真接口模型具有可重用特性，对可扩展参数进行设置后，可用于其他可编程逻辑器件软件的仿真平台，提高可编程逻辑器件软件仿真平台的搭建效率。
-
-
-
-
-
-
-
-
-
Search Results
25
records
(took 0.029 seconds)
