文档介绍：结构性测试(2) 数据流测试数据流测试在单元测试中,数据仅仅在一个模块或者一个函数中流通。但是,数据流的通路往往涉及多个集成模块,甚至于整个软件,所以我们有必要进行数据流的测试,尽管它非常耗时。早期的数据流分析常常集中于叫做定义/引用异常的缺陷:变量被定义,但是从来没有使用(引用)所使用的变量没有被定义变量在使用之前被定义了两次数据流测试(续)因为程序内的语句因变量的定义和使用而彼此相关,所以用数据流测试方法能有效地发现软件缺陷数据流测试按照程序中的变量定义和使用的位置来选择程序的测试路径数据流测试关注变量接收值的点和使用这些值的点一种简单的数据流测试策略是要求覆盖每个定义-使用路径一次内容定义/使用测试举例变量的定义结点结点n∈程序图G(P)是变量v∈V的定义结点,记作DEF(v,n),当且仅当变量v的值由对应结点n的语句片段处定义定义结点语句:输入语句、赋值语句(等号左侧)、循环控制语句和过程调用如果执行这些语句,变量的值往往会发生变化Page145程序DEF(lockPrice,7)DEF(locks,13)变量的使用结点结点n∈G(P)是变量v∈V的使用结点,记作USE(v,n),当且仅当变量v的值在对应结点n的语句片段处使用使用结点语句:输出语句、赋值语句(等号右侧)、条件语句、循环控制语句和过程调用如果执行这类语句,mission,33)mission,41)谓词使用与计算使用使用结点USE(v,n)是一个谓词使用(记作P-use),当且仅当语句n是谓词语句;否则,USE(v,n)是计算使用(记作C-use)对应于谓词使用的结点,其出度≥2Page145程序:USE(sales,29)对应于计算使用的结点,其出度≤1Page145程序:USE(sales,33)定义-使用路径关于变量v的定义-使用路径(记作du-path)是P中的所有路径集合PATHS(P)中的路径,使得对某个v∈V,存在定义和使用结点DEF(v,m)和USE(v,n),使得m和n是该路径的最初和最终结点Page145程序:<15,16,17><31,32,33>关于变量v的定义清除路径关于变量v的定义清除路径(definition-clearpath,记作dc-path),是具有最初和最终结点DEF(v,m)和USE(v,n)的PATHS(P)中的路径,使得该路径中没有其他结点是v的定义结点Page145程序:<15,16,17><31,32,33>举例:佣金问题lockPrice====0totalStocks=0totalBarrels=0Input(locks)WhileNOT(locks=-1)Input(stocks,barrels)totalLocks=totalLocks+lockstotalStocks=totalStocks+stockstotalBarrels=totalBarrels+barrelsInput(locks)EndWhileOutput("Lockssold:",totalLocks)Output("Stockssold:",totalStocks)Output("Barrelssold:",totalBarrels)lockSales=lockPrice*totalLocksstockSales=stockPrice*totalStocksbarrelSales=barrelPrice*totalBarrelssales=lockSales+stockSales+barrelSalesOutput("Totalsales:",sales)