[发明专利]通过反汇编验证处理器执行轨迹的方法及控制部件

说明书

本申请公开了通过反汇编验证处理器执行轨迹的方法。本申请的主要技术方案为：将源程序编译为可执行文件与反汇编文件；执行可执行文件，产生轨迹序列，通过分析所述轨迹序列与所述反汇编文件识别处理器工作的正确性。

技术领域

本申请涉及存储技术，尤其涉及对存储控制芯片的介质接口控制器进行测试的方法与装置，以加快以覆盖率为目标的测试过程。

背景技术

参看图1，展示了存储设备的框图。存储设备102同主机相耦合，用于为主机提供存储能力。主机同存储设备102之间可通过多种方式相耦合，耦合方式包括但不限于通过例如SATA、IDE、USB、PCIE、NVMe（NVM Express）、SAS、以太网、光纤通道、无线通信网络等连接主机与存储设备102。主机可以是能够通过上述方式同存储设备相通信的信息处理设备，例如，个人计算机、平板电脑、服务器、便携式计算机、网络交换机、路由器、蜂窝电话、个人数字助理等。存储设备102包括接口103、控制部件104、一个或多个NVM（非易失存储器，Non-Volatile Memory）芯片105以及可选地固件存储器110。接口103可适配于通过例如SATA、IDE、USB、PCIE、NVMe、SAS、以太网、光纤通道等方式与主机交换数据。控制部件104用于控制在接口103、NVM芯片105以及固件存储器110之间的数据传输，还用于存储管理、主机逻辑地址到闪存物理地址映射、擦除均衡、坏块管理等。可通过软件、硬件、固件或其组合的多种方式实现控制部件104。控制部件104可以是FPGA（Field-programmable gate array，现场可编程门阵列）、ASIC（Application Specific Integrated Circuit，应用专用集成电路）或者其组合的形式。控制部件104也可以包括处理器或者控制器。控制部件104在运行时从固件存储器110加载固件。固件存储器110可以是NOR闪存、ROM、EEPROM，也可以是NVM芯片105的部分。

控制部件104包括闪存接口控制器（或称为介质接口控制器、闪存通道控制器），闪存接口控制器耦合到NVM芯片105，并以遵循NVM芯片105的接口协议的方式向NVM芯片105发出命令，以操作NVM芯片105，并接收从NVM芯片105输出的命令执行结果。已知的NVM芯片接口协议包括“Toggle”、“ONFI”等。

控制部件包括一个或多个处理器核。处理器核中运行软件（也称为固件）来操作控制部件的多个单元。

开发控制部件及其上运行的软件需要被充分测试以交付高质量的产品。错误可能在多个阶段存在并被引入，导致测试过程缺乏效率并难以定位错误原因。在出现错误时，希望有效执行处理器执行的软件的指令序列是否符合预期，以区分错误是由软件引入还是硬件引入。

一些场合，采用硬件仿真器或模拟器来运行被设计用于控制部件的处理器的软件，通过仿真器来获取软件运行过程中系统的状态，并分析系统运行过程以发现错误。然而，硬件仿真器（或模拟器）需要高昂的成本，而仿真速度也非常低。

希望有高效率的软件运行过程分析方法与工具，来协助识别软件与硬件中存在的问题。

发明内容

根据本申请的实施例，通过反汇编文件来识别处理器的指令执行顺序的正确性，以推断出程序在何处进入非正常状态，从而在该位置附近或同该位置相关的指令有较大概率存在问题，也有机会推断出硬件中存在的缺陷。

根据本申请的第一方面，提供了根据本申请第一方面的第一验证处理器的方法，包括：将源程序编译为可执行文件与反汇编文件；执行可执行文件，产生轨迹序列，通过分析所述轨迹序列与所述反汇编文件识别处理器工作的正确性。

根据本申请的第一方面的第一验证处理器的方法，其中，反汇编文件包括多条记录，每条记录指示了地址以及在该地址处的机器指令和/或汇编指令。

根据本申请的第一方面的第二验证处理器的方法，其中，反汇编文件的一条或多条记录指示地址以及该地址处的内容为数据或其他非指令内容。