如何进行单元测试(2)

　　第七、 检查常量或全局变量使用的正确性;确定所使用的常量或全局变量的取值和数值、数据类型;保证常量每次引用同它的取值、数值和类型的一致性。

　　第八、 表示符定义的规范一致性;保证变量命名能够见名知意，并且简洁但不宜过长或过短、规范、容易记忆、最好能够拼读。并尽量保证用相同的表示符代表相同功能，不要将不同的功能用相同的表示符表示;更不要用相同的表示符代表不同的功能意义。

　　第九、程序风格的一致性、规范性;代码必须能保证符合企业规范，保证所有成员的代码风格一致、规范、工整。例如对数组做循环，不要一会儿采用下标变量从下到上的方式(如:for(I=0;I++;I<10))，一会儿又采用从上到下的方式(如:for(I=10; I--;I>0));应该尽量采用统一的方式，或则统一从下到上，或则统一从上到下。建议采用for循环和While循环，不要采用 do{}while循环等。

　　第十、检查程序中使用到的神秘数字是否采用了表示符定义。神秘的数字包括各种常数、数组的大小、字符位置、变换因子以及程序中出现的其他以文字形式写出的数值。在程序源代码里，一个具有原本形式的数对其本身的重要性或作用没提供任何指示性信息，它们也导致程序难以理解和修改。对于这类神秘数字必须采用相应的标量来表示;如果该数字在整个系统中都可能使用到务必将它定义为全局常量;如果该神秘数字在一个类中使用可将其定义为类的属性(Attribute),如果该神秘数字只在一个方法中出现务必将其定义为局部变量或常量。

　　第十一、 检查代码是否可以优化、算法效率是否最高。如：SQL语句是否可以优化，是否可以用1条SQL语句代替程序中的多条SQL语句的功能，循环是否必要，循环中的语句是否可以抽出到循环之外等。

　　第十二、 检查您的程序是否清晰简洁容易理解。注意：冗长的程序并不一定不是清晰的。

　　第十三、 检查方法内部注释是否完整;是否清晰简洁;是否正确的反映了代码的功能，错误的注释比没有注释更糟;是否做了多余的注释;对于简单的一看就懂的代码没有必要注释。

　　第十四、检查注释文档是否完整;对包、类、属性、方法功能、参数、返回值的注释是否正确且容易理解;是否会落了或多了某个参数的注释，参数类型是否正确，参数的限定值是否正确。特别是对于形式参数与返回值中关于神秘数值的注释，如：类型参数 应该指出 1.代表什么，2.代表什么，3.代表什么等。对于返回结果集(Result Set)的注释，应该注释结果集中包含那些字段及字段类型、字段顺序等。

　　4 动态执行跟踪

　　动态执行测试通常分为黑盒测试与白盒测试。黑盒测试指已知产品的功能设计规格，可以进行测试证明每个实现了的功能是否符合要求。白盒测试指已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格的要求，所有内部成分是否已经经过检查。

　　对于单元测试来说主要应该采用白盒测试法对每个模块的内部作跟踪检查测试。对于单元白盒测试，应该对程序模块进行如下检查：

　　1. 对模块内所有独立的执行路径至少测试一次;

　　2. 对所有的逻辑判定，取“真”与“假”的两种情况都至少执行一次;

　　3. 在循环的边界和运行界限内执行循环体;

　　4. 测试内部数据的有效性等等。

　　单元白盒跟踪测试，通常需要做如下三项工作:

　　1. 设计测试用例;

　　2. 设计测试类模块;

　　3. 跟踪调试。

　　4.1 测试用例设计

　　通常动态执行跟踪调试是在编码阶段进行的。在对源程序作静态人工检查之后就可以开始进行单元测试的测试用例设计。利用设计文档，设计可以验证程序功能、找出程序错误的多个测试用例。

　　4.1.1 测试用例的设计基本原则

　　设计测试用例基本的原则是：

　　1. 一个好的测试用例在于能够发现至今没有发现的错误;

　　2. 测试用例应由测试输入数据和与之对应的预期输出结果这两部分组成;

　　3. 在测试用例设计时，应当包含合理的输入条件和不合理的输入条件。

　　4.1.2 白盒测试的测试用例设计

　　白盒测试测试用例一般采用逻辑覆盖法和基本路径法进行设计。

　　一、逻辑覆盖法

　　逻辑覆盖是以程序内部的逻辑结构为基础的测试用例设计技术，这一方法要求测试人员对程序的逻辑结构有清楚的了解。逻辑覆盖可分为：语句覆盖、判定覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖与路径覆盖。

原文转自：http://www.ltesting.net