正式和可测试的API定义

Question

是否有形式的语言来描述API？我想定义一个实用库，要在许多架构上使用，并希望某种方法可以通过编程测试是否已经实现了所有API函数，并且理想情况下，对跨平台进行了一些功能的单位测试。

例如，我希望在C＃，C ++中的Windows DLL，Objective-C中的MACOS库以及C ++中的Linux共享库中编写.NET组件。

Answer 1

节约:

Thrift是在Facebook开发的“可扩展跨语言服务开发”的远程过程调用（RPC）框架。它将软件堆栈与代码生成引擎相结合，以构建在C ++，C＃，Java，Perl，Python，Python，Php，Php，Erlang和Ruby之间无缝工作的服务。尽管在Facebook上开发，但现在是Apache Software Foundation孵化器中的一个开源项目。该实施是在Facebook发行的2007年4月的技术论文中描述的，现在托管 apache.

Answer 2

这是一个很好的链接： 接口描述语言.