公开(公告)号：CN115563919A

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

申请号：CN202211242521.9

申请日：2022-10-11

Applicant: 长安大学

Inventor： 马峻岩 ,  赵祥模 ,  周婉金 ,  胡飞飞 ,  冯中文

IPC: G06F30/34

Abstract: 一种基于硬件辅助追踪的嵌入式系统运行时验证方法及系统，方法包括根据线性时序逻辑LTL描述的属性以及属性声明配置文件对被测程序源文件进行预处理；将线性时序逻辑LTL描述的属性转换成Verilog描述的确定性有限状态自动机，生成在PYNQ平台上可动态加载的监视器；将预处理后的源程序编译生成可执行文件，运行源程序；嵌入式系统实时输出的指令级追踪信息，实时在线分析运行轨迹，提取嵌入式系统运行轨迹中由DWT结合ITM组件捕获的观察点；使用Python接口编程和控制监视器，根据接收的观察点标记的事件序列验证嵌入式系统的执行是否满足用户输入的LTL属性规定的事件序列，完成验证。本发明侵入性小，操作简单灵活。

公开(公告)号：CN118427094A

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

申请号：CN202410540988.4

申请日：2024-04-30

Applicant: 长安大学

Inventor： 马峻岩 ,  赵祥模 ,  冯中文

IPC: G06F11/36

Abstract: 一种嵌入式系统模糊测试方法、系统、设备及存储介质，测试方法包括根据测试需求在被测嵌入式系统的程序中配置源程序ITM组件的追踪功能，以及配置源程序DWT追踪组件中的指令地址比较功能和时钟周期计数功能；构造PC采样解码器以解码ITM组件输出的数据流信息，并在PYNQ平台上动态加载；运行源程序，并根据二叉节点选择策略从被测程序的程序控制流图中选择相应数量的基本块，使用GDB工具分别将基本块起始地址写入硬件断点寄存器和DWT比较器；使用PC采样解码器获得PC采样的覆盖结果，通过覆盖率收集情况判断被测程序的执行情况和测试用例的有效性。本发明基于调试与追踪接口以及PYNQ平台实现了对嵌入式系统灵活测试。