软件测试技术：定义-使用测试.pptx

软件测试技术--10定义-使用测试

数据流测试这是一种结构化的测试形式，白盒测试技术主要关注程序的变量和路径。静态分析允许我们不运行程序而检查（测试或发现错误）代码，我们能像如下那样检查变量：1.变量被定义，但是从来没有使用。2.所使用的变量没有被定义。3.变量在使用之前被定义两次。

定义/使用测试定义节点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)。

定义/使用测试定义关于变量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的定义节点。

例子Pseudo-codeSampleinta,binput(a,b)if(ab)thenOutput(a,“abiggerthanb”)elseOutput(b,“bisequalorgreaterthana”)end34567Thefollowingareexamplesofthedefinitions:DEF(a,3)–node3isadefiningnodeofvariable“a”---avalueisassignedto“a”USE(a,4)–node4isausagenodeofvariable“a”USE(a,5)–node5isausagenodeofvariable“a”USE(a,4)isaP-usenodewhileUSE(a,5)isC-usenodePaththatbeginswithDEF(a,3)andendswithUSE(a,4)isadefinition-usepathofaPaththatbeginswithDEF(a,3)andendswithUSE(a,5)isadefinition-usepathofaPaththatbeginswithDEF(a,3)andendswithUSE(a,5)isadefinition-clearpathofaPaththatbeginswithDEF(b,3)andendswithUSE(b.6)isadefinition-usepathofb

“CommissionProgram”关于变量的部分例子otherassignments13.Input(locks)14.WhileNOT(locksequals-1)15.Input(stocks,barrels)16.Totallocks=Totallocks+locks17.Totalstocks=Totalstocks+stocks18.Totalbarrels=Totalbarrels+barrels19.Input(locks)20.EndWhilefalsetrue21.Output(“Lockssold“,Totallocks)continuingotherstatementswehaveDEF(locks,13)andDEF(locks,19)wehaveUSE(locks,14)andUSE(locks,16)Wecanemploythedefine/usemethodologyandgetthefollowingpaths:-path1=DEF(locks,13)toUSE(locks,14)-path2=DEF(locks,13)toUSE(locks,16)-path3=DEF(locks,19)toUSE(lo