公开(公告)号：CN117493152A

公开(公告)日：2024-02-02

申请号：CN202211636381.3

申请日：2022-12-19

Applicant: 北京轩宇信息技术有限公司

Inventor： 杨帆 ,  陈睿 ,  刘亚威 ,  贾春鹏 ,  施兰兰 ,  高栋栋 ,  张小龙 ,  王博祥 ,  王峥 ,  刘璟炜

IPC: G06F11/36 ,  G06F8/41 ,  G06F8/71

Abstract: 本发明公开了一种通用的嵌入式软件单元测试环境构建方法和系统，包括平台配置单元、测试场景构建单元、环境变量添加单元和自动构建单元；构建方法包括：步骤一，添加环境变量；步骤二，创建平台配置包；步骤三，构建测试场景；步骤四，生成测试环境；本发明把单元测试环境抽象为平台配置包、测试场景和环境变量三个部分，使用参数化方式描述测试环境，形成一套嵌入式软件平台配置机制，基于该机制形成多种嵌入式平台配置包和一个构建系统，把环境变量、测试场景和对应的平台配置包输入到构建系统，生成对应的测试环境，该方法可用于软件动态测试工具套件，使其在无需修改工具代码的情况下适配多种测试环境。

公开(公告)号：CN116860326A

公开(公告)日：2023-10-10

申请号：CN202211636294.8

申请日：2022-12-19

Applicant: 北京轩宇信息技术有限公司

Inventor： 李根 ,  吴瑾 ,  郭向英 ,  于婷婷 ,  高栋栋 ,  王博祥 ,  刘璟炜 ,  盛庄

IPC: G06F9/30 ,  G06F9/34

Abstract: 本发明公开了用于嵌入式异构仿真的内存映射方法，包括以下步骤：步骤一，查找变量；步骤二，添加自定义元类型定义；步骤三，添加引用声明及初始化；步骤四，取消宏定义；步骤五，填写返回值；本发明解决了加速函数处理过程中对寄存器运算中需要手动加入的问题，对副作用回调函数的加入，降低了对用户源代码的修改，用户源代码的处理仅放置在了函数最开始和结尾处；本发明解决了宿主机与仿真目标机大小端不一致的问题，所有多字节元类型均进行了类重写，所有的大小端转换操作都在运算符重载中进行，由于大小端转换操作被内聚在了重写类中，解除了与用户源代码的耦合，无需担心大小端互转的对偶问题，提高了安全性。

公开(公告)号：CN115858383A

公开(公告)日：2023-03-28

申请号：CN202211670828.9

申请日：2022-12-23

Applicant: 北京轩宇信息技术有限公司

Inventor： 房振军 ,  郭向英 ,  吴瑾 ,  周秋红 ,  王松松 ,  杨建磊 ,  刘璟炜 ,  盛庄

IPC: G06F11/36

Abstract: 本发明公开了一种面向多对象系统的关键字驱动测试方法及系统，方法包括步骤一，创建关键字执行流；步骤二，执行关键字；步骤三，测试结果反馈；步骤四，持续测试；步骤五，创建并行执行流；步骤六，切换测试对象；系统包括自动化测试模块、并行执行模块和测试对象切换模块，本发明基于关键字驱动的自动化测试框架进行改进，在关键字驱动的自动化测试框架基础之上，增加测试对象信息，测试框架据此信息向相应的测试对象发送测试操作指令；测试对象执行测试操作并返回执行结果。通过在用例中配置“设置被测对象”关键字和在参数中配置目的测试对象标识，以修改测试对象信息，实现向不同测试对象发送测试操作指令。

公开(公告)号：CN115858374A

公开(公告)日：2023-03-28

申请号：CN202211636295.2

申请日：2022-12-19

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  贾春鹏 ,  王峥 ,  杨帆 ,  丁戈 ,  肖志恒 ,  王博祥 ,  于婷婷 ,  高栋栋 ,  刘璟炜

IPC: G06F11/36

Abstract: 本发明公开了针对大规模静态缺陷检测的指针分析方法，包括以下步骤：步骤一，解析被分析工程的源代码；步骤二，构造控制流图；步骤三，构造函数调用图；步骤四，对调用图进行拓扑排序；步骤五，执行符号化的局部指针分析；步骤六，完成全程序的指针分析；步骤七，提供指向信息；所述步骤一中，标准化后的程序中，每条语句最多只有一个副作用，即函数调用或赋值操作；相较于现有的全程序指针分析方法，本发明所采用的模块化分析方法在分析大规模项目时，既能保证精度，又能显著降低开销，该方法通过在程序的语法树层面执行模块化的局部指针分析，得到的指针关系易于理解，且方便缺陷检测框架进行调试定位。

公开(公告)号：CN115857953A

公开(公告)日：2023-03-28

申请号：CN202211670829.3

申请日：2022-12-23

Applicant: 北京轩宇信息技术有限公司

Inventor： 李根 ,  吴瑾 ,  郭向英 ,  于婷婷 ,  高栋栋 ,  王博祥 ,  刘璟炜 ,  盛庄

IPC: G06F8/53

Abstract: 本发明公开了一种基于链表和逆向遍历的汇编代码中if结构识别方法，包括以下步骤：步骤一，创建链表和以地址为索引图的图；步骤二，汇编指令汇总与存储；步骤三，反优化操作；步骤四，逆向遍历链表；步骤五，无条件跳转指令的识别与归纳；步骤六，条件跳转指令的识别与归纳；本发明采用被跨越、被交叉的原则，实现了对编译器对跳转优化的反优化；本发明通过总结的识别策略实现了对if‑then、if‑else核结构的自动识别；本发明采用逆向遍历的方式，实现对if嵌套、布尔表达式复杂结构的识别，与正向识别方式相比，该方法仅需要一次遍历就能够确定每个if‑then、if‑else核心结构，减少了二次遍历的运算量。