数据流测试-东大软件学院内部课件资料教程
33页1、什么是数据流测试?,东北大学软件学院,数据流测试指关注变量接收值的点和使用(或引用)这些值的点的结构性测试形式。,数据流测试指关注可以用作路径测试的“真实性检查”。,数据流测试两种基本方法: 一组基本定义和一种统一的测试覆盖指标结构测试; 基于“程序片”的概念的测试。,定义/使用测试,东北大学软件学院,定义引用拥有程序图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的语句片段处使用。,语句、赋值语句、条件语句、循环控制语句和过程调用,都是使用节点语句的例子。如果执行对应这种语句的节点,那么与该变量关联的存储单元的内容会保持不变。,谓词使用和计算使用,东
2、北大学软件学院,定义 使用节点USE(v,n)是一个谓词使用(记做P-use),当且仅当语句n是谓词语句;否则,USE(v,n)是计算使用(记做C-use)。,对应于谓词使用的节点永远有外度=2,对应于计算使用的节点永远有外度=1。,定义-使用路径,东北大学软件学院,定义 关于变量v的定义一使用路径(记做du-path)是PATHS(P)中的路径,使得对某个vV,存在定义和使用节点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,佣金问题变量的定义/使用节点,东北大学软件学院,lockPrice、stockPrice和barrel
3、Price定义/使用路径,东北大学软件学院,locks、stocks和barrels的定义/使用路径,东北大学软件学院,totalLocks的定义/使用路径,东北大学软件学院,sales的定义/使用路径,东北大学软件学院,commission的定义/使用路径,全定义准则,东北大学软件学院,定义 集合T满足程序P的全定义准则,当且仅当所有变量vV,T包含从v的每个定义节点到v的一个使用的定义清除路径。,T是拥有变量集合V的程序p的程序图G(p)中的一个路径集合 。,全使用准则,东北大学软件学院,定义 集合T满足程序p的全使用准则,当且仅当所有变量vV,T 包含从v的每个定义节点到v的所有使用,以及到所有USE(v,n)后续节点的定义清除路径。,全谓词使用部分计算使用准则,东北大学软件学院,定义 集合T满足程序p的全谓词使用部分计算使用准则,当且仅当所有变量v V,T包含从v的每个定义节点到v的所有谓词使用的定义清除路径,并且如X-v的一个定义没有谓词使用,则定义清除路径导致至少一个计算使用。,全计算使用部分谓词使用准则,东北大学软件学院,定义 集合T满足程序P的全计算使用部分谓词使用准则
4、,当且仅当所有变量vv,T包含从v的每个定义节点到v的所有计算使用的定义清除路径,并且如果v的一个定义没有计算使用,则定义清除路径导致至少一个谓词使用。,全定义-使用路径准则,东北大学软件学院,定义 集合T满足程序p的全定义一使用路径准则,当且仅当所有变量v V,T包含从v的每个定义节点到v的所有使用,以及到所有USE(v,n)后续节点的定义清除路径,并且这些路径要么有一次的环经过,要么没有环路。,数据流覆盖指标Rapps/Weyuker层次结构,东北大学软件学院,全路径,全定义-使用路径,全使用,全计算使用/部分谓词使用,全谓词使用/部分计算使用,全定义,全谓词使用,全边,全节点,基于程序片的测试,东北大学软件学院,定义 给定一个程序P和P中的一个变量集合V,变量集合V在语句n上的一个片,记做S(V,n),是P中对V中的变量值作出贡献的所有语句集合。,定义 给定一个程序P和一个给出语句及语句片段编号的程序图G(P),以及P中的一个变量集合V,变量集合V在语句片段n上的一个片,记做S(V,n),是P中在n以前对V中的变量值作出贡献的所有语句片段编号的集合。,使用节点和定义节点,东北大学
《数据流测试-东大软件学院内部课件资料教程》由会员小**分享,可在线阅读,更多相关《数据流测试-东大软件学院内部课件资料教程》请在金锄头文库上搜索。
2020年高考真题——理科综合(全国卷Ⅲ)+Word版含答案
2021年绝味鸭脖策划书
2021年熟食店创业方案
2021年熟食店开店策划
2021年卤菜店创业计划书
2021年周黑鸭网络营销策划方案
东大21年1月考试《现代设计方法》考核作业
谈我国行政管理效率的现状及其改观对策(论文)
单证员考试-备考辅导-复习资料:无贸易背景信用证案分析.docx
土木工程毕业生答辩自述.docx
建筑学毕业后工作状态真实写照.doc
C#代码规范(湖南大学).doc
xx区食药监局2019年工作总结及2020年工作计划
2019年中医院药物维持治疗门诊工人先锋号先进事迹
2019年度xx乡镇林长制工作总结
2019年性艾科工作计划书
2019年人才服务局全国扶贫日活动开展情况总结
关于组工信息选题的几点思考
摘了穷帽子 有了新模样
2019年某集团公司基层党支部书记培训班心得体会
2024-01-31 15页
2024-01-31 21页
2024-01-31 37页
2024-01-31 30页
2024-01-31 22页
2024-01-31 48页
2024-01-31 32页
2024-01-31 40页
2024-01-31 31页
2024-01-31 20页