软件测试重点.docVIP

软件测试复习 基本概念（选择。填空） 测试步骤：Test Design(测试设计)、Test Automation(测试自动化)、Test Execution(测试执行)、Test Evaluation(测试评价) 静态测试与动态测试的区别：简单的说静态测试不需要运行程序，直接看代码。动态测试需要运行程序。 测试用例组成：测试用例值、期望结果、前缀值、后缀值。 测试几种模型：Graphs(图)、Logic（逻辑表达式）、Input Space(输入空间)、Syntax（语法）。 模型测试步骤：定义测试需求、写测试用例、输入测试值、测试执行、测试脚本执行、测试结果、测试评价。 5. Software Fault(软件故障) 静态测试 软件错误不一定导致软件失败 Software Error(软件错误) 动态测试 Software Failure(软件失败) 6.软件失败的三个条件：Reachability(可达性)、Infection(影响)、Propagation(传播)。大概就是说一个软件的错误能够到达另一个地方，然后感染这个地方，并且这个地方也可以传播错误。 7.测试设计两种：Criteria-Based(基于标准设计)、Hunman-Based(基于人设计)。 8.Reach(n):子图能够到达n.通俗的说就是从n节点能够到达的节点集合。 例子： 9：初始节点：有入边，没有前驱节点。 10.是不是有效测试图，就看该图有无初始节点。 11.测试路径（Test Path）:从初始节点到终止节点的一条路径。 12.根据谓词写子句：如（(ab) or G）and (xy)的谓词子句有：一、ab二、 G，三xy.根据or、and等关键字来划分子句。 13.软件测试阶段：单元测试（Unit）、集成测试、系统测试、确认测试。 14.黑盒测试：从软件外部描述得到测试，包括规格说明、需求文档、设计文档。 15.白盒测试：从软件源码内部结构得到的测试，包括分支结构、个别条件、语句。 16.语法上可达：在图中存在这样的一个路径。 17.语义上可达：通过用例值能够测试执行这样的一个路径。 18.Simple Path(简单路径)：一个路径中节点ni到nj没有重复的节点，除非第一个节点和最后一个节点相同。 19.Prime Path(主路径)：首先是一个简单路径，找不出一个简单路径包含此路径，此路径就是主路径。 例：简单路径：简单写几个：[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.Old View（老测试）:根据软件测试阶段：单元测试、集成测试、系统测试、确认测试。 24.New View(新测试)：基础结构和标准的测试。 25.CFG:（control Flow Graph）控制流图。 26.DFG:(Data Flow Graph)数据流图。 27:FSM(有限状态机)：a finite state machine. 28:软件测试是从需求设计开始。 29：继承（Inheritance）：如果B类继承A类，那么A类中所有变量和方法B也拥有，并且B还有可以自定义变量和方法。 二、大题 1. 节点覆盖： 测试需求TR：覆盖所有节点。 TR={0,1,2,3,4,5,6}; 测试路径Test Paths:写出几条路径使路径能够覆盖上面所有的点。 Test Paths:[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) } 测试路径: 写出几条路径使路径能够覆盖上面所有的边。 Test Paths: [ 0, 1, 2, 3, 6 ] [ 0, 2, 4, 5, 4, 6 ]. 二、更加代码来写出变量的first-user/last-def 三、谓词、子句覆盖。 四、控制流图，把代码转化为图 变异测试 语法描述两个有效和无效的字符串