[发明专利]调试系统和方法

权利要求书

1.一种调试方法，包括：

由在计算机系统上执行的硬件调试服务器接收用于在高级语言HLL软件规范中设置断点的第一HLL调试命令；

由所述硬件调试服务器将所述第一HLL调试命令转换为第一硬件调试命令，所述第一硬件调试命令指定作为所述软件规范的表示的硬件有限状态机的条件；

将所述第一硬件调试命令输入到在所述计算机系统上执行的模拟器；

由所述模拟器响应于所述第一硬件调试命令而在所述有限状态机上添加条件断点；

执行所述有限状态机表示的模拟；

响应于在所述有限状态机中检测到所述条件而暂停所述模拟的执行；

响应于暂停所述模拟的执行，确定与所述硬件有限状态机中的所述条件相对应的所述HLL软件规范的语句；

输出指示所述HLL软件规范的所述语句的数据；

由所述硬件调试服务器输入与所述HLL软件规范相关联的调试信息；

由所述硬件调试服务器输入提供所述HLL软件规范的元素到所述硬件有限状态机的元素的映射的调试信息；以及

在数据库中对与所述HLL软件规范相关联的所述调试信息和所述HLL软件规范的所述元素到所述硬件有限状态机的所述元素的所述映射进行交叉引用，

其中所述转换包括从所述数据库中确定与在所述第一HLL调试命令中所指定的HLL语句交叉引用的所述硬件有限状态机的元素。

2.根据权利要求1所述的方法，其中确定所述HLL软件规范的所述语句包括：从所述数据库中确定与由所发生的所述条件断点指示的所述硬件有限状态机的元素交叉引用的所述HLL软件规范的所述语句。

3.根据权利要求1所述的方法，还包括：

由所述硬件调试服务器接收第二HLL调试命令，所述第二HLL调试命令请求所述HLL软件规范的变量的值；

由所述硬件调试服务器将所述第二HLL调试命令转换为第二硬件调试命令，所述第二硬件调试命令获取所述硬件有限状态机的信号的值；

将所述第二硬件调试命令输入到所述模拟器；

由所述模拟器读取所述信号的所述值；以及

与所述变量的名称相关联地输出所述信号的所述值。

4.根据权利要求3所述的方法，还包括：

由所述硬件调试服务器输入与所述HLL软件规范相关联的调试信息；

由所述硬件调试服务器输入提供所述HLL软件规范的元素到所述硬件有限状态机的元素的映射的调试信息；

在数据库中对与所述HLL软件规范相关联的所述调试信息和所述HLL软件规范的所述元素到所述硬件有限状态机的所述元素的所述映射进行交叉引用；以及

其中所述转换所述第二HLL调试命令包括：从所述数据库中确定与在所述第二HLL调试命令中所指定的所述变量的名称交叉引用的所述硬件有限状态机的所述信号。

5.根据权利要求1所述的方法，还包括：

响应于暂停所述模拟的执行，确定与所述硬件有限状态机中的所述条件相对应的所述HLL软件规范的语句；

输出指示所述HLL软件规范的所述语句的数据；

由所述硬件调试服务器接收第二HLL调试命令，所述第二HLL调试命令请求所述HLL软件规范的变量的值；

由所述硬件调试服务器将所述第二HLL调试命令转换为第二硬件调试命令，所述第二硬件调试命令获取所述硬件有限状态机的信号的值；

将所述第二硬件调试命令输入到所述模拟器；

由所述模拟器读取所述信号的所述值；以及

与所述变量的名称相关联地输出所述信号的所述值。