翔翔的博客

bug分类：​ Fault：静态存在于软件当中的缺陷​ 由于在coding过程当中写错了​ Error：在运行过程中，运行到fault，触发了一个错误的中间状态​ Failure（失效）：error一直传播到软件的外面，使得测试人员或用户能观测到这个失效的行为PIE模型：​ 观测到一个failure需要三个必要条件：​ · 执行：必须执行这个错误的代码​ · 感染：执行错误代...

测试用例​ 测试输入（测试数据）​ 测试预言（预期输出）​ 其他（环境）测试 vs 调试​ 测试是为了发现bug，执行软件去发现是否失效（failure）​ 调试时为了修复bug，定位、理解、修正faultverification vs validation​ verification：确认规格文档和实现是否一致，实现是否满足规格文档​ validation（确认）：通常指确认规...

源代码 =》 控制流图规格文档 =》 有限状态机设计图图​ 由点（顶点、节点）和边构成的集合​ 点的集合是一个有穷非空的集合V​ 边来自于点对，构成了边集E​ 初始节点、终结节点​ 哑结点：​ 指向所有的初始化节点 =》 归纳为只有一个初始节点​ 所有终结节点指向 =》 归纳为只有一个终结节点​ 路径：点的序列，相邻的两个点构成一个有效边（属于E）​ 路径的长度：边的...

可达​ 语法可达：通过语法构建的图结构中，存在一条路径可以到达这个子图​ 语义可达：在实际程序中，存在一个测试可以跑到子图覆盖：​ 存在一条测试路径p1可以覆盖顶点v：v恰好在路径p1中​ 存在一条测试路径p1可以覆盖边e：边e恰好在路径p1中​ 存在一条测试路径p1可以覆盖子路径p’：子路径p恰好在路径p1中结构覆盖​ 仅关注图的点和边​数据流覆盖​ 在图的电和边上标注数据...

顶点覆盖（Vertex Coverage, VC）​ 给定一张图，顶点覆盖派生出来的测试需求集TR是指，包括里面每个可达顶点。而对于里面每一个测试需求，即可达顶点，都可以从一个测试用例集T里面找到一个测试用例t，它对应的测试路径可以覆盖这个顶点。​ 则称测试用例集T满足顶点覆盖边覆盖（Edge Coverage, EC）​ 给定一张图，由此派生出来的测试需求集TR里面的每一个测试需求tr都...

数据流测试​ 关注点上的变量的操作是否正确关于变量的操作：​ · 定义：赋值、初始化……​ · 使用​ def(n) def(e)：节点n 边e上所有定义的变量​ use(n) use(e)：节点n 边e上所有使用的变量定义引用对（DU pair）：​ 控制流(li,lj)构成的DU对是指，在li定义，在lj使用的变量定义清晰（Def-clear）：​ 从li到lj的路径上...

随机测试（Random Testing）​ Test cases are generated purely at random​ ——Input domain（输入域） must be known​ ——Pick random points within input domain​ ——Automation（便于自动化）问题：​ 定义输入域​ 生成随机数​ 伪随机算法，如：平方取...