代码走查总结报告
代码走查的研究与实践
或 编 码 ， 他 成 员 负 责提 出 同 题 并 对 有 关 技 术 、 格 、 能 的 其 风 可
错 误 、 否 违 背标 准等 方 面 进 行 讨 论 。 是 代 码 走 查 以 小 组 方 式 进 行 ， ４人 以 上 组 成 ， 别 为 组 由 分
具 备以下 ４个特 点 ： 复杂度 比较高 ； 重用度 比较高 ； ① ② ③ 关键算法 ； 关键单元 。 ④ 根据走查单元特点设计走查 内容 ， 一
要意义。
② 生成实例 ： 查小组人员提 出一些有代表性的测试实 走
例：
③ 执行走查 ： 长主持会议 ， 他人员对测 试实例用 头 组 其
脑 来 执 行程 序 ，ｒ 试 实例 沿程 序 逻 辑 执 行 一 遍 ， 由测 试 人 ｇｎ ｉ 并
员 讲 述 程 序 执行 过 程 ， 纸 上或 黑 板 上 监 视 程 序 状 态 ， 书 记 在 秘
代 码 走 查 是 软 件 测试 中 最 重 要 的 方 法 之 一 ，经 验 表 明 ，
代 码 走 查 能 够 有 效 地 发 现 ３ ％． ０ 逻 辑 设 计和 编 码 错 误 。 ０ ， ％的 － ７
错误 的检 测效 率高 达 全 部 查 出 错 误 的 ８ ％。 代码 走查 相 比 其 ０
他测试方法 ， 还具 有以下优点 ： 看 到的是 问题 本身而非征 ①
兆 ； 一次能揭 示一批错误 ； 尽 早发现 软件 缺陷 ， ② ③ 设计 人
员修 改问题代价比较小 ； 能找出其他测试难 以发现或隔 离 ④
的软 件 缺 陷 。 传 统 代 码 走 查 非 常耗 费时 间 ， 且 需要 代码 走 但 而 查组 成 员具 有 一 定 知 识水 平 和 经 验 的积 累 ， 度 比 较 大 。 难
开源工具Findbugs使用总结
开源⼯具Findbugs使⽤总结⼀、代码检查法概念⽩盒测试分为静态测试和动态测试。
代码检查法是静态测试的⼀种，主要是由⼈⼯进⾏，充分发挥⼈的逻辑思维优势，也可以借助软件⼯具⾃动进⾏。
代码检查包括代码⾛查、桌⾯检查、代码审查等，主要检查代码和设计的⼀致性，代码对标准的遵循、可读性，代码的逻辑表达的正确性，代码结构的合理性等⽅⾯；可以发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的问题，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。
⼆、Findbugs⼯具介绍静态分析⼯具有很多，其中商业⼯具⽐较有名的有Klocwork，coverity，pc-lint，开源的有splint，Findbugs等。
以下主要介绍⼀下Findbugs⼯具。
Findbugs是⼀款Java静态代码分析⼯具，与其他静态分析⼯具（如Checkstyle和PMD）不同，Findbugs 不注重样式或者格式，它专注于寻找真正的缺陷或者潜在的性能问题,它可以帮助java⼯程师提⾼代码质量以及排除隐含的缺陷。
有了静态分析⼯具，就可以在不实际运⾏程序的情况对软件进⾏分析。
Findbugs运⽤Apache BCEL 库分析类⽂件（class⽂件）⽽不是源代码，将字节码与⼀组缺陷模式进⾏对⽐以发现可能的问题。
Findbugs 的检测器已增⾄300多条，被分为不同的类型，常见的类型如下：· 正确性（Correctness）：这种归类下的问题在某种情况下会导致bug，⽐如错误的强制类型转换等。
· 最佳实践反例（Bad practice）：这种类别下的代码违反了公认的最佳实践标准，⽐如某个类实现了equals⽅法但未实现hashCode⽅法等。
· 多线程正确性（Multithreaded correctness）：关注于同步和多线程问题。
产品走查报告
产品走查报告一、引言本报告旨在对产品进行走查，并对发现的问题进行总结和分析，以便为产品改进和优化提供有价值的意见和建议。
二、走查概述1. 走查时间：2022年1月1日至2022年1月15日2. 参与人员：开发团队、测试团队、产品经理3. 走查目的：发现并解决产品中的问题，提高产品质量和用户体验三、走查结果在走查过程中，我们对产品在功能、性能和界面三个方面展开了全面的检查和评估。
以下是我们发现的问题和对应的解决方案：1. 功能问题1.1 登录功能异常：偶尔出现登录功能失效的情况，导致用户无法正常登录系统。
解决方案：对登录流程进行全面测试，修复登录功能的bug并增强登录验证机制。
1.2 数据丢失问题：在部分场景下，用户输入的数据没有被正确保存，导致数据丢失。
解决方案：检查数据保存的逻辑，修复数据丢失的bug，并增加数据备份机制。
2. 性能问题2.1 响应速度慢：某些操作的响应速度不够快，给用户带来不良体验。
解决方案：优化相关代码，提升系统的处理速度和响应性能。
2.2 内存占用过高：长时间使用产品后，系统的内存占用逐渐增加，导致系统变得缓慢。
解决方案：进行内存泄漏的排查和修复，减少系统资源的占用。
3. 界面问题3.1 布局错乱：在某些屏幕分辨率下，产品的布局出现错乱，影响用户界面的美观性。
解决方案：适配不同屏幕分辨率，确保产品界面在各种设备上都能正常显示。
3.2 文字显示异常：某些场景下，产品中的文字显示出现乱码或显示不完整的情况。
解决方案：优化文字渲染机制，确保文字显示的准确性和清晰度。
四、总结和建议通过本次走查，我们成功发现了产品存在的问题，并提出了相应的解决方案。
为了进一步优化产品质量和用户体验，我们建议开发团队在后续的开发过程中，严格按照走查结果进行问题修复并进行全面测试。
同时，建议在产品发布前进行多轮走查，以确保产品的稳定性和可靠性。
在对产品的更新迭代过程中，我们鼓励持续进行走查活动，以及时发现和解决问题，提升产品的价值和竞争力。
代码走查检查单
编码时间 模块名称 测试完成日期
代码走查
；
能。 化为局部变量。 系。 英文单词和拼音混写。
用同样的名称。
为单位，Tab键为4个空格。
文件编码 制表时间
□ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合
■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合 ■ 符合
4
。 定义过的常量。
□ 不符合 □ 不符合 □ 不符合 □ 不符合
□ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合
■ 符合 ■ 符合 ■ 符合 ■ 符合
开至少两个Tab键。
的1/5~1/3。
段空一行； 要描述。
□ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合 □ 不符合
□ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合 □ 基本符合
代码走查检查单
流程控制缺陷(CF) 1 对于每一个循环:是否选用了最佳的循环结构? 2 所有的循环是否都能结束? 3 如果一个循环有多个出口,是否每个出口都有必要并且得到正确处理? 4 switch声明是否都有default条件? 5 是否所有的case-switch-break对应关系都已更正并加上批注？ 6 是否named break叙述都跳到正确的地方？ 7 循环和分支的嵌套是否过深?是否正确? 8 是否有if嵌套可以转换程switch嵌套? 9 空控制叙述是否都正确，并加上括号及批注？ 10 所有的异常是否都得到了正确的处理 11 每一个方法在是否都结束?
C# 代码审查检查表
项目名称
责任人
走查日期
编号
问题
变量,Auribute,和常量声明缺陷(VC)
1 变量和常量的命名是否与约定保持一致?
2 是否存在容易混淆的相似的变量和属性名?
3 变量和属性是否书写正确?
4 变量和属性是否被正确的初始化?
5 非局部变量是否能用局部变量替换?
6 所有的for循环的控制变量是否都在循环顶部被声明?
7 是否有应该命名为常量的文字常量?
8 变量和属性是否可以用常量替换?
9 属性是否可以用本地变量?
10
所有的属性是否都有正确的访问限制符 (private,protected,public)?
刚刚知道“代码走查”是什么意思
刚刚知道“代码⾛查”是什么意思
代码⾛查的最主要的⽬的是为了发现程序中的逻辑错误，编程风格⽅⾯的错误可以通过风格检查的⼯具去检查。
如下的检查单给代码⾛查的专家发现逻辑错误提供了⼀个很好的帮助。
序号检查项
1代码的注释与代码是否⼀致?注释是否是多余的?
2是否存在超过3层嵌套的循环与/或判断?
3变量的命名是否代表了其作⽤?
4所有的循环边界是否正确?
5所有的判断条件边界是否正确?
6输⼊参数的异常是否处理了?
7程序中所有的异常是否处理了?
8是否存在重复的代码?
9是否存在超过20⾏的⽅法?
10是否存在超过7个⽅法的类?
11⽅法的参数是否超过3个?
12是否有多种原因导致修改某个类?
13当发⽣某个功能变化时，是否需要修改多个类?
14代码中的常量是否合适?
15⼀个⽅法是否访问了其他类的多个属性?
16某⼏项数据是否总是同时出现，⽽⼜不是⼀个类的属性?
17switch语句是否可以⽤类来替代?
18是否有⼀类的职责很少?
19是否有⼀个类的某些属性或者⽅法没有被其他类所使⽤?
20在类的⽅法中是否存在如下的调⽤形式：a.b().c()?
21是否某个类的⽅法总是调⽤另外⼀个类的同名⽅法?
22是否某个类总是访问另外⼀个类的属性与⽅法?
23是否两个类完成了类似的⼯作，使⽤了不同的⽅法名，却没有拥有同⼀个⽗类?
24是否某个类仅有字段和简单的赋值⽅法与取值⽅法构成?
25是否某个⼦类仅使⽤了⽗类的部分属性或⽅法?。
代码走查单
是否适用 严重程度
是： 高：
否： 中：
评审工件
工件版本
是否达到可评审状态
是
否
严重程度 建议修正措施
评审人员 其它 注释
不适用： 低：
4 4.1 4.2 4.3 4.4 4.5 4.6 4.7 4.8 结果 统 计：
其它：
注释 注释是否解释了代码的目的，或总结了代码所要完成的工作？ 注释是否是最新的？ 注释是否清晰正确？ 是否对代码含义进行了注释？ 声明全局变量时，是否给以了注释？ 是否说明了每个子程序的目的？ 注释是否与代码保持一致性，不存在没用的注释？ 其它：
程序块的分界符是否各独占一行并且位于同一列，同时与引用它们 1.6 的语句左对齐？ 1.7 其它：
2 命名 2.1 定义的程序名是否有意义？
标识符的命名是否清晰、明了，有明确含义，同时使用完整的单词 2.2 或大家基本可以理解的缩写，避免使人产生误解？ 2.3 命名中规若范使是用否特与殊所约使定用或的缩系写统，风是格否保有持注释一说致明，？并在同一项目中统 2.7 一？ 2.8 其它：
是否注意运算符的优先级，并用括号明确表达式的操作顺序，避免 3.9 使用默认优先级？ 3.1 是否只引用属于自己的存贮空间？ 3.11 是否防止引用已经释放的内存空间？
如果不是构造函数，过程/函数中分配的内存，在过程/函数退出之 3.12 前是否释放？
对于退出过程/函数后仍然需要存在的内存，是否确保该内存使用完 3.13 毕后及时释放该内存？
过程/函数中申请的（为打开文件而使用的）文件句柄，在过程/函 3.14 数退出之前是否关闭？ 3.15 是否防止内存操作越界？
系统运行之初，是否初始化有关变量及运行环境，防止未经初始化 3.16 的变量被引用？ 3.17 在产品软件（项目组）中，是否统一编译开关选项？
代码走查测试需求分析
正确性
错误
A4
变量
是否存在相似名称的变量
健壮性
缺陷
A5
变量
默认的属性（默认值）是否正确
正确性
错误
ห้องสมุดไป่ตู้A6
变量
是否所有变量都已声明
正确性
错误
A7
变量
是否存在未使用的变量
正确性
错误
A8
指针
是否分配动态内存
健壮性
错误
A9
指针
是否存在空指针
健壮性
错误
A10
资源回收
是否完成malloc动态内存回收并正确关闭文件
3.
软件环境：
操作系统：中文windows7或windows10
开发环境：Microsoft Visual C++ 2010 Express
4.
C++语言规范走查内容：
序号
测试项
测试内容
质量保证标准
问题属性
出错频率
A1
变量
是否有下标变量越界错误
健壮性
错误
A2
变量
是否所有变量都已声明
正确性
错误
A3
变量
健壮性
缺陷
A11
控制流程
代码是否有无穷循环的可能？(循环条件永远为真)
可预测性
错误
A12
控制流程
注意循环的条件中是否有差1的现象
正确性
错误
A13
控制流程
是否有数据被错误地包含在循环体内
正确性
错误
A14
控制流程
是否所有循环都能终止
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
代码走查总结报告
项目名称 九宫格程序 测试类型 代码走查
项目负责人 陶浩然 时间 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的语句是否正确无误 是
其它常见问题
重要性 审查项 结论
重要 数据类型问题： （１）变量的数据类型有错误吗 （２）存在不同数据类型的赋值吗 （３）存在不同数据类型的比较吗 否
重要
变量值问题： （１）变量的初始化或缺省值有错误吗 （２）变量发生上溢或下溢吗 （３）变量的精度够吗 否
重要
逻辑判断问题： （１）由于精度原因导致比较无效吗 （２）表达式中的优先级有误吗 （３）逻辑判断结果颠倒吗 否
重要
循环问题： （１）循环终止条件不正确吗 （２）无法正常终止（死循环）吗 否
（３）错误地修改循环变量吗
（４）存在误差累积吗
重要 错误处理问题： （１）忘记进行错误处理吗 （２）错误处理程序块一直没有机会被运行 （３）错误处理程序块本身就有毛病吗如报告的错误与实际错误不一致，处理方式不正确等等。 （４）错误处理程序块是“马后炮”吗如在被它被调用之前软件已经出错。 否
开发组长： 陶浩然 检查人： 肖仲浩