用于编码错误降低之契约程式规划

摘要

在一具体实施例中，一电脑系统提供加强一应用API之应用程式设计介面(API,“Application programming interface”)。一电脑系统接收指示使用者想要利用来自以第一程式语言撰写的一契约API的契约来加强一应用API之以第二程式语言撰写的软体码。该软体码包括对该契约API的参照。该等契约包括指示该应用API之适当使用的判定(assertion)。该电脑系统根据在该软体码中的该等参照来存取该契约API的部份，且编译接收到的软体码及所参照的契约API之部份成为该软体码之中间语言(IL,“Intermediate language”)。IL版本为该第一程式语言及该第二程式语言两者共用的中间语言。该IL版本包括指示该应用API之适当使用的该等判定。

主权项

一种用于在一电脑系统处加入一可执行契约(contract)至一应用程式设计介面(API)的方法，该方法使得当该API被呼叫时该可执行契约亦被执行，以确保该API按照该可执行契约中所指定的一或更多规则而被呼叫，该方法包含下列步骤：接收原始码，该原始码包括对一第一API的呼叫以及对一契约API的呼叫，该契约API用于确保对该第一API的呼叫系按照对该契约API之呼叫的输入所指定的一或更多规则来执行；编译该所接收原始码成为中间语言码，该中间语言码包括用于实施该第一API的程式码以及用于实施该契约API的程式码，该契约API经配置以在该第一API被呼叫的任何时候都被执行来验证有符合该一或更多规则，且该契约API经配置以报告是否符合该一或更多规则；储存该中间语言码；执行该中间语言码，其中当该第一API被执行时，该契约API亦被执行以验证是否符合该一或更多规则；及在该第一API执行期间，经由一使用者介面向一使用者报告是否符合该一或更多规则。