软件测试STQA_Review.pptx

2012~2103第一学期软件测试与质量保证Software Testing and Quality Assurance课程总复习赵卓宁zhaozhn@163.com2012年11月28日基线课程为首开课，教学资源还在积累完善中，教师和学生都有一个适应过程，根据学生的学习反馈情况，本次考试主要侧重于：教材理论的识记教材案例的理解要求系统阅读教材和课件，形成知识脉络重视理论和概念重视典型应用、案例掌握必备词汇、熟悉术语的缩写词汇表analysisdu-pairsintegrationpredicateappropriatedu-pathinvalidprefixautomationdynamicjunctivepresenceautomationedgelimitationpressure blockequivalentmajor primecharacteristicevaluationmanifestationprincipleclauseexclusivemaximumprohibitivelycollapseexclusive ORmeasurepropagationcombinatorial executionminorpropertiecompleteexpectedmutation qualityconcurrentlyexpensivenegationremainingconsiderexternalnoderequirementcontains failureoperatorrespectcriteriafaultoverlapsemanticdefectfeaturepairwisespecificationsderivationgoalspossibly statementderivinginput domainpost-designsyntacticdisjointinspectionpostfixverification（2012专用）第一章 复习标签测试工程师的活动，软件测试活动级别，测试用例，测试设计的形式，测试工程师的职责，软件故障，软件错误，软件失败，测试，测试失败，调试，黑盒测试，白盒测试，Beizer级别，基于覆盖标准的软件测试活动，传统基于开发阶段的软件测试，测试用例，面向对象测试分类，典型软件失败案例，需求分析与测试的关系，软件测试的局限性，RIP，影响覆盖标准的问题，静态测试，动态测试第二章 复习标签测试路径，游历，侧访，往返路径，简单路径，主路径，绕路而行，last-def，first-use，定义清纯的，最大努力的游历及其优点，基本数据流覆盖标准，程序的控制流程图绘制，节点覆盖，边覆盖，顺序约束，规格说明，图覆盖分类，路径表达式及运算规则，单位元操作符，最大路径长度，最小路径长度第三章 复习标签谓词，逻辑操作符，子句覆盖及分类，子句覆盖的个数估计，合取子句，析取子句，子句决定谓词，冗余项，冗余子句，路径积，唯真点，唯假点，限制性有效子句覆盖（RACC），不可行性和包含，异或连接两个表达式，UTPC，逻辑覆盖标准间的包含关系第四章 复习标签输入域模型，从块中识别有代表性值的策略，组合策略标准中各种覆盖中测试个数的估计，输入空间划分标准的包含关系第五章 复习标签正则表达式，语法可达，语义可达，变体，变体测试，基于程序的变体数目题型：选择题（1.5分）D考点：访问的定义是充分的，游历的定义更严谨。P(CN)23一个典型的需求是（ ）A. 通过访问一条特定的路径来满足B. 通过游历一个特定的节点来满足C. 通过游历一个特定的边来满足D. 通过访问特定的节点或边来满足题型：填空题（1.5分）耦合（coupling）相互访问的考点：侧重于测试实践的关键点和关系。P(CN)50设计元素的图覆盖通常是从为软件组件间的 创建图入手。绝大部分设计元素的测试标准都要求软件各组件间是可以 。题型：判断题（1分）?考点：侧重于一般性表述，考查理解程度。P(CN)51 ? 考点：侧重于概念，考查理解程度，包含关系图。P(CN)88（ ）数据流连接是发现软件错误的丰富源泉（ ）如果对于谓词P中的子句a, RACC覆盖不可行，而CACC可行，但CACC是不可代替RACC的。题型：翻译题（3分）广义无效子句覆盖(GICC) :对每个 p 属于 P 和每个主子句 ci 属于Cp, 选择次子句 cj, j != i, 使得 ci 不决定 p. 对于次子句 cj的选择值不需要相同，当 ci 为 true 与当 ci 为 false一样, 即,对于所有 cj ， cj(ci = true) = cj(ci = false) 或对于所有 cj ， cj(ci = true) != cj(ci = false