-
公开(公告)号：CN109344019A
公开(公告)日：2019-02-15
申请号：CN201811105739.3
申请日：2018-09-21
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/22
Abstract: 本发明涉及一种基于SOPC系统的1553B协议通用接口半自动化测试系统及方法，涉及1553B协议功能测试技术领域。本发明结合Python脚本作为粘合语言的特点、SOPC具备灵活动态可重配置特性、数字电路状态机实现定制协议转换技术，解决了传统1553B协议接口测试设备通用性差，测试灵活度不高，测试自动化程度不高，测试效率低等问题，其中，采用光纤以太网、DDR3技术解决了1553B协议测试通信实时性问题，采用SOPC系统解决了传统测试方法不能对1553B命令的响应时间等实时性高的性能指标进行测试的问题。测试人员只需要根据1553B协议定义正常的命令帧格式，测试平台可根据正常的1553B测试命令帧自动衍生出异常的1553B测试命令帧，并将异常1553B测试命令帧施加到被测对象，完成1553B协议的自动测试。
-
公开(公告)号：CN108563545A
公开(公告)日：2018-09-21
申请号：CN201810318558.2
申请日：2018-04-11
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/26
Abstract: 本发明公开了一种覆盖率驱动软硬件协同的SOPC功能验证方法和系统，其中，该方法包括：第一步、根据SOPC软件需求提取软件功能测试点，形成测试需求表，使用Python脚本提取测试需求表的功能测试点；第二步、软件工作站将测试需求表转换为测试向量进行测试数据转换逻辑后发送给被测SOPC软件；第三步、硬件仿真加速器中被测SOPC软件输出信号经测试数据转换逻辑打包后发送给软件工作站，软件工作站完成测试结果比对和功能覆盖率统计；第四步、软件工作站根据测试结果比对的结果标记未通过的功能测试用例，根据功能覆盖率统计结果执行未覆盖的功能测试项。一种覆盖率驱动软硬件协同的SOPC功能验证方法和系统呢呢狗，解决现有的需求为导向的人工测试方法测试效率不高的问题。
-
公开(公告)号：CN118535206A
公开(公告)日：2024-08-23
申请号：CN202410347061.9
申请日：2024-03-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于配置的嵌入式软件外部仿真设备构建方法，属于嵌入式软件仿真测试技术领域。该方法通过定义软件接口协议和交互模型文档规范，配置软件接口协议文档和软件交互模型文档，构建请求数据帧解析器、命令帧应答器、响应数据帧编码器和命令帧记录器，实现基于接口的嵌入式软件外部设备输入、输出和交互行为仿真，支持测试数据采集、存储和分析。
-
公开(公告)号：CN110990252B
公开(公告)日：2024-06-18
申请号：CN201911008859.6
申请日：2019-10-22
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种嵌入式飞控软件测试质量和效率的测试方法，其中，包括：第一步、进行外围环境模拟与外部设备的接口封装；第二步、通过读串口数据时进行处理和读完数据后直接覆盖buffer中的数据，模拟RS‑422串行通讯接口；第三步、启动RS485串行通讯接口发送处进行插桩；第四步、对计时器进行模拟；第五步、飞控软件的中断分为周期性中断与非周期性中断，周期性中断采用直接调用的方式处理，直接插桩，非周期性中断，采用周期性查询的方式来模拟。本发明能够直接在x86PC上运行C语言编写的飞控软件，可以在短时间内验证模型计算功能的正确性和测试覆盖的充分性，大幅度提高软件测试的质量与效率。
-
公开(公告)号：CN115017100A
公开(公告)日：2022-09-06
申请号：CN202210556356.8
申请日：2022-05-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F16/13 , G06F16/14 , G06F16/182 , G06F8/75
Abstract: 本发明涉及一种基于ElasticSearch搜索引擎的软件代码溯源方法，属于软件代码溯源技术领域。该代码溯源方法通过设计索引，代码特征提取，构建起代码特征索引库，为代码溯源提供溯源样本库；通过代码特征提取，代码特征搜索比对和代码相似度计算，完成软件代码溯源。该方法主要是利用ElasticSearch搜索引擎强大的索引和实时搜索能力，以代码文件为单位，在海量软件样本库中快速溯源相似代码，并计算代码相似度，提高代码相似性比对效率，解决海量数据条件下代码快速溯源问题。
-
Patent Agency Ranking
公开(公告)号：CN114995831A
公开(公告)日：2022-09-02
申请号：CN202210639305.1
申请日：2022-06-07
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/52
Abstract: 本发明涉及一种基于动态链接符号表的ELF文件相似性比对方法，属于软件二进制代码溯源分析技术领域。该比对方法通过ELF文件解析，提取并比对ELF文件动态链接符号表，完成了ELF文件相似性比对和相似度计算。该方法主要是为Unix/Linux操作系统下可执行文件、目标代码、共享库等ELF文件溯源提供技术手段，具有良好的鲁棒性、较高的准确性和比对效率，同时兼容32位和64位ELF文件。
-
公开(公告)号：CN108845905B
公开(公告)日：2021-09-10
申请号：CN201810678974.3
申请日：2018-06-27
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种适用于大系统的通讯协议快速并行测试方法，包括：将大系统划分为多个分系统和设备，将单个分系统或单个设备设定为一个基本通讯单位；对每个基本通讯单位所使用的通讯协议进行规格化；每个基本通讯单元的每一个命令对应一个子文件；遍历文件，读取基本通讯单位的名称，根据规格化协议中的该基本通讯单位所链接的设备，构建出大系统的链接图；对程序实现的协议和文档描述的协议进行对比，对依据程序代码实现进行规格化通讯协议和依据文档描述进行规格化的通讯协议进行对比；以文档描述协议为依据，对与基本通讯单位相链接的协议进行通讯协议一致性对比，如果有不一致的地方，则进行提示，系统的链接图上显示辅助信息。
-
公开(公告)号：CN107402799B
公开(公告)日：2020-07-21
申请号：CN201710609948.0
申请日：2017-07-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种在X86电脑超高速解释执行TMS320C25芯片汇编指令的方法，属于动力技术领域。本发明提出了一种在X86电脑超高速解释执行TMS320C25芯片汇编指令的方法。该方法无需使用专用的仿真器，可在Windows环境下高效快速模拟运行汇编指令，借助多种通用测试工具，高速执行海量测试用例，快速有效验证汇编语言程序的功能正确性，获取代码覆盖，对被测件进行白盒测试，从而提高汇编语言程序的测试充分性。
-
公开(公告)号：CN108845905A
公开(公告)日：2018-11-20
申请号：CN201810678974.3
申请日：2018-06-27
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种适用于大系统的通讯协议快速并行测试方法，包括：将大系统划分为多个分系统和设备，将单个分系统或单个设备设定为一个基本通讯单位；对每个基本通讯单位所使用的通讯协议进行规格化；每个基本通讯单元的每一个命令对应一个子文件；遍历文件，读取基本通讯单位的名称，根据规格化协议中的该基本通讯单位所链接的设备，构建出大系统的链接图；对程序实现的协议和文档描述的协议进行对比，对依据程序代码实现进行规格化通讯协议和依据文档描述进行规格化的通讯协议进行对比；以文档描述协议为依据，对与基本通讯单位相链接的协议进行通讯协议一致性对比，如果有不一致的地方，则进行提示，系统的链接图上显示辅助信息。
-
公开(公告)号：CN107291622A
公开(公告)日：2017-10-24
申请号：CN201710587079.6
申请日：2017-07-18
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种C25汇编代码静态分析方法，属于软件测试技术领域。本发明在解释执行该汇编语句的基础上，检查代码中是否存在典型错误，针对典型错误的特点，采用忽略跳转指令强行顺序解释执行和分支覆盖解释执行两种方式对C25汇编代码进行分析，包括对C25汇编软件进行规则检查、比例尺检查、质量度量，提高了C25汇编软件测试的充分性。
-
-
-
-
-
-
-
-
-
Search Results
30
records
(took 0.043 seconds)
