-
公开(公告)号:CN116860326A
公开(公告)日:2023-10-10
申请号:CN202211636294.8
申请日:2022-12-19
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了用于嵌入式异构仿真的内存映射方法,包括以下步骤:步骤一,查找变量;步骤二,添加自定义元类型定义;步骤三,添加引用声明及初始化;步骤四,取消宏定义;步骤五,填写返回值;本发明解决了加速函数处理过程中对寄存器运算中需要手动加入的问题,对副作用回调函数的加入,降低了对用户源代码的修改,用户源代码的处理仅放置在了函数最开始和结尾处;本发明解决了宿主机与仿真目标机大小端不一致的问题,所有多字节元类型均进行了类重写,所有的大小端转换操作都在运算符重载中进行,由于大小端转换操作被内聚在了重写类中,解除了与用户源代码的耦合,无需担心大小端互转的对偶问题,提高了安全性。
-
公开(公告)号:CN115858383A
公开(公告)日:2023-03-28
申请号:CN202211670828.9
申请日:2022-12-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种面向多对象系统的关键字驱动测试方法及系统,方法包括步骤一,创建关键字执行流;步骤二,执行关键字;步骤三,测试结果反馈;步骤四,持续测试;步骤五,创建并行执行流;步骤六,切换测试对象;系统包括自动化测试模块、并行执行模块和测试对象切换模块,本发明基于关键字驱动的自动化测试框架进行改进,在关键字驱动的自动化测试框架基础之上,增加测试对象信息,测试框架据此信息向相应的测试对象发送测试操作指令;测试对象执行测试操作并返回执行结果。通过在用例中配置“设置被测对象”关键字和在参数中配置目的测试对象标识,以修改测试对象信息,实现向不同测试对象发送测试操作指令。
-
公开(公告)号:CN115857953A
公开(公告)日:2023-03-28
申请号:CN202211670829.3
申请日:2022-12-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F8/53
Abstract: 本发明公开了一种基于链表和逆向遍历的汇编代码中if结构识别方法,包括以下步骤:步骤一,创建链表和以地址为索引图的图;步骤二,汇编指令汇总与存储;步骤三,反优化操作;步骤四,逆向遍历链表;步骤五,无条件跳转指令的识别与归纳;步骤六,条件跳转指令的识别与归纳;本发明采用被跨越、被交叉的原则,实现了对编译器对跳转优化的反优化;本发明通过总结的识别策略实现了对if‑then、if‑else核结构的自动识别;本发明采用逆向遍历的方式,实现对if嵌套、布尔表达式复杂结构的识别,与正向识别方式相比,该方法仅需要一次遍历就能够确定每个if‑then、if‑else核心结构,减少了二次遍历的运算量。
-
-