第二章需求与设计评审V教材.ppt

* 这个需求是不完整的：状态信息是什么，如何显示给用户。这个需求有几处含糊。状态信息间隔真的假定为不少于60秒？，甚者每10年显示一条新的状态信息也可以？也许它的意图是消息间隔不应超过60秒，那么1毫秒是不是太短？每这个词导致了不确定性。问题的后果，就是需求的不可证实。 * 2.4.2 程序设计和结构的检查 程序设计和结构的检查（续） 保证表达式、SQL语句的正确性；检查所编写的SQL语句的语法、逻辑的正确性。对表达式应该保证不含二义性，对于容易产生歧义的表达式或运算符优先级（如：《 、=、 》、 、||、++、 --等）可以采用扩号“（）”运算符避免二义性，这样一方面能够保证代码的正确可靠，同时也能够提高代码的可读性。 检查常量或全局变量使用的正确性；确定所使用的常量或全局变量的取值和数值、数据类型；保证常量每次引用同它的取值、数值和类型的一致性。 * 2.4.2 程序设计和结构的检查 程序设计和结构的检查（续） 检查代码是否可以优化、算法效率是否最高。如：SQL语句是否可以优化，是否可以用1条SQL语句代替程序中的多条SQL语句的功能，循环是否必要，循环中的语句是否可以抽出到循环之外等。 * 2.4.3 业务逻辑检查 业务逻辑的检查 主要是检查单元功能设计是否满足概要设计要求 模块功能 模块层次结构 模块调用关系 2.4 代码评审-Java 重要性 激活 级别 检查项 总计 　 　 　 命名 　 　 　 重要 　 20 命名规则是否与所采用的规范保持一致？ 　 　 20 是否遵循了最小长度最多信息原则？ 重要 　 50 has/can/is前缀的函数是否返回布尔型？ 注释 　 　 　 重要 　 10 注释是否较清晰且必要？ 重要 Y 10 复杂的分支流程是否已经被注释？ 　 　 10 距离较远的}是否已经被注释？ 　 　 10 非通用变量是否全部被注释？ 重要 Y 50 函数是否已经有文档注释？（功能、输入、返回及其他可选） 　 　 10 特殊用法是否被注释？ 2.4 代码评审-Java 声明、空白、缩进 　 　 　 　 　 20 每行是否只声明了一个变量？（特别是那些可能出错的类型） 重要 　 40 变量是否已经在定义的同时初始化？ 重要 　 40 类属性是否都执行了初始化？ 　 　 20 代码段落是否被合适地以空行分隔？ 　 Y 20 是否合理地使用了空格使程序更清晰？ 　 　 20 代码行长度是否在要求之内？ 　 　 20 折行是否恰当？ 语句/功能分布/规模 　 　 　 　 　 20 包含复合语句的{}是否成对出现并符合规范？ 　 　 20 是否给单个的循环、条件语句也加了{}？ 　 　 20 if/if-else/if-else if-else/do-while/switch-case语句的格式是否符合规范？ 　 　 40 单个变量是否只做单个用途？ 重要 　 20 单行是否只有单个功能？（不要使用；进行多行合并） 重要 　 40 单个函数是否执行了单个功能并与其命名相符？ 　 Y 20 操作符＋＋和— —操作符的应用是否复合规范？ 2.4 代码评审-Java 规模 　 　 　 重要 　 20 单个函数不超过规定行数？ 重要 　 100 缩进层数是否不超过规定？ 重要 　 100 是否已经消除了所有警告？ 重要 Y 40 常数变量是否声明为final？ 重要 　 80 对象使用前是否进行了检查？ 重要 　 80 局部对象变量使用后是否被复位为NULL？ 重要 　 70 对数组的访问是否是安全的？（合法的index取值为[0, MAX_SIZE-1]）。 重要 　 20 是否确认没有同名变量局部重复定义问题? 　 　 20 程序中是否只使用了简单的表达式？ 2.4 代码评审-Java 重要 Y 20 是否已经用（）使操作符优先级明确化？ 重要 Y 20 所有判断是否都使用了（常量==变量）的形式？ 　 　 80 是否消除了流程悬挂？ 重要 　 80 是否每个if-else if-else语句都有最后一个else以确保处理了全集？ 重要 　 80 是否每个switch-case语句都有最后一个default以确保处理了全集？ 　 　 80 for循环是否都使用了包含下限不包含上限的形式？（k=0; kMAX） 重要 　 40 XML标记书写是否完整，字符串的拼写是否正确? 　 　 40 对于流操作代码的异常捕获是否有finally操作以关闭流对象? 　 　 20 退出代码段时是否对临时对象做了释放处理? 重要 　 40 对浮点数值的相等判断是否是恰当的？（严禁使用==直接判断） 2.4 代码评审-Java 可靠性（函数） 　 　 　 重要 Y 60 入口对象是否都被进行了判断不为空？ 重要 Y 60 入口数据的