软件测试专栏 | ||
---|---|---|
上一篇 | 主目录 | 下一篇 |
【前言】
1 简介
结构性测试方法
基于被测程序的源代码,支持严格定义、数学分析和精确度量,是白盒
测试。
程序图
给定采用命令式程序设计语言编写的一段程序,其程序图是一种有向图,图中的节点表示语句片段(if-than-else中的if),边表示控制流。
2 DD路径&DD路径图
DD路径:
决策到决策路径,从决策语句的“出路开始”,到下一个决策语句的“入路”结束。这种序列中没有内部分支,因此对应节点像排列起来的一行多米诺骨牌,当第一张牌倒后,序列中其他牌 也会倒下。
路径称为链:起始和终点不同,每个节点的入度和出度都是1 。
DD路径图:
有向图,节点是表示其程序图 的DD路径,边表示连续DD路径之间