Design By Contract 契约式设计
摘要:
契约式设计(Design By Contract)把类和它的客户程序之间的关系看作正式的协议,描述双方的权利和义务。Bertrand Meyer把它称作构建面向对象软件系统方法的核心。契约式设计的提出,主要基于软件可靠性方面的考虑。可靠性包括正确性和健壮性,正确性指软件按照需求规格执行的能力,健壮性指软件对需求规格中未声明状况的处理能力。健壮性主要与异常处理机制相关。正确性一方面包括对象元素内部运... 阅读全文
posted @ 2007-11-28 22:40 riccc 阅读(5402) 评论(1) 推荐(1) 编辑