-
公开(公告)号：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
14
records
(took 0.043 seconds)
