11.静态代码审查技术.ppt

文档介绍：第 4部分测试用例设计技术—2
静态白盒测试
静态白盒测试是在不执行的条件下有条理地仔细审查软件设计、体系结构和代码,从而找出软件缺陷的过程。
好处:
尽早发现软件缺陷。
为黑盒测试员提供思路。
审查
审查是正式、严格、具有深度的技术评审,以便尽可能准确地确定问题之所在。
审查过程的目的:
在软件开发过程中尽可能早地发现问题。
确保对重要部分达成一致意见。
审查的角色
一次审查一般需要5人至7人,这些角色是:
主审员:协调本次审查并主持讨论。
责任人:负责被审查的产品。
讲解员:在审查会上讲解被审查的产品。
审查员:审查产品。
记录员:记录在审查会议上讨论的问题。
经理:责任人的管理者。
审查对象
选择要审查的代码模块的准则:
对于正确操作产品起关键作用的模块。
复杂度较高的模块
与过去发生错误率较高的模块功能类似的模块。
相对较新的或缺乏经验的软件程序师编写的模块。
坚持编码标准和规范
可靠性。
可读性/维护性
移植性
审查标准
大多数计算机语言和信息技术的国家和国际标准可以通过以下途径获得:
国际工程协议(IEC):准化组织(ISO):术标准国家委员会(NCITS):械联合会(ACM):气工程学会(IEEE):
通用代码审查清单
数据引用错误;
数据声明错误;
计算错误;
比较错误;
控制流程错误;
子程序参数错误;
输入/输出错误;
其他检查。
数据引用错误
是否引用了未初始化的变量?
数组和字符串的下标是整数值吗?
是否在应该使用常量的地方使用了变量?
变量是否被赋予不同类型的值?
为引用的指针分配内存了吗?
一个数据结构是否在多个函数或者子程序中引用,在每一个引用中明确定义结构了吗?
数据声明错误
所有变量都赋予正确的长度和类型了吗?
变量是否在声明的同时进行了初始化?
存在声明过、但从未引用或者只引用过一次的变量吗?
在特定模块中所有变量都显示声明了吗?