数据流测试-Read.pptVIP

第十章 数据流测试 什么是数据流测试？ 定义/使用测试 定义节点 使用节点 谓词使用和计算使用 定义-使用路径 定义-清除路径 佣金问题的程序图 佣金问题变量的定义/使用节点 lockPrice、stockPrice和barrelPrice定义/使用路径 locks、stocks和barrels的定义/使用路径 totalLocks的定义/使用路径 sales的定义/使用路径 commission的定义/使用路径 全定义准则 全使用准则 全谓词使用／部分计算使用准则 全计算使用／部分谓词使用准则 全定义-使用路径准则 数据流覆盖指标Rapps/Weyuker层次结构 基于程序片的测试 使用节点和定义节点 变量locks上的片 变量stocks和barrels上的片 totalLocks、totalStocks和totalBarrels的片 赋值定义 Sales上的片 Commission上的片 commission上的片格 sales和commission上的格 风格与技术 指导方针与观察 总结 东北大学软件学院 1．永远不要在不出现在语句片段n里的V的变量v上建立片S(V，n)。 2．在一个变量上建立片。片S(V，n)中的集合V可以包含多个变量，有时这样的片也是有用的。 3．对所有赋值定义节点都建立片。 4．对谓词使用节点建立片。 5．考虑使片可编译。 * 东北大学软件学院 东北大学软件学院 数据流测试指关注变量接收值的点和使用（或引用）这些值的点的结构性测试形式。 数据流测试指关注可以用作路径测试的“真实性检查”。 数据流测试两种基本方法： 一组基本定义和一种统一的测试覆盖指标结构测试； 基于“程序片”的概念的测试。 东北大学软件学院 定义引用拥有程序图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是该路径的最初和最终节点。 东北大学软件学院 定义 关于变量v的定义清除路径（记做dc-path），是具有最初和最终节点DEF（v，m）和USE（v，n）的PATHS（P)中的路径，使得该路径中没有其他节点是v的定义节点。 8 9 10 11 12 7 13 14 15 16 17 18 19 21 22 23 24 25 20 26 27 28 29 30 34 31 32 33 35 38 36 37 39 40 41 42 东北大学软件学院 32, 33, 37, 41 31, 32, 33, 36, 37, 38 commission 28, 29, 33, 34, 37, 38 27 sales 27 26 barrelSales 27 25 stockSales 27 24 lockSales 18 15 barrels 17 15 stocks 14, 16 13, 19 locks 18, 23, 26 12, 18 totalBarrels 17, 22, 25 11, 17 totalStocks 16, 21, 24 10, 16 totalLocks 26 9 barrelPrice 25 8 stockPrice 24 7 lockPrice 使用节点 定义节点 变量 东北大学软件学院 是 9， …， 26 barrelPrice 是 8， …， 25 stockPrice 是 7，…，24 lockPrice 是定义清除嘛？ 路径节点 变量 东北大学软件学院 是 19，20，14，15，16 locks 是 19，20，14