公开(公告)号：CN112380133A

公开(公告)日：2021-02-19

申请号：CN202011314585.6

申请日：2020-11-20

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

Inventor： 崔智超 ,  吴瑾 ,  江云松 ,  陈睿 ,  张静 ,  陈阳

IPC: G06F11/36 ,  G06F30/20

Abstract: 本发明实施例公开了一种指令集模拟器利用功能库仿真的方法及装置。所述方法包括：获取目标码中需要利用功能库进行仿真的目标码函数名，及所述目标码函数名对应的功能库函数名；调用目标码解析软件对所述目标码进行解析，确定所述目标码函数名对应的目标函数入口地址；根据所述目标码函数名和所述目标函数入口地址，生成函数地址信息对应表，并将所述函数地址信息对应表发送至指令模拟器；通过所述指令模拟器根据所述功能库函数名，利用功能库函数进行仿真，以得到仿真结果。本发明实施例解决了指令集模拟器调试、测试过程中仿真复杂算法效率较低、计算结果精度较差的问题，解决了对于目标码动态调用外部库函数时无法解析的问题。

公开(公告)号：CN111176994A

公开(公告)日：2020-05-19

申请号：CN201911349540.X

申请日：2019-12-24

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

Inventor： 陈睿 ,  杨帆 ,  江云松 ,  王浩 ,  韩亮 ,  刘亚威 ,  贾春鹏 ,  车小鹏 ,  施兰兰 ,  高猛 ,  高栋栋 ,  王政 ,  吴瑾

IPC: G06F11/36

Abstract: 本发明实施例提供了一种针对嵌入式软件IO端口的单元测试用例生成方法及装置。所述方法包括：对待测试程序进行静态分析，获取所述待测试程序中的关键数据；启动基于解释器的符号执行引擎；在所述解释器中建立一个IO区域查询表和分配一段IO专用内存区域；采用所述符号执行引擎根据所述IO区域查询表、所述IO专用内存区域、IO端口输入映射到IO专用内存和所述关键数据，确定所述待测试程序对应的测试用例。本发明实施例能够自动识别IO端口，无需人工配置，生成用例效率提升，且解决了IO端口地址作为输入时生成的用例覆盖率低的问题。

公开(公告)号：CN111159022A

公开(公告)日：2020-05-15

申请号：CN201911329257.0

申请日：2019-12-20

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

Inventor： 陈睿 ,  余娜 ,  江云松 ,  王峥 ,  李超 ,  贾春鹏 ,  肖志恒 ,  丁戈 ,  李杨 ,  吴瑾 ,  杨帆

IPC: G06F11/36

Abstract: 本发明实施例提供了一种基于单变量访问序模式的中断数据访问冲突检测方法及装置。所述方法包括：获取多个源文件；对每个所述源文件的函数进行可达访问分析，生成每个所述源文件的可达访问图；使用所述多个源文件的函数调用关系和各所述源文件的函数摘要，更新各所述可达访问图；遍历各更新后的可达访问图，匹配单变量访问序模式，得到中断数据访问冲突检测结果。本发明实施例对单文件进行独立分析，避免了跨文件的分析时在不同文件交替分析，减小了内存占用的峰值，可适用于大规模程序。

公开(公告)号：CN109474582A

公开(公告)日：2019-03-15

申请号：CN201811249953.6

申请日：2018-10-25

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

Inventor： 吴瑾 ,  江云松 ,  陈睿 ,  贾春鹏 ,  魏鹏 ,  王永杰 ,  房振军 ,  高栋栋 ,  于倩 ,  黄晨 ,  王小丽 ,  杨建磊

IPC: H04L29/06

Abstract: 本发明实施例公开了一种仿真嵌入式系统数据通信协议的处理方法及装置，其中，所述方法包括：依据所述仿真嵌入式系统中的协议对传输协议层进行配置，其中，所述传输协议层包含多个数据节点；参照所述传输协议层中各所述数据节点，对数据字典层进行配置；根据配置后的传输协议层和数据字典层，建立数据通信协议；基于所述数据通信协议进行数据传输。本发明实施例公开的仿真嵌入式系统数据通信协议的处理方法，传输协议层与数据字典层之间采用数据名称和数据转换表达式进行映射和可逆转换，使得数据协议处理过程层次清晰，面向仿真的物理数据可操作性强且处理结果重用性强，数据交互方便可靠且不易出错。