代码走查总结报告

代码走查总结报告项目名称九宫格程序测试类型代码走查项目负责人陶浩然时间2019年6月8日至6月11日走查模块：九宫格程序文件结构重要性审查项结论头文件和定义文件的名称是否合理？是头文件和定义文件的目录结构是否合理？是版权和版本声明是否完整？是重要头文件是否使用了ifndef/define/endif预处理块?是头文件中是否只存放“声明”而不存放“定义”是程序的版式重要性审查项结论空行是否得体？是代码行内的空格是否得体？是长行拆分是否得体？是“{”和“}”是否各占一行并且对齐于同一列？是重要一行代码是否只做一件事？如只定义一个变量，只写一条语句。是重要If、for、while、do等语句自占一行，不论执行语句多少都要加“{}”。是重要在定义变量（或参数）时，是否将修饰符*和＆紧靠变量名？是注释是否清晰并且必要？否重要注释是否有错误或者可能导致误解？否注释量是否达到一定比例是命名规则重要性审查项结论重要命名规则是否与所采用的操作系统或开发工具的风格保持一致？否标识符是否直观且可以拼读？否标识符的长度应当符合“min-length&&max-information”原则？是重要程序中是否出现相同的局部变量和全部变量？否类名、函数名、变量和参数、常量的书写格式是否遵循一定的规则？否静态变量、全局变量、类的成员变量是否加前缀？是表达式与基本语句重要性审查项结论重要如果代码行中的运算符比较多，是否已经用括号清楚地确定表达式的操作顺序？是是否编写太复杂或者多用途的复合表达式？否重要是否将复合表达式与“真正的数学表达式”混淆？否重要是否用隐含错误的方式写if语句?例如（1）将布尔变量直接与TRUE、FALSE或者1、0进行比较。（2）将浮点变量用“==”或“！=”与任何数字比较。（3）将指针变量用“==”或“！=”与NULL比较。否如果循环体内存在逻辑判断，并且循环次数很大，是否已经将逻辑判断移到循环体的外面？否重要Case语句的结尾是否忘了加break？否重要是否忘记写switch的default分支？否常量重要性审查项结论是否使用含义直观的常量来表示那些将在程序中多次出现的数字或字符串？是重要如果某一常量与其它常量密切相关，是否在定义中包含了这种关系？是函数设计重要性审查项结论参数的书写是否完整？是参数命名、顺序是否合理？是是否省略了函数返回值的类型？否函数名字与返回值类型在语义上是否冲突？否重要是否将正常值和错误标志混在一起返回？正常值应当用输出参数获得，而错误标志用return语句返回。否重要return语句是否返回指向“栈内存”的“指针”或者“引用”？否单个函数的长度应有一定的节制否尽量使用标准库函数和公共函数是不要随意定义全局变量，尽量使用局部变量是循环、分支层次不要不必要地过多否所有变量在调用前必须被初始化是对所有的用户输入，必须进行合法性检查是内存管理重要性审查项结论重要用malloc或new申请内存之后，是否立即检查指针值是否为NULL？（防止使用指针值为NULL的内存）是重要是否忘记为数组和动态内存赋初值？（防止将未被初始化的内存作为右值使用）否重要数组或指针的下标是否越界？否重要动态内存的申请与释放是否配对？（防止内存泄漏）否重要是否有效地处理了“内存耗尽”问题？是重要是否修改“指向常量的指针”的内容？否重要是否出现野指针？例如（1）指针变量没有被初始化。（2）用free或delete释放了内存之后，忘记将指针设置为NULL。否重要是否将malloc/free和new/delete混淆使用？是重要malloc语句是否正确无误？例如字节数是否正确？类型转换是否正确？是重要在创建与释放动态对象数组时，new/delete的语句是否正确无误？是其它常见问题重要性审查项结论重要数据类型问题：（１）变量的数据类型有错误吗？（２）存在不同数据类型的赋值吗？（３）存在不同数据类型的比较吗？否重要变量值问题：（１）变量的初始化或缺省值有错误吗？（２）变量发生上溢或下溢吗？（３）变量的精度够吗？否重要逻辑判断问题：（１）由于精度原因导致比较无效吗？（２）表达式中的优先级有误吗？（３）逻辑判断结果颠倒吗？否重要循环问题：（１）循环终止条件不正确吗？（２）无法正常终止（死循环）吗？（３）错误地修改循环变量吗？（４）存在误差累积吗？否重要错误处理问题：（１）忘记进行错误处理吗？（２）错误处理程序块一直没有机会被运行？（３）错误处理程序块本身就有毛病吗？如报告的错误与实际错误不一致，处理方式不正确等等。（４）错误处理程序块是“马后炮”吗？如在被它被调用之前软件已经出错。否开发组长：陶浩然检查人：肖仲浩