第十章 数流测试.pptVIP

第十章 数据流测试 什么是数据流测试？ 定义/使用测试 定义节点 使用节点 谓词使用和计算使用 定义-使用路径 定义-清除路径 佣金问题的程序图 佣金问题变量的定义/使用节点 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是该路径的最初和最终节点。 计算机软件测试 除邵炽颖毒拘玲起谴