软件测试的基本概念

1、软件测试，第6章，6，6.1软件测试的基本概念，一、软件测试的目的和重要性由于在开发工作的早期阶段不可避免地会引入错误，所以测试的目的是发现并纠正错误，这对于一些涉及人类生命安全或重要的军事和经济目标的项目尤其重要。1963年，美国飞往火星的火箭爆炸了，因为FORTRAN程序：DO 5 I=1，3被错误地写成：DO 5 I=1。损失了1000万美元。1967年，苏联的“联盟1号”宇宙飞船在返回时烧毁，因为它忽略了小数点，进入大气层时无法打开降落伞。2.软件测试的特点1。据Boehm统计，软件测试成本很高，软件测试成本约占总成本的30%-50%。例如，APPOLLO登月计划的80%用于软件测试。

2、2.软件测试结论3的特征。软件测试是困难的根据上面的分析，因为不可能进行彻底的测试并找出尽可能多的错误，所以软件测试是困难的。只选择“高效测试用例”，什么是“高效测试用例”？如何选择“高效的测试用例”？这是本章讨论的主要问题！3.软件测试的基本原则。在测试中充分注意聚类。1.尽量不要被程序员测试。2.关键是要注意测试用例的选择。输入数据(输入数据和预期输出结果)的构成包括合理的输入数据和不合理的输入数据。用例可以检查应该完成的任务和不应该完成的任务。测试用例的长期保存。测试的基本步骤、模块测试、整体测试、功能测试、预测试、系统测试、验收测试、安装测试、概要设计审查、详细设计审查、代码审查、单元

3、测试、组装测试和有效性测试。在前台检查代码时经常使用以下分析方法：调用图从语义角度检查程序的控制路线。数据流分析图检查分析变量的定义和引用。调用图，无论Y值是多少，都不能调用子程序。ready，y0，n，x:=y，x0，y，n，y，调用子程序，A，B，C，D，E，也就是说，在执行ABC之后，不可能执行路径CDE。数据流分析图，节点表示单个语句。有向边代表控制结构。d定义为：R是指没有引用的U，R:du uus:U uur y:uudru，r=0.5，w=1/s，y=a * * w，y=e * w，z=x y，c=z * s，1 23 456，常用方法：1。白盒分析程序的内部逻辑结构，注意选择合

4、适的覆盖标准，设计测试用例，并尽可能测试主要路径。2.黑盒方法不考虑程序的内部结构和特征，只根据程序的功能或外部特征设计测试用例。白盒方法，也称为逻辑覆盖方法，它的测试用例选择是根据不同的覆盖标准来确定的。句子覆盖、判断覆盖、条覆盖、判断条覆盖、条组合覆盖、弱、强、语句覆盖：选择足够的测试用例，以便程序中的每个语句至少可以执行一次。决策覆盖：执行足够多的测试用例，这样程序中的每个决策至少可以得到一个“真”值和一个“假”值。条件覆盖：执行足够多的测试用例，以便判断中的每个条件都能得到各种可能的结果。判断/条件覆盖：执行足够多的测试用例，这样判断中的每个条件都可以得到各种可能的值，每个判断都可以得

5、到各种可能的结果。条件组合覆盖：执行足够多的示例，以便所有可能的条件组合在每个判断中至少出现一次。覆盖标准常用于白盒法，白盒法步骤：例：用白盒法测试以下程序：程序(VAR A，b，x:实)；如果(A1)和(B=0)开始，则X :=X/A；如果(A=2)或(X1)，则X:=X 1结束；1)选择逻辑覆盖标准。2)根据覆盖标准列出所有情况。3)选择并确定测试用例。4)验证分析结果和预期结果。逻辑结构、白盒方法示例、程序(var a、b、x : real)；如果(A1)和(B=0)开始，则X :=X/A；如果(A=2)或(X1)，则X:=X 1结束；逻辑结构、1，语句覆盖率，以便程序中的每个语句至少可

6、以执行一次。a1和b=0、x:=x/a、a=2orx1、x:=x 1、a、b、c、d、e，满足TRUE语句覆盖率：执行路径：ace，选择use FALSE: (2、0、0、a1和b=0、x:=x/a、a=2orx1、x:=x 1、a、b、c、d、e，覆盖率：应执行ace abd或：acd abe路径，并应执行用例(一个，应满足以下覆盖条件：判断一： A1，A1，B=0，B0判断二： A=2，A2，X1，X1，X1，选择用例：(2，0，4)，(2，0，3) (1，1，1)，(1，1，1)请注意， (1，0，3)，(1，0，4) (2，1，1)和(2，1，2)满足条件覆盖，但不满足判断覆盖。4，判

7、断/条件覆盖，同时满足判断覆盖和条件覆盖。ace abd b=0、x:=x/a、a=2orx1、x:=x 1、A、B、c、d、e，应满足以下覆盖条件：条件： A1、A1、b=0、B0 A=2、A2、x1、X1 0、4)、(2、0、3) (ace) (1、1、1)、(1、1) (Abd)、y、y、n、n、5、条件组合覆盖，以便出现所有可能的条件组合、a1、x:=x/a、a=2、x:=x 1、a、b、c、d、e、b=0、x 1、y、n、y、n、y，满足以下覆盖条件：a1、b=0a1、b0a1、b=0a1、b0a=2、x1a=2、x1a2、x1a2、x1，选择用例：(2，0，4)、(2，0，3) (

8、2，1，1)、(2，1第二，动态测试方法(2)，(2)黑盒方法不考虑程序的内部结构和特征，只根据程序的功能或外部特征设计测试用例。等价分类，基本思想：根据程序的输入输出特性，将程序的领域划分为有限数量的等价类，从等价类中选择的用例具有代表性。等价类分为：有效等价类是程序规范的一组合理且有意义的输入数据。无效等价类是程序规范的一组不合理且无意义的输入数据。等价分类的步骤应根据输入条件(如输入值的范围、值的数量、值的集合以及输入条件必须是什么)分为有效等价类和无效等价类。例如，每个学生可以选修1-3门课程，并且可以分成一个有效的等价类：选修1-3门课程。它可以分为两个无效等价类：没有选修课，超过三

9、门选修课。划分“等价类”，显然，关键是如何划分等价类、A是每个等价类的个数；让一个测试用例覆盖尽可能多的有效等价类。特别注意：一个测试用例只能覆盖一个无效的等价类。选择测试用例，等价分类的步骤。边界值分析法的基本思想是：选择等价类的边值作为测试用例，这样就可以测试每个等价类的边界，并选择同时考虑输入和输出的测试用例。分析步骤：先划分等价类。选择测试用例和测试等价类边界。边界选择原则：a根据输入值范围的边界。b显示输入/输出值的边界数。输出范围的边界。输入/输出有序集的d边界。a显示输入值范围的边界。例如，如果输入值的范围从-1.0到1.0，您可以选择用例： 1.0、1.0、-1.001和1.0

10、01。b显示输入/输出值的边界数。例如，如果输入文件可以有1-255条记录，那么设计案例：文件中的记录数是0、1、255和256。输出范围的边界。例如，最多搜索4个摘要。设计用例：可以检索0、1、4和5(错误)。输入/输出有序集的边界(如顺序文件和线性表)。应该选择第一个元素和最后一个元素。以边界值分析法为例、黑盒法为应用实例，对FORTRAN编译系统中的DIMENSION语句进行测试。该语句的格式为：DIMENSION ad，ad ad是数组描述符，格式为n(d)，其中：n数组名，字母数字字符串，长度为6。d是一对(1-7): ld:nd ld和nd是1-65535，ld默认为1。40个等价

11、类、3。错误推理方法，通过经验或直觉推测可能的错误，列出程序中可能的错误和容易出错的特殊情况，并选择测试用例。输入条件被视为“原因”，输出条件被视为“结果”，黑盒被视为从原因到结果的网络图，并且功能规范中输入条件和输出的各种组合之间的关系以逻辑图的形式表达。根据这种关系，可以选择有效的测试用例。因果图是一种形式语言和一种组合逻辑网络图。4。因果图、4。因果图，因果图的基本符号0-表示“不出现”1-表示“出现”，恒等式如果A是1，那么B是1，否则B是0。如果A是1，B是0，否则B是1。或函数，如果a或b是1，d是1，否则d是0。如果a和b都是1，d就是1，否则d就是0。因果图中，限制性符号为“和

12、”、“或”的函数，E约束(不含)，即A和B不能同时为1。I约束(或)包含a、b和c不能同时为0。o约束(唯一):a和b中只有一个是1。R约束(要求)要求当A为1时，B必须是1 M约束(强制)掩码。如果A是1，B必须是1。a、b、e、a、b、c、I、a、b、r、a、b、o、a、b、m、因果图的步骤、分析规范，即把问题分成几个可行的步骤。确定规范中的原因和后果。原因输入、条件、结果输出或系统转换，因果图被转换成有限项判断表。将判断表的每一列转换成一个测试用例。分析规范的语义和内容，并将其转换成因果图。因果图应用示例，说明：文件名的第一列字符必须是A或B，第二列字符必须是数字。如果满意，请修改文件。

13、不正确的第一个字符发出信息X12，不正确的第二个字符发出信息X13。1。分析原始原因并取得成果1。第一列字符是A 50。修改文件2。第一列字符是B 51。发送信息X12 3。第二列字符是数字52。发送信息X 13。2。画因果图。中间节点是导出结果的另一个原因。考虑到原因1和2不能同时为1，加上e约束。11、3。将因果图转化为判断表，11，51，50，52，8.3软件测试步骤，测试步骤和策略所有测试过程都应采用综合测试策略；也就是说，先做静态分析，然后做动态测试。提前做一个测试计划。测试过程通常可以分为四个步骤：(1)模块测试；(1)测试内容、模块、模块接口测试、本地数据结构测试、重要路径测试、

14、错误处理测试、边界条件测试；(2)输入输出参数值的数量、类型、顺序和格式是否正确，输入/。数据描述正确一致，变量及其初始值定义正确等。检查错误处理程序本身是否有错误。边界条件通常包括循环边界、最大值和最小值、等于、大于和小于控制流中的比较值等。重要路径通常指完成模块功能的主要路径，一般是控制结构。模块测试步骤，考虑到被测模块与其他模块之间的连接，在测试过程中有必要使用两种辅助模块来模拟其他模块。驱动程序模拟主程序功能，用于向被测模块传输数据，接收和打印被测模块返回的数据。存根，也称为虚拟模块，用于模拟被测试模块调用的从属模块的功能。通常，驱动模块比桩模块更容易设计。但是它们都是额外的费用。白盒法是主要的测试方法。测试模块，驱动模块，桩模块，桩模块，集成测试，1。装配测试的任务是确定模块装配方案，并将被测试的模块装配成一个完整的系统。装配方案分为增量式和非增量式。测试方法主要是黑盒法，测试按照组装方案进行。也称为联合测试或综合测试，侧重于测试模块的接口部分，需要设计测试过程中使用的打入模块或桩模块。问：增量式和非增量式有什么优缺点？你为什么