-
公开(公告)号:CN114579440A
公开(公告)日:2022-06-03
申请号:CN202210191066.8
申请日:2022-02-25
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种提高导引头软件功能测试质量和效率的测试平台和方法,属于软件测试技术领域。本发明利用脚本语言实现将测试过程对开发工具操作以及导引头硬件电路下载程序等步骤自动化,代替了人手工进行编译和下载程序对导引头进行测试的问题;采用FPGA高速RapidIO接口监控并记录导引头软件某功能测试中关注的关键中间状态变量和时序参数,解决了导引头软件功能测试的观测性不高,通过增加记录调试变量的数目解决功能测试异常时故障点不能准确定位的问题,提高了导引头软件功能测试的可观测性。
-
公开(公告)号:CN107402799A
公开(公告)日:2017-11-28
申请号:CN201710609948.0
申请日:2017-07-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种在X86电脑超高速解释执行TMS320C25芯片汇编指令的方法,属于动力技术领域。本发明提出了一种在X86电脑超高速解释执行TMS320C25芯片汇编指令的方法。该方法无需使用专用的仿真器,可在Windows环境下高效快速模拟运行汇编指令,借助多种通用测试工具,高速执行海量测试用例,快速有效验证汇编语言程序的功能正确性,获取代码覆盖,对被测件进行白盒测试,从而提高汇编语言程序的测试充分性。
-
公开(公告)号:CN107391375A
公开(公告)日:2017-11-24
申请号:CN201710609965.4
申请日:2017-07-25
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种执行C25汇编语言时获取语句和分支覆盖率的方法,涉及软件测试技术领域。本发明根据C25汇编程序的特点选取插桩算法,自动对程序进行插桩;当程序运行时,插桩点自动记录该桩点是否运行,以及运行的次数。记录的插桩点运行数据,可解析出两个插桩点之间的程序代码运行情况。解析时,在统计语句覆盖率的基础上,统计分支覆盖率,在记录分支运行信息时,为了避免函数的调用打乱记录覆盖信息的数组指针,在函数调用时,采用压栈出栈的方式进行保护,避免条件跳转分支使用错误的数组索引号。
-
公开(公告)号:CN119829428A
公开(公告)日:2025-04-15
申请号:CN202411812494.3
申请日:2024-12-10
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/3668 , G06F11/3698 , G06F9/455
Abstract: 本发明涉及一种基于虚拟机的嵌入式软件仿真测试环境构建方法,属于嵌入式软件测试技术领域。该方法通过增加接口适配层和网络通信层,替换底层具体专用硬件接口设备或总线的驱动程序,将具体专用硬件接口设备或总线的操作重定向成网络通信操作,实现嵌入式软件虚拟机环境部署;通过仿真设备替代外部真实交联设备或系统,为嵌入式软件运行提供激励或响应数据,同时接收嵌入式软件输出数据,并根据输出数据进行实时自动应答,保证嵌入式软件不间断运行;通过测试驱动器,集中管理外部仿真设备,并按照业务流程测试调度仿真设备,协同完成嵌入式软件自动化测试。
-
公开(公告)号:CN119003355A
公开(公告)日:2024-11-22
申请号:CN202411088088.7
申请日:2024-08-09
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36 , G06N3/0464 , G06N3/084 , G06F18/2135 , G06F18/23 , G06F18/24
Abstract: 本发明涉及一种基于DP‑ANN和软件缺陷模式的软件测试能力评估方法,属于软件测试领域。本发明的方法包括:预处理软件缺陷模型的各种类型的缺陷数据,构建软件缺陷模式;建立基于反向传播的BP神经网络算法的软件缺陷模式的软件测试能力评估DP‑ANN模型,并优化反向传播的梯度计算;根据预处理完成的数据,作为输入,通过建立的DP‑ANN模型,设置每一层的关联关系,每一层的数据量,训练得出评估模型所需的最优的权值和阈值;将最终的训练结果应用于软件缺陷模式的软件测试能力评估。本发明适用于软件缺陷模式的评估系统权重的计算,能够提高大规模复杂软件缺陷评估工作的效率,增加权重的客观性。
-
公开(公告)号:CN118823478A
公开(公告)日:2024-10-22
申请号:CN202410992690.7
申请日:2024-07-23
Applicant: 北京计算机技术及应用研究所
IPC: G06V10/764 , G06V10/774 , G06V10/40 , G06N3/0464 , G06V10/82
Abstract: 本发明涉及一种基于谱特征分析的目标检测后门攻击数据检测方法,属于后门检测领域。本发明首先根据目标检测数据集每张图像的边界框标注信息从原始图像裁剪出每一个单独的目标生成新的目标数据集;然后将目标数据集作为输入,训练一个分类神经网络,获取每个目标样本的特征表示;接着将获取的特征表示按类别进行划分,得到每个类别的特征表示,进而计算得到每个类别的协方差矩阵,随后对协方差矩阵进行奇异值分解来分析协方差矩阵中的谱特征;然后根据奇异值分解得到的谱特征中的奇异向量计算得到每个样本的异常分数;最后设定一个分数阈值作为判断标准,确定有毒样本和有毒图像。本发明能提升目标检测任务中的后门攻击数据检测能力。
-
公开(公告)号:CN118132430A
公开(公告)日:2024-06-04
申请号:CN202410282211.2
申请日:2024-03-13
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种面向接口测试的嵌入式软件命令帧自动应答方法,属于嵌入式软件接口测试技术领域。该方法通过定义软件交互模型元素及规范,形成软件交互模型文档规范;基于软件交互模型文档规范,配置软件交互模型文档,构建软件交互模型和命令帧应答处理器,完成了嵌入式软件输出请求命令的实时自动应答处理,提高了嵌入式软件测试的有效性和充分性。
-
公开(公告)号:CN118132356A
公开(公告)日:2024-06-04
申请号:CN202410260262.5
申请日:2024-03-07
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种面向接口测试的嵌入式软件交互模型描述方法,属于嵌入式软件接口测试技术领域。该方法通过定义软件交互模型元素及规范,形成软件交互模型文档规范,支持软件交互模型文档配置及有效性校验,可以为嵌入式软件接口测试数据实时反馈应答处理提供基于配置的解决方案。
-
公开(公告)号:CN108563545B
公开(公告)日:2021-06-08
申请号:CN201810318558.2
申请日:2018-04-11
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/26
Abstract: 本发明公开了一种覆盖率驱动软硬件协同的SOPC功能验证方法和系统,其中,该方法包括:第一步、根据SOPC软件需求提取软件功能测试点,形成测试需求表,使用Python脚本提取测试需求表的功能测试点;第二步、软件工作站将测试需求表转换为测试向量进行测试数据转换逻辑后发送给被测SOPC软件;第三步、硬件仿真加速器中被测SOPC软件输出信号经测试数据转换逻辑打包后发送给软件工作站,软件工作站完成测试结果比对和功能覆盖率统计;第四步、软件工作站根据测试结果比对的结果标记未通过的功能测试用例,根据功能覆盖率统计结果执行未覆盖的功能测试项。一种覆盖率驱动软硬件协同的SOPC功能验证方法和系统,解决现有的需求为导向的人工测试方法测试效率不高的问题。
-
公开(公告)号:CN107291622B
公开(公告)日:2020-03-31
申请号:CN201710587079.6
申请日:2017-07-18
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种C25汇编代码静态分析方法,属于软件测试技术领域。本发明在解释执行该汇编语句的基础上,检查代码中是否存在典型错误,针对典型错误的特点,采用忽略跳转指令强行顺序解释执行和分支覆盖解释执行两种方式对C25汇编代码进行分析,包括对C25汇编软件进行规则检查、比例尺检查、质量度量,提高了C25汇编软件测试的充分性。
-
-
-
-
-
-
-
-
-