"伤得起"的云计算应用——对云端应用之架构的思考
2011年4月21日至22日是值得云计算从业者纪念的日子。Amazon的IaaS服务出现故障，导致许多商业网站的服务中断，影响非常严重。作为云计算用户，我们需要思考的是，如何保证即便在云服务不可用的情况，我们的应用架构仍然能够屹立不倒？本文正是站在云计算用户的角度试图探讨这一问题。
新闻
该内容已经被标记书签！
标记书签错误，请重试！
.NET代码契约组件目前已经提供下载
作者 Abel Avram 译者 赵劼 发布于 2009年2月25日
代码契约（Code Contracts）是“契约式设计”的.NET实现。按照原计划它将与.NET 4.0一起发布，不过现在开发人员已经可以从DevLab上下载这个组件了。“契约”为API的使用增加了限制和更多验证，编程因此变得更为安全，并可有效避免在运行中出现意料之外的错误。
契约式设计（或“契约式编程”）并不是编程领域的新概念，许多语言中已经有类似的实现了。代码契约为.NET引入了这种编程范式。简单地说，它在委托方（调用者）和提供方（被访问的API）两者之间建立一个契约，在遵守契约规范的情况下，委托方则更有把握从提供方那里获得预期的结果，而提供方也对委托方发起正确的调用有了更多信心。
目前代码契约组件中包含三种契约条件：前置条件（pre-conditions）、对象不变量（object invariants）、及后置条件（post-conditions）。前置条件可检查构造函数或方法的调用是否得到了正确的参数。后置条件则用于检验返回值的合法性。对象不变量则将特定条件运用于对象的状态上，确保其不会拥有非法的值。
这听起来与单元测试很相像，不过它意味着现在已经可以在构建期间执行这些验证了。编译器会根据契约来检查代码是否满足了所有的条件，并在出现状况时发出警告。这样程序员就可以立即得知条件是否得到满足，并在运行代码之前进行一定调整。
目前DevLabs的工作还包括从契约中生成项目文档。任何人阅读了某个API的文档之后就能了解它所有的契约条件。
使用代码契约能够得到更好、更安全的代码，并为外部API提供合适的使用指导，最终有助于开发出更高质量的软件。
有用的链接：代码契约在线文档、微软研究院的代码契约网站和相关论坛。
查看英文原文：Code Contracts for .NET Is Available for Download
译者 赵劼 网名为老赵，洋名Jeffrey Zhao，写有技术博客“老赵点滴”。关注前沿技术，并致力于开源社区与微软平台的组合优化。
没有回复
关注此讨论 回复