软件测试方法与过程

软件测试方法与过程

静态测试

 

以人工为主，测试者通过阅读代码和文档，分析其正确性、一致性及逻辑结构的正确性，从而找出软件中的错误或缺陷。对自动化工具依赖性较小，发挥人的主观能动性。

 

审查和走查是静态测试常用形式。审查指通过阅读讨论各设计文档及代码来检查其是否有错。审查可独自或会议形式进行。走查对象只是代码，不含文档。代码走查以小组形式，测试人员提供用例，参与者模拟计算机，跟踪程序执行过程，对其逻辑和功能提问，并通过讨论发现问题。

 

静态测试效率较高，且要求测试者有丰富经验。

 

动态测试

 

两种流行技术——黑盒测试、白盒测试。

 

1.黑盒测试

 

根据设计用例的方法不同，黑盒测试包括等价划分法、边界值分析法、错误推测法、因果图法等。白盒测试包括逻辑覆盖测试方法、基本路径测试等方法。

 

1.1等价类划分法？把程序的输入域划分为若干子集，再从每个子集中选少数代表性数据为用例，选取的数据对揭露程序错误都是等效的。等价类分为有效等价类（对程序规格说明有意义的、合理的输入数据所构成的集合）和无效等价类。

 

划分等价类原则？

 

（1）若输入条件规定了取值范围或个数，则可确定一个有效等价类和两个无效等价类

 

（2）若输入条件规定了输入值的集合或是规定了“必须如何”的条件，则可确定一个有效等价类和一个无效等价类

 

（3）若输入条件是布尔表达式，则可分为一个有效等价类和一个无效等价类

 

（4）若输入条件是一组值且程序对不同的值有不同的处理方式，则每个允许的输入值对应一个有效等价类，不允许的输入值为一个无效等价类

 

（5）若规定了输入数据必须遵守的规则就可以划分出一个有效的等价类（符合规则）和若干个无效的等价类（从各角度违反规则）。设计测试用例步骤？

 

（1）对每个输入和外部条件进行等价类划分，画出等价类表，并为每个等价类进行编号

 

（2）设计一个测试用例，使其尽可能多覆盖有效等价类，重复这一步直至所有的有效等价类被覆盖

 

（3）为每一个无效等价类设计一个测试用例

 

1.2边界值分析法？是一种补充等价类划分法的黑盒测试方法，它是选择等价类边界的测试用例。大量的错误常发生在输入和输出范围的边界上不是范围内部。边界值：最大/最小、首位/末位、上/下、最快/最慢、最高/最低、最长/最短、空/满等。

 

设计原则？

 

若规定了取值范围，应以范围的边界及刚刚超范围的边界外的值为测试用例