[发明专利]用于验证软件程序的执行的方法

权利要求书

1.一种用于验证经编译软件程序的执行的方法，所述经编译软件程序被存储在处理器的程序存储器中，并且由所述处理器执行，所述方法包括：

执行写入操作，所述写入操作包括：在所述处理器的寄存器中分配目的地地址，以及在由所述寄存器中包括的所述目的地地址所指向的位置处写入数据；以及

执行验证操作，所述验证操作包括：在相同寄存器中重新分配相同目的地地址，在所述重新分配之后读取包括在由包括在所述寄存器中的所述目的地地址指向的位置处的数据，以及将所读取的数据与所写入的数据进行比较。

2.根据权利要求1所述的方法，其中重新分配所述验证操作包括：针对在所述写入操作的执行期间进行的在寄存器中的数据的所有立即分配来执行所述重新分配。

3.根据权利要求2所述的方法，其中每个立即分配包括：将数据写入到寄存器中的、由添加到绝对地址的值的移位限定的地址处。

4.根据权利要求1所述的方法，其中所述软件程序的执行包括：将编程语言代码编程为机器语言指令，并且其中当由所述编程语言代码中的助记符编译时，专用于实现所述重新分配的机器语言指令被需要。

5.根据权利要求1所述的方法，其中所述写入操作和所述验证操作在所述软件程序的相同功能的执行中被实现。

6.根据权利要求5所述的方法，其中所述软件程序的相同功能的执行包括：实现资源优化的代码编译，所述资源优化包括：对所述寄存器中针对相同功能的单独指令分配的内容的重复使用。

7.根据权利要求1所述的方法，其中将所述读取的数据与所述写入的数据进行比较包括：当所述读取的数据与所述写入的数据不相同时生成错误消息。

8.一种包括指令的非暂态计算机可读介质，所述指令在由计算机执行时使所述计算机实现根据权利要求1所述的方法。

9.一种设备，包括：

处理器；

程序存储器，其被配置为含有旨在由所述处理器执行的经编译软件程序，所述软件程序包括在由所述处理器执行时致使所述处理器执行写入操作以及随后的验证操作的指令；

其中所述写入操作包括：在所述处理器的寄存器中分配目的地地址，以及在所述寄存器中包括的由所述目的地地址所指向的位置处写入数据；以及

其中所述验证操作包括：在相同寄存器中重新分配相同目的地地址，在所述重新分配之后读取包括在由包括在所述寄存器中的所述目的地地址指向的位置处的数据，以及将所读取的数据与所写入的数据进行比较。

10.根据权利要求9所述的设备，其中重新分配所述验证操作包括：针对在所述写入操作的执行期间进行的在寄存器中的数据的所有立即分配来执行所述重新分配。

11.根据权利要求10所述的设备，其中每个立即分配包括：将数据写入到寄存器中的、由添加到绝对地址的值的移位限定的地址处。

12.根据权利要求9所述的设备，其中所述软件程序的执行包括：将编程语言代码编程为机器语言指令，并且其中当由所述编程语言代码中的助记符编译时，专用于实现所述重新分配的机器语言指令被需要。

13.根据权利要求9所述的设备，其中所述写入操作和所述验证操作在所述软件程序的相同功能的执行中被实现。

14.根据权利要求13所述的设备，其中所述软件程序的所述相同功能的执行包括：实现资源优化的代码编译，所述资源优化包括：对所述寄存器中针对所述相同功能的单独指令分配的内容的重复使用。

15.根据权利要求9所述的设备，其中将所述读取的数据与所述写入的数据的进行比较包括：当所述读取的数据与所述写入的数据不相同时生成错误消息。