第一章程序设计回顾及软件设计导论课件.pptVIP

前置条件 (precondition)：方法代码假设的非局部变量的条件 包括参数 方法本身没有提供这些条件的验证 后置条件 (postcondition)：执行后非局部变量的值 包括参数 注释：x’代表x执行后的值 不变式 (invariant)：函数执行后没有改变的非局部变量的关系 在前置条件和后置条件中都相等 在局部变量中也有不变式 说明函数功能的分类注释 返回 (return) 方法的返回值 已知问题 (known issue) 真实描述要做的内容，未被纠正的缺陷等 限于所知道的 说明函数功能的分类注释 class Rectangle { … //前置条件：长度10, 宽度10 //返回：长度×宽度 … public double area (double aLength, double aBreadth) … } N 流程图 姓名无效? 姓名截短 姓名赋值 姓名取默认值 姓名太长? 输出到控制台 Y Y N protected final void setName(string aName) { //检查姓名是否有效 if( (aName==null) ||(maxNumCharsInName( )=0) ||(maxNumCharsInName( )alltimeLimitOfNameLength( )) ) { name=new String(“defaultName”); System.out.printin(“defaultName selected by GameCharacter.setName( )”); } else //若姓名太长，则姓名截短 if(aName.length( )maxNumCharsInName( )) name=new String(aName.getBytes( ), 0, maxNumCharsInName( )); //若姓名不长，则姓名赋值 else name=new String(aName); } 图1.5 FOR 操作员操作时间的微秒数 IF 操作时间超过临界值 ENDFOR ENDIF IF 功率超过临界值 ENDIF IF (正确检查病人正确安放防护物机器自检通过） ENDIF 需要得到管理者的允许 IF 管理者未允许 ENDIF 中止并提示“管理者未允许的异常值” 中止并提示“功率过大” 以功率p应用X射线 伪代码 流程图和伪代码的优点 算法清晰化 具体设计文档的过程更严格化 提供检查执行的补充标准 有助于在生成代码前捕获错误 提高可靠性 降低整体花费 流程图和伪代码的缺点 要维护额外的说明文档 带来转换为代码时出错的可能性 需要产生伪代码和绘制流程图的工具 函数/参数/变量的命名要具有表现力 用传递参数代替全局变量 防止错误数据:异常处理/默认处理/返回特殊值 不要将参数作为方法变量 给数字命名 限制参数个数在6个或7个之内 在临近使用变量时才定义它们 初始化所有变量 检查循环计数器 避免3次以上的嵌套循环 确保不是死循环 编译前先检查 编码好习惯 manipulate(float aFloat, int anInt) getBaseRaisedToExponent(float aBase, int anExponent) 函数/参数/变量的命名应该说明其用途(图1.9) extract(int anEntry) { table = … } 避免使用全局变量: 考虑使用传递参数来代替 extract(int anEntry, EmployeeTable anEmployeeTable) for(i=0; i8927; ++i) 给数字命名 int NUM_CELLS=8927 for(cellCounter=0; cellCounterNUM_CELLS; ++cellCounter) 软件设计的目标 正确性、充足性、模块性和可读性 确保代码按照需求执行 健壮性 设计和实现能处理各种各样的异常情况（如数据错误、用户错误、环境条件） 灵活性 适应各种改变，易于修改 对已存在的操作增加适当的功能范围 增加新功能 改变功能 软件设计的目标 可重用性 对象代码 类（以源代码形式） 相关类的聚合 类聚合模式 高效性 利用可用的机器时间周期和内存尽可能快地创造设计和实现 可靠性 可用性 软件设计准则 软件设计的重要性表现在软件的质量。如何设计才能保证质量？这里，我们给出软件设计的一般原则：（1）