按契约设计

• 作者: 潘加宇
• 来源期刊: 程序员
• 学科: 工学
• 关键词: 设计方法 MICROSOFT FOR.NET CODE 面向对象 编程语言 组件
• 年，卷（期）: 2009,（4）
• 页码范围: 21
• 页数: 1页
• 分类号: TP317.1

摘要

Microsoft DevLabs发布了Code Contracts for．NET，并声称按契约设计（Design by Contract）将成为．NET4．0 Visual Studio2010的一个新特性。按契约设计是BertrandMeyer在设计Eiffel编程语言的时候提出的一种面向对象设计方法，其核心思想是：把系统看作是组件的集合，组件之间的协作基于精确定义的权利和义务——契约，这样能帮助我们获得更强壮的组件（类）。