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

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