软件测试 第2版 §6 检查代码

 

检查代码

       军队、金融、工业自动化、医药类软件、或者有幸在组织严格的开发模式下工作，在大妈级别验证产品就是例行共识。如果在测试软件的安全问题，那么这是必须进行的。

·         静态白盒测试的好处

·         各种类型的静态白盒测试综述

·         编码规范和标准

·         如何从整体审查代码错误

§6.1  静态白盒测试:检查设计和代码

       在不执行软件的条件下有条理地仔细审查软件设计，体系结构和代码，又称为结构化分析.可以尽早发现软件缺陷，以找出动态黑盒策是难以发现或者隔离的软件缺陷.并给黑盒测试的测试设计和应用测试用例提供思路.

      

§6.2  正式审查

正式审查是进行静态白盒测试的过程。它的四个基本要素如下:

确定问题：找出软件的问题－不仅是出错的项目，还包括遗漏项目。全部的批评应该针对代码或设计。

遵守规则

准备

编写报告.

间接效果:交流,质量,小组同志化,解决方案

形式有同事审查,走查,检验等.检验的宣读者不是程序员本人。

§6.3  编码标准和规范

由于可靠性; 可读/可维护性,移植性，需要尽量坚持编码标准和规范。

标准的4个组成:标题,标准,解释说明,示例.

注意风格不是问题. 可以参考华为编码规范.

标准的获取:

·         American National Standards Institute (ANSI),

·         International Engineering Consortium (IEC),

·         International Organization for Standardization (ISO),

·         National Committee for Information Technology Standards (NCITS),

There are also documents that demonstrate programming guidelines and best practices available from professional organizations such as

·         Association for Computing Machinery (ACM),

·         Institute of Electrical and Electronics Engineers, Inc (IEEE),

 

§6.4  通用代码审查清单

需要编程经验，无经验可以参考《Sams Teach Yourself Beginning Programming in 24 Hours》

主要包含数据引用,数据声明,计算,比较,控制流,子程序参数,I/O,其他检查等错误.

       具体条条框框暂略，可以参考华为编码规范。