1、第3章 黑盒测试方法,主要内容,定义 基于经验和直觉推测程序中可能存在的各种错误, 针对这些错误设计相应的测试用例 常作为一种补充测试用例的设计方法 Steps 错误猜测设计法是一个在很大程度上凭直觉进行的比较随意的过程 用列表举出程序中可能有的错误和容易发生错误的特殊情况 基于该列表构造测试用例,3.8 错误推测法,功能图法是用功能图形象地表示程序的功能说明，并机械地生成功能图的测试用例，功能图方法是一种黑盒白盒混合用例设计方法。 程序功能说明包括动态说明和静态说明。 动态说明：描述输入数据的次序或转移次序。 静态说明：描述输入条件和输出条件之间的对应关系。,3.9 功能图法,功能图法,每个
2、程序的功能通常由静态说明和动态说明组成，静态说明描述了输入条件和输出条件之间的对应关系，而动态说明描述了输入数据的次序或者转移的次序。 功能图法就是为了解决动态说明问题的一种测试用例的设计方法 功能图由状态迁移图（state transition diagram，STD）和逻辑功能模型（logic function model， LFM）构成,功能图：功能图模型由状态迁移图和逻辑功能模型构成。 状态迁移图：用于表示输入数据序列以及相应的输出数据；由输入数据和当前状态决定输出数据和后续状态。 逻辑功能模型：用于表示在状态中输入条件和输出条件的对应关系。由输入数据决定输出数据。此模型只适用于描述静
3、态说明。,状态迁移图,状态迁移图，描述系统状态变化的动态信息动态说明，由状态和迁移来描述，状态指出数据输入的位置（或时间），而迁移则指明状态的改变 。用节点表示状态，用弧度代替迁移，则状态迁移图就可转化成一个程序的控制流程图形式。,逻辑功能模型,逻辑功能模型，描述系统状态的静态信息静态说明，由布尔函数组成，要依靠决策表或因果图表示的逻辑功能。逻辑功能模型用于表示状态输入条件和输出条件之间的对应关系。逻辑功能只适合于静态说明，输出数据仅仅由输入数据决定。,下表就是通过决策表来描述系统登录功能的用户名、密码的输入组合和状态的对应关系。,逻辑功能模型,逻辑功能模型的决策表形式（1成功，0失败）,如何
4、设计测试用例？,从功能逻辑模型（决策表或因果图）导出局部测试用例，即设计测试用例覆盖某个状态的各种输入数据的组合 从状态迁移图导出整体的测试用例，以覆盖系统（程序）控制的逻辑路径,功能图法设计测试用例，就是如何覆盖软件所表现出来的所有状态，可以转化为两个层次的测试用例,功能图法是综合运用黑盒方法和白盒方法来设计测试用例，即整体上选用白盒方法路径覆盖、分支和条件覆盖等，而局部上选用的是黑盒方法决策表或因果图方法, 生成局部测试用例：在每个状态中，从因果图生成局部测试用例； 测试路径生成：利用上面的规则生成从初始状态到最后状态的测试路径； 测试用例合成：合成测试路径与功能图中每个状态的局部测试用例。结果是初始状态到最后状态的一个状态序列，以及每个状态中输入数据与对应输出数据的组合； 采用条件构造树测试用例的合成算法。,功能图生成测试用例步骤如下：,
