软件测试-授课课件：第2次-3+(第3章+测试分析与设计——测试方法).pptVIP

因果图法是一种比较高效的测试用例设计方法，它使用输入输出数据之间的因果关系来有效的降低了测试用例的数目 三个或以上原因引起一个原因，最好使用中间状态 决策表通过增加了不可能选项，来否决现实中不可能的情况。 1、原因和原因之间，或原因与结果之间较为复杂，有一定的约束关系。我们可以使用决策表法直接来设计测试用例，而不用画因果图，这一般是在原因与结果之间非常清晰，需求已经比较明确的情况下。或者是原因与原因之间没有约束关系的情况下。 2、因果图法一般在查询模块、逻辑处理模块方面，处理较为合适。因为这些输入变量间一般都有一定的约束关系，例如查询窗口，一般有大地域、小地域等关系。逻辑处理模块，一般有不同的输入会得到不同的结果情况，使用因果图有利于我们把这些输入和输出剖析清楚。 功能图方法其实是一种灰盒测试(因其兼有黑盒和白盒测试，所以称为灰盒测度比较体贴)用例设计方法； /view/c86eacec58fb770bf78a55ed.html /view/cbb09e0752ea551810a687bd.html 静态测试方法: (第5章会详细再讲) 程序结构分析 代码走查 代码审查 控制流分析 数据流分析 信息流分析 * * * * * 也可使用“图形矩阵” ? 独立路径：至少沿一条新的边移动的路径。（一条独立路径是至少包含有一条在其它独立路径中从未有过的边的路径。） * * 黑盒测试又称功能测试或数据驱动测试，是针对软件的功能需求/实现进行测试。 在已知软件应具有的功能的条件下，通过测试来检测每个功能是否符合需求，不考虑程序内部的逻辑结构。 “黑盒”法是穷举输入测试，只有把所有可能的输入都作为测试情况使用，才能以这种方法查出程序中所有的错误。 黑盒测试主要在开发后期进行。基于对需求、设计、用户要求的理解 黑盒测试关注输入、输出的信息域，而不关注软件的内部结构 进行黑盒测试的主要工作在于对整个系统的划分，即将系统划分为若干个“黑盒集合”；以及对某个“黑盒”进行测试。 严格的，可以按照输入变量来划分有效和无效等价类。即： 先按照X来划分有效等价类和无效等价类，然后再按照Y来划分有效等价类和无效等价类 最后再形成相应的测试用例。 X：有效等价类为： A=x=B ；无效等价类为：xB和Bx两个无效等价类 Y：有效等价类为：C=y=D ；无效等价类为：yC和Dy两个无效等价类 输入条件规定了输入值的集合 1、设计测试用例，尽可能的覆盖尚未覆盖的有效等价类。 2、设计测试用例，使得每一个新设计的测试用例只包含一个无效等价类，其他的选择有效等价类。 说明：在设计无效部分的测试用例的时候，有效等价类部分，可以任意选择。 2维 例如： 输入文件名介于file0101~file0120之间 边界值取为file0100，file0101，file0120，file0121 因果图法是一种比较高效的测试用例设计方法，它使用输入输出数据之间的因果关系来有效的降低了测试用例的数目 功能图方法是用功能图FD形式化地表示程序的功能说明，并机械地生成功能图的测试用例。 功能图模型由状态迁移图和逻辑功能模型构成。 状态迁移图用于表示输入数据序列以及相应的输出数据。在状态迁移图中，由输入数据和当前状态决定输出数据和后续状态。 逻辑功能模型用于表示在状态中输入条件和输出条件之间的对应关系。逻辑功能模型只适合于描述静态说明，输出数据仅由输入数据决定。 测试用例则是由测试中经过的一系列状态和在每个状态中必须依靠输入/输出数据满足的一对条件组成。 功能图构成 从功能图生成测试用例，问题的关键是如何从状态迁移图中选取测试用例。若用节点代替状态，用弧线代替迁移，则状态迁移图就可转化成一个程序的控制流程图形式。问题就转化为程序的路径测试问题了。 测试用例生成方法 状态迁移图的步骤：　　1、画出状态迁移图；　　2、列出状态——事件表；　　3、得到状态转换树；　　4、推出测试路径；　　5、根据测试路径编写测试用例。  关于状态迁移图法 手机中MP3播放功能状态-事件表如下，请用状态迁移法设计用例。其中没有选择MP3曲目时不能按任何键，并且当MP3曲目在起点时不能按R(倒)键，当MP3曲目在末端时不能按P（播放）、F（进）键。? 功能图法-example 画出的状态迁移图如下： 功能图法-example 得到状态-事件表如下： 功能图法-example 根据状态-事件表，得到状态树如右： 功能图法-example 以上的每一条路径，都是一个测试用例： 功能图法-example 功能图法-example 功能图法-example 功能图法-example 功能图法-example 功能图法-example 功能图法-example 功能图法-exam