9第五章--结构化实现1.ppt

第五章 结构化实现 5.1 编码 程序设计语言的选择 项目的应用领域 科学工程计算：Fortran、C 、Pascal 数据处理与数据库应用：SQL 实时处理：汇编、C、Ada 系统软件：汇编、C、Pascal 人工智能：Lisp、Prolog 程序设计风格 源程序文档化 标识符按意取名 程序加注释（序言性注释、功能性注释） 数据说明 次序规范化，易找、易测试、易排错、易维护 语句构造 简单直接、易读易懂、层次缩进 清晰第一、效率第二 尽可能使用库函数；尽量只采用三种基本控制结构 输入和输出 程序效率 算法和存储器对效率的影响 防不胜防的软件错误 —— 例1：1963年, 美国, 飞往火星的火箭爆炸, 损失$ 10 million. 原因: FORTRAN循环 DO 5 I = 1, 3 误写为 DO 5 I = 1.3 软件测试是保证软件质量的关键步骤，是对软件规格说明、设计和编码的最后复审，其工件量约占总工作量40%以上（对于人命关天的情况，测试相当于其它部分总成本的3 — 5倍）。 测试的重要性 测试目的 G.Myers的观点： 测试是为了发现错误而执行程序的过程 一个好的测试用例能够发现至今尚未发现的错误 一个成功的测试是发现了至今尚未发现的错误的