软件测试相关理论 ------功能测试
功能测试，也就是我们常说的黑盒测试，常见有等价类划分，边界值分析，因果图法，判定表法，正交试验法，功能图法等等。下面具体讨论下边界值分析，等价类划分以及决策表三种方法。
一，边界值测试
简单的说，边界值测试主要是的基本思想是基于单缺陷假设下的五
元素分析法。所谓单缺陷假设即：失效极少是由两个或两个以上的缺陷同时发生引起的。因此，边界值分析测试用例是通过让所有变量取正常值，只使一个变量取极
值而获得的。五元素具体指：最小值，略低于最小值，正常值，略大于最大值，最大值，即min,min+1,normal,max-1,max。在
jorgensen的软件测试书中，在边界值中阐述了几个重要概念。
1、健壮性测试。相比与五元素分析法，健壮性测试多引进了两个元素：略小于最小值和略大于最大值，即 min-1,min,min+1,normal,max-1,max,max+1。
2、最坏情况测试。该测试打破了单缺陷假设，认为要考虑多个变量取极值时的情况，即各个变量五个元素的所有组合，相当于笛卡尔积的计算。
3、健壮最坏情况测试。就其字面意思解释，就是结合两种测试的特点。
对于具有N各变量的函数，采用普通的边界性测试将有4N+1个用例，健壮性测试则有6N+1个用例，最坏情况测试有5N个用例，健壮坏情况测试有7N个用例。
二、等价类划分
等价类划分既实现了完备性测试，又避免了冗余。在等价类中我们需要掌握以下几个概念：
1、弱一般等价类。遵循单缺陷假设，要求用例包括了每个变量的每一种取值即可。
2、强一般等价类。要求每个变量每种取值得笛卡尔积，以及所有变量所有取值的所有组合。
3、弱健壮等价类。只是将弱一般等价类中的五要素增添为七要素即可。min-1,max+1的引入其实是增加了外空间，涵盖有效测试和无效测试。
4、强健壮等价类。同上，将强一般等价类增添为七要素分析。
三、决策表测试
基
于决策表的测试主要要分析桩与规则有哪些。
决策表由四部分组成，条件桩，条件条目，行为桩，行为条目。通俗点说，所谓条件桩也就是输入的变量可能的取值情况。条件条目就是考虑这些条件桩取值为
YES或NO。行为桩也就是考虑输出情况，所有可能的输出，而行为条目就是具体行为桩的取值情况分析。
条件中的一列就是一条规则。
在行为条目中我们可能遇到无效条目或不关心条目这个概念，不关心条目即“必须失败”，就是在特定条件下不可能发生的事情。仔细分析不关心条目，可以发现它影响了规则的总数。有N个不规则条目，则有2N个规则。
我们知道，黑盒测试的方法有很多，但在具体情况下我们需要根据实际情况选择最合适的测试方法。可以遵循的规则主要有以下几点：１首先进行等价类划分，包括输入条件和输出条件的等价划分。
２在任何情况下都必须使用边界值分析方法。
３如果程序的功能中含有输入条件组合情况，则一开始就可选用因果图法和决策表法。
４对于业务流清晰的系统，可以利用场景法。
５对于参数配置类软件采用正交试验法选择用例。
