软件开发质量管理层次模型

2.3 白盒测试

白盒测试也称结构测试或逻辑驱动测试，它是在知道产品内部工作过程的情况下，按照程序内部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能。白盒测试的主要方法有逻辑驱动、基路测试等。

2.4 编译检查

使用开发工具所带的编译功能或专门程序对软件源码进行检查，分析和寻找源码存在的问题。

2.5 编程规范

通过人工源码检查判断源码是否符合企业已经制定的相关编程规范。制定编程规范，在企业内形成一个开发约定和规则，有利于整体风格统一、代码的可读性、可维护性和可扩展性。

2.6 编程逻辑

所编写的源码是否考虑周全，无矛盾或遗漏之处。常见问题如：忘记定义变量就使用、变量没有赋值初就直接使用、输入输出的数据类型与所用格式说明符不一致、没有注意数据的数值范围造成数组越界或数据溢出、输入时数组的组织方式与要求不符、循环语句可能会造成死循环、条件语句只考虑符合的情况而没有考虑例外的情况、读取文件或数据库中的数据没有考虑例外情况，等等。

2.7 编程优化