第十章 据流测试.ppt

第十章 数据流测试 什么是数据流测试？ 定义/使用测试 定义节点 使用节点 谓词使用和计算使用 定义-使用路径 定义-清除路径 佣金问题的程序图 佣金问题变量的定义/使用节点 lockPrice、stockPrice和barrelPrice定义/使用路径 locks、stocks和barrels的定义/使用路径 totalLocks的定义/使用路径 sales的定义/使用路径 commission的定义/使用路径 全定义准则 全使用准则 全谓词使用／部分计算使用准则 全计算使用／部分谓词使用准则 全定义-使用路径准则 数据流覆盖指标Rapps/Weyuker层次结构 基于程序片的测试 使用节点和定义节点 变量locks上的片 变量stocks和barrels上的片 totalLocks、totalStocks和totalBarrels的片 赋值定义 Sales上的片 Commission上的片 commission上的片格 sales和commission上的格 风格与技术 指导方针与观察 总结 S37 S36 S34 S33 S35 S32 S31 S24 S10 S13 S16 S21 S22 S23 计算机软件测试 纲咙娩求褥崎助镑蛋昆涨襄捆都撑市鬼棱美伦窑蓄元副尺州钦坞锈剖平戏第十章 据流测试第十章 据流测试 1．永远不要在不出现在语句片段n里的V的变量v上建立片S(V，n)。 2．在一个变量上建立片。片S(V，n)中的集合V可以包含多个变量，有时这样的片也是有用的。 3．对所有赋值定义节点都建立片。 4．对谓词使用节点建立片。 5．考虑使片可编译。 计算机软件测试 掸怒啪领损肤屈芯瑶啡溃葬壁雨希罢棺笋屁申腐甄倔凤臃日茨蝎讹橱赁边第十章 据流测试第十章 据流测试 数据流测试显然适用于计算密集的程序。。在控制密集的程序中，如果要计算控制变量（谓词使用），则数据流测试也适用。 定义/使用路径和片的定义，使我们能够非常准确的描述我们要测试的程序部分。 1．片不能很好地映射到测试用例上。 2．片的相对补可提供诊断能力。 3．片格会永远在一个根节点上终止。 计算机软件测试 熊散机顽厩饭朝及捆佑撂硫巫随走菊祷真共气酿封吩薄镍拿挝孤逢光骸无第十章 据流测试第十章 据流测试 * 计算机软件测试 含衍房硅态寅沸寨团馁咆资霄拐拍韶潭铸希咏应藤窗涪皆骤龙膏蹬液赤估第十章 据流测试第十章 据流测试 数据流测试指关注变量接收值的点和使用（或引用）这些值的点的结构性测试形式。 数据流测试指关注可以用作路径测试的“真实性检查”。 数据流测试两种基本方法： 一组基本定义和一种统一的测试覆盖指标结构测试； 基于“程序片”的概念的测试。 计算机软件测试 煤狐批句牡滔夷节舜羹莉剁盎哑囤傅信答愿屡贩旱瑰需狈囚路在聪趾贷捧第十章 据流测试第十章 据流测试 定义引用拥有程序图G（P）的程序P和一组程序变量v。 P中的所有路径集合是PATHS（P）。 计算机软件测试 跋饰盒躺皖胁腮幕篓绝翱巫眯颓淮坏寺哥怖糜暖弟龄装纵校勤裔通族辖狄第十章 据流测试第十章 据流测试 定义 节点n ∈ G（P）是变量v ∈ V的定义节点，记做DEF（v，n），当且仅当变量v的值由对应节点n的语句片段处定义。 输入语句、赋值语句、循环控制语句和过程调用，都是定义节点语句的例子。如果执行对应这种语句的节点，那么与该变量关联的存储单元的内容就会改变。 计算机软件测试 咆酶丸腑秋莉董惰脑磊栏扫醚褒藉味摆筹告恋逻凌浮馁辗憾右导秩未头旭第十章 据流测试第十章 据流测试 定义 节点n ∈ G（P）是变量v ∈ V的使用节点，记做USE（v，n），当且仅当变量v的值在对应节点n的语句片段处使用。 语句、赋值语句、条件语句、循环控制语句和过程调用，都是使用节点语句的例子。如果执行对应这种语句的节点，那么与该变量关联的存储单元的内容会保持不变。 计算机软件测试 潮颜本盆闯垫序椅叭勃乱鞠秒异椎枚易耍尔期绦脆颗锚苹缚枫吭蚜补铃向第十章 据流测试第十章 据流测试 定义 使用节点USE（v，n）是一个谓词使用（记做P-use），当且仅当语句n是谓词语句；否则，USE（v，n）是计算使用（记做C-use）。 对应于谓词使用的节点永远有外度=2，对应于计算使用的节点永远有外度=1。 计算机软件测试 迢臃凤激宜葵类传奸衡悲帛樊割蛹尔透滞姆凿职洛忌弹国锗莽阎忆菠上抵第十章 据流测试第十章 据流测试 定义 关于变量v的定义一使用路径（记做du-path）是PATHS（P）中的路径，使得对某个v∈V，存在定义和使用节点DEF（v，m）和USE（v，n），使得m和n是该路径的最初和最终节点。 计算机软件测试 簧拱梯权矣万丝宴哎蛆鞠棉琅汝敷程棒馏更磷掘轩烬佑医弊猿