软件测试核心概念

软件

软件的定义：软件=程序(P )+数据库(DB)+文档(D)+服务(S)
软件的特点：

1. 软件必须依托具体的硬件设备而运行，硬件的改变很可能导致软件不可用。
2. 软件严重依靠人的智力劳动，因此，常具有较大的随意性。
3. 软件不会磨损，但会随硬件设备及用户需求的不断变化而不断需要进行升级，甚至也可能被淘汰。

软件测试

       软件测试：是使用人工和自动手段来运行或测试某个系统的过程，其目的在于检验被测软件系统是否满足规定的需要或是弄清除被测系统的预期结果与实际结果之间的差别。
软件测试的定义从5个方面体现了测试工作的核心与实质

1. 软件测试的根本目的是确保软件满足用户需求
2. 软件测试的目的是要衡量软件产品是否符合预期
3. 软件测试是一个持续进行的过程
   软件测试的过程主要分为5个主要的步骤：计划测试、设计测试、实施测试、执行测试和评估测试
4. 测试既需要动态执行也需要静态检查
5. 测试不仅需要手动执行还需要自动执行

软件缺陷

1. 软件测试员认为软件难以理解、不易使用、运行速度缓慢，或者最终用户认为不好
2. 软件未达到需求规格说明书中指明的功能
3. 软件出现了需求规格说明书中指明不会出现的错误
4. 软件功能超出需求规格说明书中指明的范围
5. 软件未达到需求规格说明书中虽未指出但应达到的目标

软件测试员的主要任务是

1. 根据用户的意见和反馈执行测试
2. 依据SRS的描述，针对系统在有效输入及有效操作下的正常功能进行测试
3. 依据SRS的描述或个人经验，针对系统在无效输入或无效操作下的软件容错能力进行测试
4. 开发人员应遵行良好的开发习惯，与用户和项目组成员及时沟通，避免植入无依据的软件缺陷
5. 需求分析阶段强调测试专家的介入，从测试的视角完善SRS，提高系统的外部环境容错能力

测试用例

        测试用例：是一组测试输入、执行条件和预期结果，目的是要满足一个特定的目标，如执行一条特定的程序路径或检验是否符合一个特定的需求的用例。
                        测试用例 = 输入 + 输出 + 测试环境

      输入是指测试数据和操作步骤，输出指系统的预期执行结果，测试环境是系统环境设置

输入数据大致分为3类：(1)正常数据、(2)错误数据、(3)边界数据

测试用例设计的基本原则：数量越少越好、典型性越高越好、对缺陷的定位性越强越好

自动化测试

自动化测试的定义：相对手动测试而存在的，它是通过测试工具、测试脚本(Test Scripts)等手段，按照测试工程师的预定计划对软件产品进行自动的测试，从而验证软件是否满足用户的需求

自动化测试能做什么/strong>
自动化测试技术主要包括录制/回放技术和脚本技术
根据脚本支持的功能的不同，脚本技术可分为线性脚本、结构化脚本、共享脚本、数据驱动脚本、关键字驱动脚本

黑盒测试技术

基本原理：黑盒测试仅需知道被测对象的输入和预期输出，不需要了解其实现的细节

测试用例设计

测试难点
       选择被测对象：即输入域或输出域，以进行后续的等价划分
       等价类划分：如何对输入域或输出域划分等价类，确保系统对每个等价类中的所有项采用相同的处理方式。是否存在一般规律br>         测试用例设计：如何根据划分得到的等价类集合设计测试用例，简单地将所有等价类按照排列组合方式构建测试用例就可以了吗br>         理论目标的达成：理论上而言，等价类测试可以做到测试的完备和无冗余，实际设计得到的测试用例确实可以保证满足理论目标吗br> 输入域的确定
整体输入域：根据被测对象的特性，针对整体输入域进行等价划分
个体输入域：将整体输入域拆分成由各个输入条件分别构成的个体输入域进行等价划分
有效等价类和无效等价类
有效等价类：合理、有意义的输入数据构成的集合，即被测对象能接受的数据。用于考查软件的正常工作能力
无效等价类：不合理、无意义的输入数据构成的集合，即被测对象不能接受的数据。用于考查软件的容错能力。
等价类的划分

1. 若输入条件规定了取值范围，且取值范围上、下限之间的数据是有意义的数据，则取值范围内的数据构成一个有效等价类，小于下限、或大于上限的所有数据分别构成两个无效等价类；
2. 若输入条件规定了“必须如何”的条件，则满足必须条件的数据构成一个有效等价类，其他数据构成一个无效等价类；
3. 若输入条件是一个布尔量，则取真值的数据构成一个有效等价类，取假值的数据构成一个无效等价类；
4. 若输入条件是一个逻辑量，即规定了输入数据的一组值，且系统要对每个输入值分别进行处理，则可为每一个输入值确立一个有效等价类，此外还要针对这组值确立一个无效等价类，它是所有不允许的输入值的集合

等价类划分的简便原则
       将某个输入条件所有可能的取值划分为一个有效等价类，其余取值划分为一个无效等价类
       针对有效等价类，通过不断施加规则，将满足规则和不满足规则的数据划分为不同的有效等价类
       重复该步骤，将有效等价类中不断划分为更多子有效等价类，直至无法继续划分为止，最终得到的每个有效等价类代表类被测对象的一种特殊的处理方式

判断等价类中所有数据是否完全等价的简便原则
       在某个指定的等价类中，被测对象对该等价类中的输入数据或输入项的处理方式是否一致
       如果不一致，则该等价类需要进一步做等价划分

白盒测试

对判定的测试

语句覆盖
设计测试用例时应保证程序的每一条可执行语句至少执行一次
判定覆盖
设计测试用例时应保证程序中每个判定节点的取真和取假分支至少执行一次
条件覆盖
设计测试用例时应保证程序中每个复合判定表达式中，每个简单判定条件的取真和取假情况至少执行一次

单元测试

概述
是指对软件中的最小可测试单元或基本组成单元进行检查和验证