微课教学设计方案(1).docVIP

微 课 教 学 设 计 方 案 作品标题 逻辑覆盖 参赛教师 景国良 所属学院 计算机科学与工程学院 适用对象 计算机科学与技术专业 信息与计算科学专业 所属课程 软件工程 使用教材 《软件工程》 张海藩编著 清华大学出版社 所属学科 工学 所属专业类 计算机类 时长 10分35秒 相关知识点 逻辑覆盖的三种基本方法 教 学 背 景 以江苏科技大学“卓越工程师教育培养计划”为立足点，以培养“卓越软件项目开发人才”为切入点，软件工程是计算机科学与技术专业的专业基础课，是学习如何将系统化的、规范化的、可量化的方法应用于软件开发、运行和维护，即将工程化方法应用于软件开发的一门重要课程，“测试”是软件工程生命周期中工作量最大的周期，有效的测试计划和规程，可以引导有秩序的构造软件，并且在构造过程中能够发现各阶段引入的错误。 本微课主题“逻辑覆盖”，是白盒测试技术中最典型的运用方法，通过有选择的执行程序中某些最有代表性的通路，简单高效的对程序进行测试并查找错误。培养学生研究视角，自顶向下，逐步求精的意识和能力，通过对应知识点的微课教学，采用教师部分出镜的方式，专注于知识点推导，缩短微课时间，不但提高课堂教学的辅助效果，同时还能提升学生课外自主学习的能力，并帮助学生进行各类程序竞赛的课外辅导工作，达到优化课内课外教学的效果。 教 学 目 标 1)、知识目标 a、了解软件测试需求和测试心理模型； b、理解穷举测试的不可行性，由此掌握逻辑覆盖的方法选择； c、理解掌握针对语句测试的语句覆盖； d、理解掌握针对判定式测试的判定覆盖； e、理解掌握针对判定条件测试的条件覆盖。 2)、能力目标 a、培养学生使用逻辑覆盖解决实际软件测试问题的能力； b、培养学生分析问题，处理问题，解决问题的能力； c、锻炼学生面对实际程序测试问题时设计测试数据的综合能力。 教 学 内 容 1、通过测试需求，测试心理揭示逻辑覆盖的本质； 2、通过穷举测试不可行性论述逻辑覆盖的基本方法选择； 3、实例分析逻辑覆盖第一种基本方法--语句覆盖； 4、实例分析逻辑覆盖第一种基本方法--判定覆盖；。 5、实例分析逻辑覆盖第一种基本方法--条件覆盖； 6、微课内容总结。 教 学 活 动 设 计 和 切 入 点 教学总时间：（片头15秒）+（微课教学10分20秒） 教学步骤 教学要点、难点、重点 教学 切入点 教学 手段 教学时间 知识要点 简要说明微课讲授的内容和知识点。 教师讲授 顺序引导 多媒体课件演示 25秒 概念引导 要点1：提出白盒测试技术概念，通过微软Exchange 2000和Windows 2000开发测试人员对比，论证测试工作量的庞大和复杂。 要点2：设计者与测试者心理对比，论证测试人员的组成需求。 教师讲授 概念分析实例对比 多媒体课件演示 知识概念 讲解 1分 10秒 方法分析 要点：通过简单的分支循环实例，展示穷尽测试的巨大时间开销，引导学生对测试方法的选择，提出逻辑覆盖的测试思路。 难点：穷举测试的不可行性， 教师讲授 图例说明 多媒体课件演示 程序视图 论证 1分 10秒 实例讲解 实例：单一条件判定和双条件判定组合程序。 重点：通过单一测试数据实现语句覆盖，向学生讲解他们最常用到的测试方法，最后指明语句覆盖的弱覆盖性和不全面性。 难点：语句覆盖的弱差错性 教师讲解 启发推导 分析归纳 多媒体课件演示 实例推导 讲解 1分 50秒 实例讲解 实例：单一条件判定和双条件判定组合程序。 重点：通过2组测试数据实现判定覆盖，向学生讲解如何在既满足语句覆盖的情况下，实现对每种判定的每种可能都进行真假测试。 难点：实现判定覆盖即实现语句覆盖 教师讲解 启发推导 分析归纳 多媒体课件演示 实例推导 讲解 2分 10秒 实例讲解 实例：单一条件判定和双条件判定组合程序。 重点：通过假定测试条件框架，设计2组测试数据实现条件覆盖，向学生讲解如何针对单一判定单一条件和同一判定中不同条件的可能性进行复杂测试。 难点：多条件测试数据设计 教师讲解 启发推导 分析归纳 多媒体课件演示 实例推导 讲解 3分 05秒 课堂总结 总结测试需求，测试心理，穷举测试，语句覆盖，判定覆盖，条件覆盖的相关知识要点及其前后联系。 教师讲授 多媒体课件演示 30秒 教 学 方 法 和 过 程 对微课教学内容进行精心的组织，采用“知识要点—概念引导—方法分析—实例讲解—课堂总结”的微课教学模式，通过多媒体课件讲授“逻辑覆盖”这一知识点。讲授过程中注重启发推导和实例分析，并对微课视频配以字幕，增强前后知识点语境的联系和理解，充分培养学生处理实际程序测试问题的能力。 1）知识要点 首先对本节微课的主要内容进行概要性的论述，一句