Design by Contract 契约式设计 Institute of Computer Software 2021/1/30 Nanjing University
契约式设计 Design by Contract 2021/1/30 Institute of Computer Software Nanjing University
最病 过摘要 2 口引言 口Efe的DbC机制 口DbC与继承 口如何应用DbC Institute of Computer Software 2021/1/30 Nanjing University
摘要 引言 Eiffel 的 DbC 机制 DbC与继承 如何应用DbC 2021/1/30 Institute of Computer Software Nanjing University 2
最病 以引言 口 Design by Contract(DbC)契约式设计 口方法学层面的思想 ■以尽可能小的代价开发出可靠性出众的软件系统 ■Eif语言的直接支持 口 Bertrand Meyer:DbC是构建面向对象软件系统方法 的核心! 口 James mckim:“只要你会写程序,你就会写契约 Institute of Computer Software 2021/1/30 Nanjing University
引言 Design by Contract (DbC) 契约式设计 方法学层面的思想 ◼ 以尽可能小的代价开发出可靠性出众的软件系统 ◼ Eiffel语言的直接支持 Bertrand Meyer：DbC是构建面向对象软件系统方法 的核心！ James McKim：“只要你会写程序，你就会写契约” 2021/1/30 Institute of Computer Software Nanjing University 3
最病 以引言 o a discipline of analysis, design, implementation, management (可以贯穿于软件创建的全过程,从分析到设计,从文 档到调试,甚至可以渗透到项目管理中) a Viewing the relationship between a class and its clients as a formal agreement, expressing each party s rights and obligations. (把类和它的客户程序之间的关系看做正式的协议,描 述双方的权利和义务) Institute of Computer Software 2021/1/30 Nanjing University
引言 A discipline of analysis, design, implementation, management （可以贯穿于软件创建的全过程，从分析到设计，从文 档到调试，甚至可以渗透到项目管理中） Viewing the relationship between a class and its clients as a formal agreement, expressing each party’ s rights and obligations. （把类和它的客户程序之间的关系看做正式的协议，描 述双方的权利和义务） 2021/1/30 Institute of Computer Software Nanjing University 4
最病 以引言 5 n Every software element is intended to satisfy a certain goal, for the benefit of other software elements (and ultimately of human users) n This goal is the elements contract. a The contract of any software element should be 口 Explicit. a Part of the software element itself Institute of Computer Software 2021/1/30 Nanjing University
引言 Every software element is intended to satisfy a certain goal, for the benefit of other software elements (and ultimately of human users). This goal is the element’ s contract. The contract of any software element should be Explicit. Part of the software element itself. 2021/1/30 Institute of Computer Software Nanjing University 5