|
|
|
|
|
|
|
静态测试是指被测试程序不在机器上运行，而是采用人工检测和计算机辅助静态分析的手段对程序进行检测。
|
|
|
|
（1）人工检测。人工检测是不依靠计算机而是靠人工审查程序或评审软件，包括代码检查、静态结构分析和代码质量度量等。
|
|
|
|
（2）计算机辅助静态分析。利用静态分析工具对被测试程序进行特性分析，从程序中提取一些信息，以便检查程序逻辑的各种缺陷和可疑的程序构造。
|
|
|
|
|
|
动态测试是指通过运行程序发现错误。对软件产品进行动态测试时可以采用黑盒测试法和白盒测试法。
|
|
|
|
|
|
测试用例由测试输入数据和与之对应的预期输出结构组成。在设计测试用例时，应当包括合理的输入条件和不合理的输入条件。
|
|
|
|
（1）用黑盒法设计测试用例。黑盒测试也称为功能测试，在完全不考虑软件的内部结构和特性的情况下，测试软件的外部特性。
|
|
|
|
常用的黑盒测试技术有等价类划分、边界值分析、错误推测和因果图等。
|
|
|
|
①等价类划分。等价类划分法将程序的输入域划分为若干等价类，然后从每个等价类中选取一个代表性数据作为测试用例。每一类的代表性数据在测试中的作用等价于这一类中的其他值。这样就可以用少量具代表性的测试用例取得较好的测试效果。等价类划分分两种不同的情况，即有效等价类和无效等价类。在设计测试用例时，要同时考虑这两种等价类。
|
|
|
|
②边界值分析。输入的边界比中间更加容易发生错误，因此用边界值分析来补充等价类划分的测试用例设计技术。边界值分析选择等价类边界的测试用例，既注重于输入条件边界，又适用于输出域测试用例。
|
|
|
|
③错误推测。错误推测是基于经验和直觉推测程序中所有可能存在的错误，从而有针对性地设计测试用例的方法。其基本思想是列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据它们选择测试用例。
|
|
|
|
④因果图。因果图法是从自然语言描述的程序规格说明中找出因（输入条件）和果（输出或程序状态的改变），通过因果图转换为判定表。
|
|
|
|
（2）用白盒法设计测试用例。白盒测试也称为结构测试，根据程序的内部结构和逻辑来设计测试用例，对程序的路径和过程进行测试，检查是否满足设计的需要。
|
|
|
|
白盒测试常用的技术是逻辑覆盖、循环覆盖和基本路径测试。
|
|
|
|
①逻辑覆盖。逻辑覆盖考查用测试数据运行被测程序时对程序逻辑的覆盖程度。主要的逻辑覆盖标准有语句覆盖、判定覆盖、条件覆盖、判定／条件覆盖、条件组合覆盖和路径覆盖6种。
|
|
|
|
②循环覆盖。执行足够的测试用例，使得循环中的每个条件都得到验证。
|
|
|
|
③基本路径测试。基本路径测试法是在程序控制流图的基础上，通过分析控制流图的环路复杂性，导出基本可执行路径集合，从而设计测试用例。
|
|
|
