程序断言-Read.ppt

第十一章　 面向对象软件构造 软件质量 程序断言机制 异常处理机制 可重用构件库 面向对象软件构造 § 11.1 软件质量 1.早期：计算机硬件技术不高、成本高、解决问题小、规模小、软件规模也小，软件生产基本是“师傅带徒弟”的手工作坊式。 2.后期：硬件技术发展迅速，解决问题大且复杂、软件规模大、需要众多工作人员协同完成。 3.软件危机： 软件研制成本、管理、软件质量均失去了控制 4.面向对象程序设计角度特别强调： 程序语法与语义方面的可靠性；程序结构方面的可扩展性和可重用性。 5.程序的可靠性分为： 程序的正确性 程序的健壮性 6.提高程序可靠性： 强类型语言 类属机制 程序断言机制 异常处理机制 § 11.2　程序断言机制 程序断言：在程序中描述程序需求说明的表达式（类似离散数学中的谓词） 程序断言的用法 程序断言主要形式 前置条件　　require引入前置断言 后置条件　　ensure引入后置断言 类的不变式　invariant引入不变式 循环的不变式 控制语句等　check引入控制语句 § 11.3　异常处理机制 程序终止 执行正常结束而终止 程序执行中发生错误而终止 可预料性错误的处理 被调用的函数返回一个特别的值（区别于正常处理返回值）。外层的调用函数检查这个错误标志，确定是否发生了某一类型的错误。 另一种典型办法：跳出当前函数体，控制转向某个专门错误处理程序，从而中断了正常的控制流。 异常处理 用于管理程序运行期间错误的一种结构化方法 异常处理模式中的两个基本问题： 必须确定由哪个函数处理报告出来的异常 引发异常的函数是否仍在异常处理之后继续进行下去。 异常处理的两种模式： 函数报告模式 可越级报告模式 C＋＋的异常处理机制 捕获所有类型的异常（例） 带有异常说明的函数原型（例） 异常的函数传递（例） 创建对象时的异常处理（例） § 11.4　可重用构件库 可重用构件库的开发规范 软件的可重用性：软件在新应用环境中全部或部分地可被重新利用的程度。 提高软件可重用性的重要意义： 避免程序员的重复劳动 提高程序的正确性和健壮性 可重用构件：一个软件系统开发过程中产生的结果都可以被重新利用，包括需求分析、系统设计、源程序代码、测试用例等，这些统称为可重用构件 基本术语定义 可重用构件 可重用构件库 构件库规范 构件规范 构件实现 构件目标 构件演示 构件库规范首部注释 构件规范首部注释 构件规范注释 构件实现首部注释 构件实现注释 构件库设计风格 命名风格 注释网络 版面风格 § 11.5　面向对象软件构造 一个大型软件的开发过程 面向对象程序－类的结构化集合 标识对象为行为 标识对象之间的关系 建立对象的类描述 创建并驱动对象的运行