[发明专利]逐模块验证

权利要求书

1．一种一次一模块地验证计算机程序的模块中指令的方法，该方法包括：

确定检验第一模块中的指令是否需要一不同于第一模块的被引用模块中的信息；和

如果需要该信息，那么写入用于被引用模块的一个约束而无需访问被引用模块。

2．根据权利要求1所述的方法，进一步包括：

进行指令所需的任何模块内检验；和

返回到确定检验第一模块中的指令是否需要被引用模块中的信息，直到第一模块中需要的指令已经经过了所述确定。

3．根据权利要求2所述的方法，其中所述进行任何模块内检验的步骤进一步包括如果指令不能满足任何模块内检验，那么发送一个错误消息。

4．一种在链接期间验证计算机程序的一个模块的指令的方法，该方法包括：

确定已经装载了的第一模块是否已经通过一次一模块的预验证；

如果第一模块已经通过预验证，那么如果有的话，读出一个受约束的模块上的预验证约束；

如果读出了任何预验证约束，那么确定是否装载了受约束的模块：和

如果装载了受约束的模块，那么实施预验证约束。

5．根据权利要求4所述的方法，其中所述实施预验证约束的步骤进一步包括如果受约束模块不能满足预验证约束，那么发送一个错误消息。

6．根据权利要求4所述的方法，进一步包括，如果没有装载受约束模块，那么装载受约束模块并实施预验证约束。

7．根据权利要求4所述的方法，进一步包括，如果在所述实施期间受约束模块通过预验证约束，那么返回到读出一个受约束模块上的一个预验证约束，直到读出了所有预验证约束。

8．根据权利要求6所述的方法，进一步包括，如果在所述实施期间受约束模块通过预验证约束，那么返回到读出一个受约束模块上的一个预验证约束，直到读出了所有预验证约束，从而验证了第一模块。

9．一种用于一次一模块地验证计算机程序的一个模块中的指令的计算机程序产品，该产品包括：

计算机可读存储介质；

存储在计算机可读存储介质上的计算机控制命令，用于确定检验一个第一模块中的指令是否需要一不同于第一模块的被引用模块中的信息；和如果需要该信息，写入用于被引用模块的一个约束而无需访问被引用模块。

10．根据权利要求9所述的计算机程序产品，进一步包括存储在计算机可读存储介质上的计算机控制命令，用于进行指令所需的任何模块内检验，并且返回到确定检验第一模块中指令是否需要被引用模块中的信息，直到第一模块中需要的指令已经经过了所述确定。

11．根据权利要求10所述的计算机程序产品，进一步包括存储在计算机可读存储介质上的计算机控制命令，用于如果指令不能满足任何模块内检验，发送一个错误消息。

12．一种用于在链接期间验证计算机程序的一个模块的指令的计算机程序产品，该计算机程序产品包括：

计算机可读存储介质；

存储在计算机可读存储介质上的计算机控制命令，用于确定已经装载了的第一模块是否已经通过一次一模块的预验证；如果第一模块已经通过验证，那么如果有的话，读出一个受约束的模块上的预验证约束；如果读出了任何预验证约束，那么确定是否装载了受约束的模块；和如果装载了受约束的模块，那么实施预验证约束。

13．根据权利要求12所述的计算机程序产品，进一步包括存储在计算机可读存储介质上的计算机控制命令，用于如果在实施预验证约束时受约束模块不能满足预验证约束，发送一个错误消息。

14．根据权利要求12所述的计算机程序产品，进一步包括存储在计算机可读存储介质上的计算机控制命令，用于如果没有装载受约束模块，装载受约束模块并且实施预验证约束。

15．根据权利要求12所述的计算机程序产品，进一步包括存储在计算机可读存储介质上的计算机控制命令，用于如果在所述实施期间受约束模块通过预验证约束，返回到读出一个受约束模块上的预验证约束，直到读出了所有预验证约束。