软件测试是在软件投入生产性运行之前，对软件需求剖析、设计尺寸说明和编码的最终复审，是软件质量控制的关键步骤。
软件开发过程是一个自顶向上、逐步细化的过程，而测试过程则是依相反的次序安排的自底向下、逐步集成的过程。
一、白盒测试与黑盒测试
黑盒测试：已知产品的功能设计尺寸，可以通过测试证明每位实现了的功能是否符合要求。
白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计尺寸要求，所有内部成份是否早已过检测。
软件测试有一个致命的缺陷，即测试的不完全、不彻底性。
二、白盒测试的测试用例设计
逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的技术，它属于白盒测试
逻辑覆盖又可分为：句子覆盖判断覆盖判断—条件覆盖条件组合覆盖路径覆盖
程序段实例
句子覆盖就是设计若干个测试用例，运行被测程序，促使每一可执行句子起码执行一次。句子覆盖是最弱的逻辑覆盖标准。
判断覆盖就是设计若干个测试用例，运行被测程序，促使程序中每位判定的取真分支和取假分支起码经历一次。判断覆盖又称为分支覆盖。
条件覆盖就是设计若干个测试用例，运行被测程序，促使程序中每位判定的每位条件的可能取值起码执行一次。
判断-条件覆盖就是设计足够的测试用例，致使判定中每位条件的所有可能取值起码执行一次，同时每位判定本身的所有可能判定结果起码执行一次
条件组合覆盖就是设计足够的测试用例，运行被测程序，促使每位判定的所有可能的条件取值组合起码执行一次。
路径测试是设计足够的测试用例，覆盖程序中所有可能的路径。若仍以最初的图为例，则可以选择如下的一组测试用例，覆盖该程序段的全部路径。
基本路径测试是在程序控制流图的基础上，通过剖析控制构造的支路复杂性，导入基本可执行路径集合，因而设计测试用例的方式
三、黑盒测试的测试用例设计
等价类界定是一种典型的黑盒测试方式，也是一种特别实用的重要测试方式,它是拿来解决怎么选择适当的子集，使其尽可能多地发觉错误。
所谓等价类是指某个输入域的子集合。在该子集合中，各个输入数据对于揭发程序中的错误都是等效的，并合理地假设：测试某等价类的代表值等价于对这一类其他值的测试。
等价类的界定有两种不同的情况：
（1）有效等价类：是指对于程序的尺寸说明来说，是合理的、有意义的输入数据构成的集合。借助它，可以检验程序是否实现了尺寸说明预先规定的功能和性能。
（2）无效等价类：是指对于程序的尺寸说明来说，是不合理的、无意义的输入数据构成的集合。程序员主要借助这一类测试用例检测程序中功能和性能的实现是否有不符合尺寸说明要求的地方。在设计测试用例时，要同时考虑有效等价类和无效等价类的设计。
边界值剖析也是一种黑盒测试方式，是对等价类界定方式的补充。人们从常年的测试工作经验中获知，大量的错误是发生在输入或输出范围的边界上，而不是在输入范围的内部。这儿所说的边界是指，相当于输入等价类和输出等价类而言，稍低于其边界值及稍高于其边界值的一些特定情况。
四、绵薄之力
最后分享自己总结的软件测试学习资料和路线，包括测试理论、Linux基础、MySQL基础、Web测试、接口测试、App测试、Python基础、Selenium相关、性能测试、LordRunner相关等，点击文末小卡片免费发放
资源获取形式：
