软件质量程序断言机制异常处理机制可重用构件库面向对象软件构造.PPTVIP

第十一章　 面向对象软件构造 § 11.1 软件质量 1.早期：计算机硬件技术不高、成本高、解决问题小、规模小、软件规模也小，软件生产基本是“师傅带徒弟”的手工作坊式。 2.后期：硬件技术发展迅速，解决问题大且复杂、软件规模大、需要众多工作人员协同完成。 3.软件危机： 软件研制成本、管理、软件质量均失去了控制 4.面向对象程序设计角度特别强调： 程序语法与语义方面的可靠性；程序结构方面的可扩展性和可重用性。 5.程序的可靠性分为： 程序的正确性 程序的健壮性 6.提高程序可靠性： 强类型语言 类属机制 程序断言机制 异常处理机制 § 11.2　程序断言机制 程序断言：在程序中描述程序需求说明的表达式（类似离散数学中的谓词） 程序断言的用法 程序断言主要形式 前置条件　　require引入前置断言 后置条件　　ensure引入后置断言 类的不变式　invariant引入不变式 循环的不变式 控制语句等　check引入控制语句 § 11.3　异常处理机制 程序终止 执行正常结束而终止 程序执行中发生错误而终止 可预料性错误的处理 被调用的函数返回一个特别的值（区别于正常处理返回值）。外层的调用函数检查这个错误标志，确定是否发生了某一类型的错误。 另一种典型办法：跳出当前函数体，控制转向某个专门错误处理程序，从而中断了正常的控制流。 异常处理 用于管理