软件测试的方法
软件测试最重要最常用的两种方法：黑盒/白盒测试（动态测试/静态测试）
动/静态测试的区别在于程序代码是否运行，因此黑盒可能是动态测试，也可能是静态测试，白盒可能是动态测试，也可能是静态测试。
黑盒测试（即功能测试）定义：
黑盒测试也称功能测试，它是通过测试来检测每个功能是否都能正常使用。在测试中，把程序看作一个不能打开的黑盒子，在完全不考虑程序内部结构和内部特性的情况下，在程序接口进行测试，它只检查程序功能是否按照需求规格说明书的规定正常使用，程序是否能适当地接收输入数据而产生正确的输出信息。黑盒测试着眼于程序外部结构，不考虑内部逻辑结构，主要针对软件界面和软件功能进行测试。
功能测试的内容可以归结为：
界面（UI）测试：指测试系统界面整体布局的合理性
数据测试：指接受正确的数据输入，并对异常数据的输入有提示和容错处理
操作测试：内容包括所以菜单、按钮的设计须符合操作习惯，能对操作有正确响应，而且操作灵活，符合用户习惯。
逻辑测试：此测试是使逻辑合理、清楚、流畅、不复杂。
接口测试：是让接口能配合多种硬件周边设备，以及所需的3方软件接口或者公共接口的需要。
黑盒测试测试用例的设计方法：
常用方法有：等价类划分、边界值分析、因果图、判定表驱动法、正交试验、比较法、错误推测等
一，等价类划分设计方法（分为有效等价类划分和无效等价类划分）：
是把所有可能的输入数据，即程序的输入数据集合划分成若干个子集（即等价类），然后从每一个等价类中选取少数具有代表性的数据作为测试用列。
1）有效等价类
是指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合。利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能。
2）无效等价类
与有效等价类的定义恰巧相反。无效等价类指对程序的规格说明是不合理的或无意义的输入数据所构成的集合。对于具体的问题，无效等价类至少应有一个，也可能有多个。
设计测试用例时，要同时考虑这两种等价类。因为软件不仅要能接收合理的数据，也要能经受意外的考验，这样的测试才能确保软件具有更高的可靠性。
例：需要为一个对所有实数进行开方运算的程序设计测试用列。
解答：所有的实数（输入域）进行划分，可以划分为：
正实数，+3.1415926代表正数
负实数，-1.444444代表负数
0
则+3.1415926，-1.444444，0就是3个等价类的特征值
进行等价类划分时，一般都可归为以下几种情况：
1，输入数据是布尔值
2，在输入条件规定了取值范围或者个数的前提下
3，在输入条件规定了输入 值的集合或者规定了“必须如何”的条件下
4，规定了一组列表形式（N个值）的输入数据，并且程序要对每一个输入值分别进行处理的情况下
5，更复杂的情况是，输入数据只是要求符合某几个规则
二，边界值分析法
是指对输入的边界值条件进行分析，设计出针对边界值的测试用例。边界分析法是对等价类划分法的补充。例：
等价分析法和边界值分析法，主要是针对单个输入数据来设计测试用例的，没有考虑多种输入数据的组合情况。
三，因果图法
就是利用图解法分析软件输入（原因）和输出条件（结果）之间的关系，以设计测试用例的方法。
因果图适合于检查程序输入条件的多种情况的组合，并最终生成判定表，来获得对应的测试用例。
因果图法一般需要经过下面四个步骤来完成：
四，决策表
决策表又称判断表，是一种呈表格状的图形工具，适用于描述处理判断条件较多，各条件又相互组合、有多种决策方案的情况。
决策表通常由4个部分组成：
条件桩，列出问题的所有条件，不强调条件的次序关系
动作桩，列出问题规定可以采取的操作
条件项，列出针对条件桩的取值
动作项：列出在条件项的各种取值情况下应该采取的动作。
决策表的优点：
决策树能罗列出所有的可能情况，并清晰的指出相应的处理方式，用户不需要考虑其中的逻辑关系就能一眼看出其中什么样的动作对应什么样的情况，这比程序语言中层层嵌套的逻辑语句要强多了。而所有可能情况的平面罗列，也能避免在程序语言编写中，因为逻辑上的层层嵌套而产生遗漏，尤其在if-then-else结构中else部分是可选的情况下。
因为逻辑控制在编程中的重要地位，决策表成为设计逻辑控制时十分重要的一个工具。
五，功能图法
是描述程序状态变化、转移的过程，因为软件运行或操作的过程可以看做是其状态不断发生变化的过程。测试用例的设计就是如何覆盖所有软件所表现出来的状态。同时要依靠判定表或因果图表示的逻辑功能
使用功能图法设计测试用例，是借助功能模型图模型来实现的，而功能图模型由状态迁移图和逻辑功能模型组成。
状态迁移图示例：
逻辑功能表示例：
六，错误推测法
主要依赖经验、直觉来做出简单的判断甚至猜测，给出可能存在缺陷的条件、场景等，在找到缺陷后，设计出相应的测试用例。
七，正交实验设计法
是研究多因素多水平的一种设计方法。它基于Galois理论，根据正交性从全面实验中挑选出部分有代表性的点进行实验的。这些点具备“均匀分散，齐整可比”的特点。