件测试方法二.ppt

3.3 静态测试与动态测试 定义:在不执行软件的条件下有条理地仔细审查软件设计、体系结构和代码，从而找出软件缺陷的过程。有时也称为结构分析。 作用: 尽早发现软件缺陷，以找出动态黑盒白盒测试难以揭示或发现的软件缺陷 为接受该软件测试的黑盒测试员进行测试设计测试案例提供思路，他们不必了解代码细节，但是根据审查备注，可以确定有问题或者容易存在软件缺陷的特性范围 问题:认为会减慢软件开发过程。 3.5 形式化测试 为解决自然语言设计和描述带来的问题，提出形式化方法。 形式化方法的寄出是熟悉和逻辑学，通过严格的数字逻辑和形式语言完成软件定义，然后通过相应工具进行自动化分析、编码和验证。 UML就是一种半形式化方法。 3.8 ALAC测试和随机测试法 ALAC测试（act-like-customer）: 像客户一样，针对最常用的功能进行测试。 特别场合：演示版、开放预算低、没有时间测试。 降低成本、缩短测试时间 随机测试 基于概率统计的思想，强调人工的自由测试，不收测试用例的束缚 小结 3.1 白盒测试方法 3.2 黑盒测试方法 3.3 静态测试和动态测试 3.4 主动测试和被动测试 3.5 形式化测试方法 3.8 ALAC测试和随机测试方法 问题1:使用场景法设计测试场景.基本流/备用流使用表1对应的字母编号 问题2:给出测试用例,将表中的输入条件和预期输出补充完整 答案 问题一 场景1:A 场景2:B 场景3:BC 场景4:BCD 场景5:BCE 答案 问题2 编号 用例名称 输入条件 输出条件 1 省市层接收公文 中心层下发公文 省市层能查看已接收的公文,中心层可以查看下发公文 2 省市层新建并保存公文 无 省市层能查看新增的公文,公文状态未下发 3 省市层新建并下发公文 无 省市层能查看新增的公文,公文状态已下发 4 省市层修改公文 存在未下发的公文 修改公文,并保存 5 省市层删除公文 存在未下发的公文 修改公文,并予以删除 Q A 软件测试方法和技术 - Ch.3软件测试方法 主讲教师：郭晓燕 第三章 软件测试方法 3.1 白盒测试方法 3.2 黑盒测试方法 3.3 静态测试和动态测试 3.4 主动测试和被动测试 3.5 形式化测试方法 3.6 基于风险的测试 3.7 模糊测试方法 3.8 ALAC测试和随机测试方法 3.2.5 因果图法测试用例设计 多种输入条件的组合，产生多种结果设计测试用例。 设计步骤： 分割功能说明书，识别“原因”和“结果”，并加以编号。 分析程序规格说明的描述中，哪些是原因，哪些是结果。原因常常是输入条件或是输入条件的等价类，而结果是输出条件。 根据原因与结果之间的关系画出因果图 标明约束条件 把因果图转换成判定表。 为判定表中每一列表示的情况设计测试用例。 因果图 通常在因果图中，用Ci表示原因，Ei表示结果，其基本符号如下图所示。各结点表示状态，可取“0”或“1”。“0”表示某状态不会出现，“1”表示某状态出现 因果图法 由于语法或环境的限制，有些原因和结果的组合情况是不可能出现的。为表明这些特定的情况，在因果图上使用若干标准的符号标明约束条件。从输入原因考虑，有4种约束，如下图所示。 E(互斥)：表示a、b两个原因不会同时成立，两个中最多有一个可能成立。 I(包含)：表示a、b、c这三个原因中至少有一个必须成立。 O(唯一)：表示a、b当中必须有一个，且仅有一个成立。 R(要求)：表示当a出现时，b也必须出现。a出现时b不可能不出现。 M(屏蔽)：表示当a是1时，b必须是0。而当a为0时，b的值不定。 举例 某软件规格说明中包含这样的要求：第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改。但如果第一列字符不正确，则给出信息L;如果第二列字符不是数字，则给出信息M。 分析原因和结果 原因： 1----第一列字符是A; 2----第一列字符是B; 3----第二列字符是一数字。  结果： 21----修改文件;22----给出信息L;23----给出信息M。 因果图 1 2 3 11 21 22 23 举例 有一个处理单价为1元的盒装饮料的自动售货机软件。若投入1元硬币，按下“可乐”、“雪碧”或“红茶”按钮，相应的饮料就送出来。若投入的是两元硬币，在送出饮料的同时退还1元硬币。 根据对这一段说明的分析，列出原因和结果。 原因： ①投入1元硬币； ②投入2元硬币； ③按“可乐”按钮； ④按“雪碧”按钮； ⑤按“红茶”按钮。 中间状态：①已投币；②已按钮。 结果： ①退还1元硬币； ②送出“可乐”饮料； ③送出“雪碧”饮料；④送出“红茶”饮料。 因果图 1 2 3 4 5 6 7 8 9 10 11 输 入 投入1元硬币 (1) 1