[发明专利]库一致性检查器

权利要求书

1.一种在计算机处理器上执行的方法，所述方法包括：

接收第一组例程(402)，所述第一组例程中的所述例程中的每一个包括合约以及实现；

接收第二组例程(404)，所述第二组例程中的所述例程中的每一个包括合约；

将所述第一组例程与所述第二组例程作比较(410)，以便对所述例程执行至少一个集合运算，所述集合运算通过比较所述合约来执行。

2.如权利要求1所述的方法，其特征在于，所述集合运算包括含有下列各项的组中的至少一项：

差集；

交集；以及

并集。

3.如权利要求1所述的方法，其特征在于，所述第一组例程是被编译的。

4.如权利要求3所述的方法，其特征在于，所述第一组例程被编译成中间语言。

5.如权利要求1所述的方法，其特征在于，所述第二组例程中的所述例程的每一个还包括实现。

6.如权利要求5所述的方法，其特征在于，

所述第一组例程中的第一例程实现第一接口并且以第一语言来编写；以及

所述第二组例程中的第二例程实现第一接口并且以第二语言来编写。

7.如权利要求5所述的方法，其特征在于，还包括：

生成所述第一组例程与所述第二组例程之间的交集，所述交集包括一组共有例程。

8.如权利要求7所述的方法，其特征在于，还包括：

反编译所述共有例程组以定义共有例程的主集。

9.如权利要求1所述的方法，其特征在于，所述方法用于验证主接口定义，所述主接口定义是所述第二组例程。

10.如权利要求1所述的方法，其特征在于，还包括：

接收第三组例程，所述第三组例程中的所述例程中的每一个包括合约以及实现；以及

对所述第一组例程、所述第二组例程以及所述第三组例程执行所述集合运算。

11.一种系统，包括：

处理器(108)；

一致性检查器(128)，用于：

接收第一组例程(402)，所述第一组例程中的所述例程中的每一个包括合约以及实现；

接收第二组例程(404)，所述第二组例程中的所述例程中的每一个包括合约；

将所述第一组例程与所述第二组例程作比较(410)，以便基于所述合约来标识所述第一组例程与所述第二组例程之间的交集。

12.如权利要求11所述的系统，其特征在于，还包括：

接收源代码并将所述源代码编译成中间代码的编译器，所述第一组例程以所述源代码来定义。

13.如权利要求12所述的系统，其特征在于，还包括：

接收所述中间代码并将所述中间代码反编译成所述源代码的反编译器，所述反编译器进一步对所述第一组例程与所述第二组例程的所述交集执行所述反编译。

14.如权利要求13所述的系统，其特征在于，还包括：

显示所述第一组例程与所述第二组例程的第一部分的用户界面。

15.如权利要求14所述的系统，其特征在于，所述第一部分是所述第一组例程与所述第二组例程的差集，所述差集由所述界面来确定。