软件测试STQA_Review.pptxVIP

赵卓宁 zhaozhn@163.com 2012年11月28日 软件测试与质量保证Software Testing and Quality Assurance课程总复习 2012~2103第一学期 基线 课程为首开课，教学资源还在积累完善中，教师和学生都有一个适应过程，根据学生的学习反馈情况，本次考试主要侧重于： 教材理论的识记 教材案例的理解 要求 系统阅读教材和课件，形成知识脉络 重视理论和概念 重视典型应用、案例 掌握必备词汇、熟悉术语的缩写 词汇表 analysis du-pairs integration predicate appropriate du-path invalid prefix automation dynamic junctive presence automation edge limitation pressure block equivalent major prime characteristic evaluation manifestation principle clause exclusive maximum prohibitively collapse exclusive OR measure propagation combinatorial execution minor propertie complete expected mutation quality concurrently expensive negation remaining consider external node requirement contains failure operator respect criteria fault overlap semantic defect feature pairwise specifications derivation goals possibly statement deriving input domain post-design syntactic disjoint inspection postfix verification （2012专用） 第一章 复习标签 测试工程师的活动，软件测试活动级别，测试用例，测试设计的形式，测试工程师的职责，软件故障，软件错误，软件失败，测试，测试失败，调试，黑盒测试，白盒测试，Beizer级别，基于覆盖标准的软件测试活动，传统基于开发阶段的软件测试，测试用例，面向对象测试分类，典型软件失败案例，需求分析与测试的关系，软件测试的局限性，RIP，影响覆盖标准的问题，静态测试，动态测试 第二章 复习标签 测试路径，游历，侧访，往返路径，简单路径，主路径，绕路而行，last-def，first-use，定义清纯的，最大努力的游历及其优点，基本数据流覆盖标准，程序的控制流程图绘制，节点覆盖，边覆盖，顺序约束，规格说明，图覆盖分类，路径表达式及运算规则，单位元操作符，最大路径长度，最小路径长度 第三章 复习标签 谓词，逻辑操作符，子句覆盖及分类，子句覆盖的个数估计，合取子句，析取子句，子句决定谓词，冗余项，冗余子句，路径积，唯真点，唯假点，限制性有效子句覆盖（RACC），不可行性和包含，异或连接两个表达式，UTPC，逻辑覆盖标准间的包含关系 第四章 复习标签 输入域模型，从块中识别有代表性值的策略，组合策略标准中各种覆盖中测试个数的估计，输入空间划分标准的包含关系 第五章 复习标签 正则表达式，语法可达，语义可达，变体，变体测试，基于程序的变体数目 题型：选择题（1.5分） 一个典型的需求是（ ） A. 通过访问一条特定的路径来满足 B. 通过游历一个特定的节点来满足 C. 通过游历一个特定的边来满足 D. 通过访问特定的节点或边来满足 D 考点：访问的定义是充分的，游历的定义更严谨。P(CN)23 题型：填空题（1.5分） 设计元素的图覆盖通常是从为软件组件间的 创建图入手。绝大部分设计元素的测试标准都要求软件各组件间是可以 。 耦合（coupling） 相互访问的 考点：侧重于测试实践的关键点和关系。P(CN)50 题型：判断题（1分） （ ）数据流连接是发现软件错误的丰富源泉 （ ）如果对于谓词P中的子句a, RACC覆盖不可行，而CACC可行，但CACC是不可代替RACC的。  考点：侧重于一般性表述，考查理解程度。P(CN)51  考点：侧重于概念，考查理解程度，包含关系图。P(CN)88 题型：翻译题（3分） General Inactive Clause Coverage (GICC) : For