软件测试重点

软件测试复习一、基本概念（选择。填空）1．测试步骤：TestDesign(测试设计)、TestAutomation(测试自动化)、TestExecution(测试执行)、TestEvaluation(测试评价)2．静态测试与动态测试的区别：简单的说静态测试不需要运行程序，直接看代码。动态测试需要运行程序。3．测试用例组成：测试用例值、期望结果、前缀值、后缀值。4．测试几种模型：Graphs(图)、Logic（逻辑表达式）、InputSpace(输入空间)、Syntax（语法）。模型测试步骤：定义测试需求、写测试用例、输入测试值、测试执行、测试脚本执行、测试结果、测试评价。5.SoftwareFault(软件故障)静态测试软件错误不一定导致软件失败SoftwareError(软件错误)动态测试SoftwareFailure(软件失败)6.软件失败的三个条件：Reachability(可达性)、Infection(影响)、Propagation(传播)。大概就是说一个软件的错误能够到达另一个地方，然后感染这个地方，并且这个地方也可以传播错误。7.测试设计两种：Criteria-Based(基于标准设计)、Hunman-Based(基于人设计)。8.Reach(n):子图能够到达n.通俗的说就是从n节点能够到达的节点集合。例子：9：初始节点：有入边，没有前驱节点。10.是不是有效测试图，就看该图有无初始节点。11.测试路径（TestPath）:从初始节点到终止节点的一条路径。12.根据谓词写子句：如（(ab)orG）and(xy)的谓词子句有：一、ab二、G，三xy.根据or、and等关键字来划分子句。13.软件测试阶段：单元测试（Unit）、集成测试、系统测试、确认测试。14.黑盒测试：从软件外部描述得到测试，包括规格说明、需求文档、设计文档。15.白盒测试：从软件源码内部结构得到的测试，包括分支结构、个别条件、语句。16.语法上可达：在图中存在这样的一个路径。17.语义上可达：通过用例值能够测试执行这样的一个路径。18.SimplePath(简单路径)：一个路径中节点ni到nj没有重复的节点，除非第一个节点和最后一个节点相同。19.PrimePath(主路径)：首先是一个简单路径，找不出一个简单路径包含此路径，此路径就是主路径。例：简单路径：简单写几个：[0],[1],[2],[3],[0,1],[0,1,3,0]主路径：[0,1,3,0]、[0,2,3,0]、[1,3,0,2]20.DU-pair(定义使用对)：（Li,Lj）表示一个变量值v在Li处定义，在Lj处使用。21.Def-clear(定义清除)：(Li,Lj)就是一个变量值v在除了在Li处定义、Lj出使用，中间路径均为定义或者使用。22.Du-path(定义路径)：一条定义清除的路径。（Li,Lj）就表示Li到Lj之间的路径。例：Du-path:[0,1,3,4]、[0,1,3,5],[0,2,3,4],[0,2,3,5]23.OldView（老测试）:根据软件测试阶段：单元测试、集成测试、系统测试、确认测试。24.NewView(新测试)：基础结构和标准的测试。25.CFG:（controlFlowGraph）控制流图。26.DFG:(DataFlowGraph)数据流图。27:FSM(有限状态机)：afinitestatemachine.28:软件测试是从需求设计开始。29：继承（Inheritance）：如果B类继承A类，那么A类中所有变量和方法B也拥有，并且B还有可以自定义变量和方法。二、大题1.节点覆盖：测试需求TR：覆盖所有节点。TR={0,1,2,3,4,5,6};测试路径TestPaths:写出几条路径使路径能够覆盖上面所有的点。TestPaths:[0,1,2,3,6]、[0,1,2,4,5,4,6]2.边覆盖：测试需求TR:覆盖所有的边。TR={(0,1),(0,2),(1,2),(2,3),(2,4),(3,6),(4,5),(4,6),(5,4)}测试路径:写出几条路径使路径能够覆盖上面所有的边。TestPaths:[0,1,2,3,6][0,2,4,5,4,6].二、更加代码来写出变量的first-user/last-def三、谓词、子句覆盖。四、控制流图，把代码转化为图变异测试语法描述两个有效和无效的字符串这两种类型可以产生出变异体一个变异体是一个有效字符串的一个变化变异体可能是有效或无效的字符串变异是基于“变异操作符”和“基础字符串”变异是什么?每当我们进行变异分析,我们使用定义良好的规则定义好的语法描述使系统变化由语法中发展出语法或对象基础字符串:一个语法中的字符串术语“基础”是参考代数的基础条件变异操作符:从语法中生成字符串变异的规则变体:一个应用程序变异操作的结果一个变异是一个字符串变异测试的关键是设计变异操作符有时变体字符串是基于基础字符串的有时它们直接派生自语法杀死变体:给定一个变体m属于M,对于一个推导D和一个测试t,当且仅当t在D上面的输出与t在m上面的输出不同时，t能够“杀死”m。变异覆盖(MC):对于每个mM,TR只包含一个需求能够杀死变体m.变异操作符覆盖(MOC):对于每个变异操作符,TR要只包含一个需求，就是创建一个变异的字符串m，它是从操作符产生的.变异产生式覆盖(MPC):对于每个变异操作符,TR包含几个需求,创建一个变异字符串m包括能够通过操作符变异的每个产生式.