软件测试方法论

1、1、软件测试工程师培训、软件测试方法学、2、主要内容、1软件测试方法简介2软件测试规范3软件测试机箱设计黑盒测试4软件测试机箱设计白箱测试5简介3、1软件测试方法简介， 1.1软件测试活动和信息流1.2测试方法1.3产生测试用例1.4消息源概述4.1软件测试活动和信息流测试是从大量的测试用例中选择有限的测试用例发现软件中的大部分缺陷的技术好的测试用例的4个特性：检查软件的品质的有效性能够发现缺陷，或者至少能够发现缺陷能够模仿的测试用例可减少测试用例的经济性、测试用例的执行、分析和调试以经济测试用例的可修正性进行有木有、软件每次修改时测试用例的维护成本、5、测试活动、6、测试活动、1测试条件取决

2、于经测试验证的项目工程和上通告例如，等价划分、边界值分析、因果图等。 测试条件是被实验者的环境的记述，简单的语言、表项目形式、类似流程图的格拉夫形式等，识别可以用各种各样的方法记述的测试条件的活动，希望开发活动(v模型的左侧的活动)并行，7，测试活动，2设计测试用例决定“怎样测试”。 测试用例(test case )按照一定的顺序执行关于测试目标(test object、测试理由或目的)的一系列测试。 测试用例设计生成执行测试的其他信息，包括许多测试中包含的输入值、预期结果和环境要求。 输出包括要输出或创建的内容，以及要修改、更新或删除的内容。 输出定径套最好是大的定径套。8、测试活动、测试用

3、例、9、测试活动、3开发测试用例包括测试脚本准备、测试输入、测验数据、期望输出。 “测试脚本”(test script )是一组具有正则语法的数据和指令，在使用自动执行测试工具时，必须在执行通常以文件格式存储的测试之前完成测试用例前提条件。 测试用例可能需要网络环境和打印机等特殊硬件和软件。输出最好是自动工具用的文件格式。 在手工测试的情况下，输出最好仅仅记录在手工测试进程或脚本中。 设置自动比较所需的输出远比设置手工测试所需的输出复杂。 在自动工具中，所有内容都必须是正确的拼写，但在手工作业测试中并不那么严格。 测试开发工作可以事先进行(可以对v模型左侧的活动进行)，以后可以节省时间。 在执

4、行1.0、测试活动、4个测试用例的手工测试中，测试者使用事先准备的手工作业进行测试，测试者输入数据，观察输出，记录发现的问题。 如果是自动测试，请启动测试工具，工具执行哪些测试用例？测试执行只能在软件研发完成后进行，是v模型右侧的活动。1.1、测试活动、5测试结果与期望输出进行比较，需要对每次测试的实际输出进行分析，确定软件功能是否正确。 该验证可以由非正确的实验对象主观地判断，也可以将实际的输出与所希望的输出严格地进行正确比较。 执行测试时可以在画面上显示的信息和数据库录入查询密码的变更等输出比较只能在测试执行完毕后进行。 自动测试通常是这两种方法的组合。 1.2，测试阶段的信息流；1.3，

5、测试阶段的信息流；测试阶段的输入信息是软件配置，这是测试对象，有需求说明书，设计说明书，测得的源程序等。测试配置：测试计划、测试步骤、测试用例(测验数据)、具体实施测试的测试计程仪、测试工具等1.4、1.2测试方法、静态方法动态方法黑盒测试、1.5、静态方法和动态方法、静态方法的主要特征是在计算机上测试源程序时因此，静态方法常常被称为“分析”，静态分析是对被测计程仪柱进行特性分析的一些方法的总称。 动态方法的主要特征是计算机必须执行实际测试的计程仪程序，输入测试用例，分析其执行情况(投入产出的对应关系)。 “1.6、黑盒测试和黑盒测试”(Blackbox Testing )也称为功能测试、数据

6、驱动程序测试或基于规范的测试。 用这种方法进行测试时，被实验者程序作为黑匣子处理，不考虑程序计程仪程序的内部结构和内部特性，被实验者只知道该程序计程仪之间的关系和程序计程仪程序的功能时，在可以反映该关系和程序计程仪程序功能的要求说明书中，考虑测试用例的决定和测试结果的正确性。 软件的黑盒测试用于验证软件功能的精准性和操作性。 1.7、白盒测试和白盒测试也称为结构测试、逻辑驱动器测试或基于计程仪程序的测试。 这依赖于计程仪计划的详细验证，为特定条件和循环定径套设计测试用例，并测试软件的逻辑路径。 在计程仪程序的不同点上验证“程序计程仪程序的状态”，判定其实际状态是否与预想的状态一致。 软件的白盒

7、测试被用于解析计程仪程序的内部构造。1.8、白箱测试、白箱测试对某计程仪柱的结构特性要求某种程度的霸王或“霸王测试”。 最常见的计划计程仪结构垄断是：句子垄断：它要求被测计划可执行的句子尽量在测试中经过验证， 这是最弱的逻辑性垄断标准：分支复盖或判定复盖：要求尽可能检查计程仪集中所有判定的分支的条件复盖：判定式中包含多个条件时，要求检查各条件的取值的判定条件复盖：将条件的组合值和判定结果的验证考虑到云同步的路径复盖：多普勒计程仪如何获得测试封面？插入、1.9定、测试主机箱、测试黑匣子是测试软件和需求的一致性，为什么需要测试主机箱？ 计程仪编程容易发生逻辑误差，建立不正确的假设，会发生设计错误，

8、白盒测试能发现这样的错误输入错误是随机的，2.0、黑盒测试和白盒测试的比较、2.1、测试阶段和测试方法、2.2、1.3测试信息源、 根据软件规约创建测试用例，根据软件设计创建测试用例，根据计程仪计划生存测试用例化学基，归纳为1.4，软件测试的主要工作是确定合适的测试用例。测试过程是： 在整个软件研发活动中进行的测试方法：动态、静态、黑匣子、邮箱等2.4、2软件测试箱设计黑盒测试、 2.0摘要2.1等价类划分2.2因果图2.3边值分析2.4判定表驱动测试2.5正交实验设计法2.6自动测试用例创建方法2.7摘要、2.5、2.0摘要，该方法将测试对象视为黑匣子的测试负责人完全不考虑程序内部的逻辑结构

9、和内部特性，根据程序的要求规格书化学基黑盒测试也称为功能测试或数据驱动测试。2.6、黑匣子的测试方法是在程序接口进行测试，主要是为了发现以下错误：不正确或缺失的功能？ 在接口上，能正确接受输入吗？ 你能输出正确的结果吗？ 是否有数据结构错误或数据文件等外部信息网站数据库错误？ 你能在性能上满足要求吗？ 有初始化错误或退出错误吗？ 必须在黑盒测试目标、2.7、黑盒测试中发现计程仪项目中的错误，在所有可能的输入条件和输出条件中确定测验数据，检查项目计程仪项目是否能生成正确的输出。 但是那是不可能的。 假设2.8、计程仪柱p中有输入量x、y和输出量z。 字长在32位色的电脑上执行。 x、y为整数时，

10、采用黑匣子法进行全面测试：可采用的测验数据定径套： 232232 264测试一组数据需要1毫秒，每年工作365 24小时，完成所有测试需要5亿年。选择2.9、2.1测试用例设计方法的等效类划分、测试用例等效类划分的方法是将计程仪节目的输入字段分割为多个部分，从各个部分中选择少数代表性的数据作为测试用例。 在分析需求规格说明的基础上，对等价类进行分类，并列出等价类表。 3.0、2.1.1等价类、等价类是某个输入结构域的集合。 这表示，如果将定径套中的一个条目作为测验数据进行测试，则不会在plum中发现错误；如果测试定径套中的其它条目，则不会发现错误。 也就是说，对于暴露过程中的错误，集合中的各输

11、入条件是等价的。 在考虑3.1、有效等价类和无效等价类、等价类时，应注意区分两种不同的情况：有效等价类：有效等价类是指对普莱姆的规格说明有意义的、合理的输入数据集合。 在具体问题中，有效等价类可以是一个也可以是多个。 无效等价类：无效等价类是指，由普拉姆的规格说明不合理或无意义的输入数据构成的集合。 对于具体问题，无效的等效类至少需要一个，也可能存在多个。3.2、等价类、输入条件有效等价类无效等价类输入条件：项目数从1到999有效等价类输入“1项目数999”无效等价类输入“项目数999”、3.3、2.1.2古典例、“作为三边的边长输入三个整数构成三角形。 该三角形为一般三角形、二全等三角形及全

12、等三角形时，分别进行计算的投入产出条件、3.4、有效等价类、有效等价类的测试用例： a b c包复等价类编号34(1)-(7)4(5)1)-(7)、(8) 4 5 5 (1)-(7)、(9) 5 4 5 (1)-(7) (10 ) 4 4 4 (1)-(7)、(1.1 )、3.5、无效等价类、3.6、2.1.3问题讨论、问题：给出以下有效无效等价类输入条件：“统计全国各省、市、自治区人口”输入条件：“标识符应以字母开头”输入条件：长度为1-20的字符串输入条件：数据库也可以指出，采用NOT NULL、3.7、2.2测试方法因果图、因果图方法，有助于以一定的步骤高效地选择测试用例，同时也存在云同

13、步计程仪方案的规格说明问题。 根据3.8，2.2.1因果图，4种符号分别表示在规格说明中对4种因果关系因果图使用简单的逻辑符号，用直线连接左右节点。 左节点表示输入状态(或原因)，而右节点表示输出状态(或结果)。 Ci示出了原因，通常被置于图左边的ei示出了结果，而通常被置于图的右边。 ci和ei都取值0或1，其中0指示没有出现状态，1指示出现了状态。 3.9、关系、恒等：如果ci为1，则ei也为1，否则ei为0。 非：如果ci是1，则ei是0，否则ei是1。 可替换地，如果c1、c2或c3是1，并且ei不是1，则ei是0。 or可以是任意输入。 and:c1和c2都是1的话，ei不是1的话，

14、ei就是0。 and有任意输入。在云同步中没有出现在4.0、约束、输入状态之间可能存在依赖关系的输入条件本身。 在输出状态之间也经常存在制约，对于4.1、输入条件制约类型、输入条件的制约有e制约(排他) :只能有a和b中的一个，a和b不能成为云同步1这4种。 I约束条件(或):a、b和c中的至少一个必须是1。 也就是说，不能将a、b、c设为云同步0。 o约束(唯一) a和b必须是一个，只有一个是一个。 r约束(要求) :对于a是1的情况，b必须是1，即，对于a是1的情况，b不可能是0。4.2、输出条件限制类型、输出条件限制为： m限制(强制):结果a为1时，结果b为强制0。 在4.3、2.2.

15、2程序、分析计程仪程序的规格说明中，原因和结果是什么？ 原因常常是输入条件和输入条件的等价类。 其结果，成为输出条件。 分析计程仪计划的规格说明中的意义内容，表现为连接各个原因和各个结果的“因果图”。 由于4.4、程序、语法和环境的制约，一些原因和结果的组合是不可能的。 为了说明这些个的特定状况，在因果关系图中使用了几个特殊的符号来表示制约。 把因果关系图转换成判定表。 将判定表的各列所示的状况作为测试用例。4.5、2.2.3例、软件规格书“第1列的文字必须是a或b，第2列的文字必须是数字。 在这种情况下，修改文件。 但是，如果第一列的字符不正确则给出信息l，如果第二列的字符不是数字则给出信息

16、m”、4.6、原因和结果：第一列的字符是a，第二列的字符是b，3.2列的字符是数字。 结果：给出修正2.1文件的2.2信息l的2.3信息m。4.7、因果图和约束因果图、1.1认为不可能使中间节点原因1和原因2为云同步1，对因果关系图施加e约束。根据4.8、判定表、因果图制作如下的判定表，对于表中的8个情况下的左侧2列，由于不能发生原因和原因为云同步1，所以应该排除这两个情况。 表的最下面一栏显示了6个案例的测试用例。 这是我们需要的数据。 在4.9、2.2.4讨论、比较复杂的问题中，该方法非常有效，测试用例在设计阶段采用哪个开发项目时，不需要绘制因果关系系谱图，可以利用直接判定表设计测试用例。

17、 5.0，2.3测试案例设计方法的边缘值分析，在软件设计和项目群编制中，经常不注意规格说明中的输入结构域边界和输出结构域边界，可以出错。 实践证明，在设计测试用例时，必须注重边界附近的处理，为了检验边界附近的处理而设计测试用例，取得了非常好的测试效果。5.1、2.2.1边的值的分析依照原则，如果输入条件规定了取值的范围，或者规定了值的个数，则可以表示刚超出该范围的边界内和范围的边界外的值，或者分别表示比最大、最小个数和最小小且比最大个数稍大的个数例如，普计程仪拉姆的规格说明中规定“重量在1.0公里到5.0公里范围内的邮件的邮费的计算式是”。 测试用例应该是1.0和5.0，50.01，49.99

18、，9.99和50.01等。 如果另一个问题规范规定“一份输入文档可以包含1255个查询密码”，测试用例必须取1和255，取0和256等。5.2、根据以下的原则，在规格书中记载的每个输出条件中使用上述(1)的原则。 例如，在某计程仪计划的规格说明中计算为“每月的保险费扣除额是0到116525元”，其测试用例优选为000和11652，进而优选为001和116526等。 如果另一个计程仪计划属于信息检索系统，每次都要求显示“最多一个信息摘要”，此时应该考虑的测试用例为1和4，以及0和5等。、5.3，请注意，如果流程规范中的输入或输出字段是有序集合(如顺序文件、表等)，则选择有序定径套的第一个和最后一个元素作为测试