金陵科技学院汇报-软件质量保证与测试 SPOC实践.ppt

教学设计实例：讲解Hyman分别测试法 四、教师感受 教学内容 备注 什么是Hyman分别测试法呢？ 设问，吸引学生注意力。 为了帮助大家理解，我们先来做一个类比。 张三和李四两人都到某个城市游玩，他们每人各自选取了5个景点参观游览。 通过类比来帮助学生理解。 如果他们各自选取的 5 个景点重合度高说明什么问题？重合度低又说明什么问题呢？ 提出问题，引发学生思考 教学设计实例：讲解Hyman分别测试法 四、教师感受 教学内容 备注 我们来分析一下，如果这个城市只有 5 个景点，那么他们的选择一定是完全重合的；如果这个城市的景点非常多，那么他们选择的空间就很大，重合的概率就会小。 思维引导，帮助理解。 经过分析我们不难得知，如果他们各自选取的 5 个景点重合度高，则说明他们可以选择的余地小，也就是说这个城市总的景点数量少。而如果重合度低，则说明总的景点数多，他们可以选择的余地大。 得出合理的结论。 教学设计实例：讲解Hyman分别测试法 四、教师感受 教学内容 备注 引入正题。 4. 案例教学很有用 提高兴趣 帮助理解 培养实践能力 四、教师感受 错误Error 缺陷Fault 失败Failure 外部 内部 缺陷 Fault 3.被外部感知 错误Error 2.输入符合特定条件 1.执行缺陷 所在代码 失败Failure Execution Infection Propagation PIE = Propagation + Infection + Execution 传导模型 PIE 模型：案例 public static void MY_AVG (int [ ] numbers) { int length = numbers.length; double V_avg, V_sum; V_sum = 0.0; for (int i = 1; i length; i++) { V_sum += numbers [ i ]; } V_avg = V_sum / (double) length; System.out.println (V_avg: + V_avg); } 代码有问题吗？ //缺陷Fault public static void MY_AVG (int [ ] numbers) { int length = numbers.length; double V_avg, V_sum; V_sum = 0.0; for (int i = 1; i length; i++) { V_sum += numbers [ i ]; } V_avg = V_sum / (double) length; System.out.println (V_avg: + V_avg); } PIE 模型：案例 public static void MY_AVG (int [ ] numbers) { int length = numbers.length; double V_avg, V_sum; V_sum = 0.0; for (int i = 1; i length; i++) { V_sum += numbers [ i ]; } V_avg = V_sum / (double) length; System.out.println (V_avg: + V_avg); } 情况1： 没有对该程序 段的调用，缺陷代 码没有被执行到。 PIE 模型：案例 缺陷Fault 错误Error 失败Failure × × 缺陷Fault public static void MY_AVG (int [ ] numbers) { int length = numbers.length; double V_avg, V_sum; V_sum = 0.0; for (int i = 1; i length; i++) { V_sum += numbers [ i ]; } V_avg = V_sum / (double) length; System.out.println (V_avg: