会计学1数据流测试结构性测试回顾数据流测试针对定义/引用异常缺陷：变量被定义，但从来没有引用；使用的变量没有被定义；变量在使用之前被定义两次。第1页/共48页定义/使用测试基本表示P：程序G（P）：程序图V：程序变量集合PATHS（P）：P中所以路径集合基本定义定义节点、使用节点、谓词使用、计算使用、定义-使用路径、定义清除路径第2页/共48页第3页/共48页第4页/共48页第5页/共48页第6页/共48页第7页/共48页定义/使用测试例子佣金问
题
快递公司问题件快递公司问题件货款处理关于圆的周长面积重点题型关于解方程组的题及答案关于南海问题
程序图——DD路径图找出所有变量，每个变量的定义节点、使用节点；找出各变量的定义-使用路径和定义清除路径；第8页/共48页第9页/共48页第10页/共48页第11页/共48页第12页/共48页第13页/共48页第14页/共48页第15页/共48页定义/使用路径测试覆盖指标Rapps-Weyuker数据流指标全路径全边全节点全定义准则全使用准则全谓词使用/部分计算使用准则全计算使用/部分谓词使用准则全定义-使用路径准则第16页/共48页第17页/共48页第18页/共48页第19页/共48页第20页/共48页第21页/共48页第22页/共48页第23页/共48页第24页/共48页基于程序片的测试假设片S（V，n）是一个变量上的片，即集合V由单一变量v组成。如果语句片段n是v的一个定义节点，则n包含在该片中。如果语句片段n是v的使用节点，则n不包含在该片中。其他变量的谓词使用和计算使用（不是片集合V中的v），要包含其执行会影响变量v取值的扩展。如果不管是否包含语句片段，v的值都保持不变，那么排除该语句片段。输出使用节点、定位使用节点、迭代使用节点，都不在片中。第25页/共48页第26页/共48页第27页/共48页第28页/共48页第29页/共48页第30页/共48页第31页/共48页第32页/共48页第33页/共48页程序片风格不出现在语句片段n里的变量v（v属于V），永远不建立S（V，n）；在一个变量上建立片；对所以赋值定义节点都建立片；对谓词使用节点建立片；非谓词使用节点上的片无意义；使片可编译；第34页/共48页第35页/共48页第11章结构性测试回顾结构性测试用做对功能性测试的交叉检查，如何能够产生强有力的结果。功能性测试用例的漏洞和冗余问题测试效率指标（由结构覆盖来表述）使用哪些覆盖指标对漏洞和冗余问题进行指导第36页/共48页第37页/共48页第38页/共48页第39页/共48页测试效率指标将功能性测试技术有效性与结构性测试进展指标相关联。功能性测试技术——产生一组测试用例结构性测试指标——以可计算的内容表示指标定义覆盖C（M，S）冗余R（M，S）净冗余NR（M，S）第40页/共48页第41页/共48页第42页/共48页白盒测试工具白盒测试一般针对被测源程序进行的测试，发现的故障可以定位到代码。根据测试工具和工作原理的不同，白盒测试的自动化工具可以分为静态测试工具动态测试工具第43页/共48页静态测试工具静态测试是在不执行程序的情况下
分析
定性数据统计分析pdf销售业绩分析模板建筑结构震害分析销售进度分析表京东商城竞争战略分析
软件的特性。静态分析主要集中在软件需求文档、
设计
领导形象设计圆作业设计ao工艺污水处理厂设计附属工程施工组织设计清扫机器人结构设计
文档以及程序结构方面，可以进行类型分析、接口分析、输入/输出规格说明分析等。常用的静态测试工具有McCabe公司的QualityToolSet分析工具ViewLog公司的LogiScope分析工具SoftwareResearch公司的TestWork/Advisor分析工具SoftwareEmancipation公司的Discover分析工具第44页/共48页静态测试工具完成的职能：代码审查一致性检查错误检查接口分析输入/输出规格说明分析检查数据流分析类型分析单元分析复杂度分析第45页/共48页动态测试工具动态测试直接执行被测程序以提供测试活动。动态测试工具具有功能确认、接口测试、覆盖率分析等性能。主要有Compuware公司的DerPartnerIBM公司的RationalPurify、RationalPureCoverage第46页/共48页动态测试工具动态测试工具的类型功能确认与接口测试：包括对各模块功能、模块间的接口、局部数据结构、主要执行路径、错误处理等方面进行测试。覆盖测试：覆盖率分析对所涉及的程序结构元素进行度量，以确定测试执行的充分性。第47页/共48页
浙公网安备 33021202002483