软件测试基础

一、等价类划分

 

1、有效等价类

 

是指对于程序的规格说明来说是合理的，有意义的输入数据构成的集合

2、无效等价类

 

与有效等价类相反

 

二、边界值分析

 

边界值分析法就是对输入或输出的边界值进行测试的一种黑盒测试方法。

 

三、错误推断

 

基于经验和直觉推测程序中所有可能存在的各种错误,从而有针对性的设计测试用例的方法。

 

四、因果图法

 

因果图法是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。

 

五、判定表驱动

 

判定表是分析和表达多逻辑条件下执行不同操作的情况的工具。

 

六、正交实验法

 

依据Galois理论,从大量的（实验）数据（测试例）中挑选适量的,有代表性的点（例）,从而合理地安排实验（测试）的一种科学实验设计方法.类似的方法有:聚类分析方法,因子方法方法等.

 

七、功能图法

 

功能图由状态迁移图和布尔函数组成.状态迁移图用状态和迁移来描述.一个状态指出数据输入的位置（或时间）,而迁移则指明状态的改变.同时要依靠判定表或因果图表示的逻辑功能.例,一个简化的自动出纳机ATM的功能图。

 

八、场景法

 

现在的软件几乎都是用事件触发来控制流程的，事件触发时的情景便形成了场景，而同一事件不同的触发顺序和处理结果就形成事件流。这种在软件设计方面的思想也可以引入到软件测试中，可以比较生动地描绘出事件触发时的情景，有利于测试设计者设计测试用例，同时使测试用例更容易理解和执行。