软件测试基本概念

静态测试：不运行程序本身，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。

动态分析：通过运行被测程序，输入相应的测试用例，检查运行结果和预期结果的差异，并分析运行效率、正确性和健壮性等性能指标。

单元测试：又称模块测试，是针对软件设计的最小单位----程序模块或功能模块，进行正确性检验的测试工作。其目的在于检验程序各模块是否存在各种差错，是否能正确地实现了其功能，满足其性能和接口要求。

集成测试：又叫组装测试或联合，是单元测试的多级扩展，是在单元测试的基础上进行的一种有序测试。旨在检验软件单元之间的接口关系，以期望通过测试发现各软件单元接口之间存在的问题，最终把经过测试的单元组成符合设计要求的软件。

α测试：由用户在开发者的场所进行，并且在开发者对用户的“指导”下进行测试。

β测试：由软件的最终用户们在一个或多个客户场所进行，开发者通常不在测试现场。

黑盒测试：又称为数据驱动测试，把测试对象当做看不见的黑盒，在完全不考虑程序内部结构和处理过程的情况下，测试者仅依据程序功能的需求规范考虑，确定测试用例和推断测试结果的正确性，它是站在使用软件或程序的角度，从输入数据与输出数据的对应关系出发进行的测试。

白盒测试：又称为结构测试或逻辑驱动测试，是一种按照程序内部逻辑结构和编码结构，设计测试数据并完成测试的一种测试方法。

黑盒测试包括等价类划分、边界值分析、错误推测、因果法等。

白盒测试包括逻辑覆盖和控制结构测试。逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖、点覆盖、边覆盖、路径覆盖；控制结构测试包括基本路径测试、条件测试、循环测试。