第十章 数据流测试.pptVIP

基于程序片的测试 定义 给定一个程序P和P中的一个变量集合V，变量集合V在语句n上的一个片，记做S(V，n)，是P中对V中的变量值作出贡献的所有语句集合。 定义 给定一个程序P和一个给出语句及语句片段编号的程序图G(P)，以及P中的一个变量集合V，变量集合V在语句片段n上的一个片，记做S(V，n)，是P中在n以前对V中的变量值作出贡献的所有语句片段编号的集合。 计算机软件测试 * 使用节点和定义节点 USE关系适合五种形式的使用： 谓词使用 用在谓词(判断)中。 计算使用 用在计算中。 输出使用 用于输出。 定位使用 用于定位(指针、下标)。 迭代使用 迭代(内部计数器、循环指示)。 标识两种定义节点： 输入定义 通过输入定义。 赋值定义 通过赋值定义。 计算机软件测试 * 先假设片S(V,n)是一个变量上的片，即集合V由单一变量v组成。 如果语句片断n是v的一个定义节点，则n包含在该片中。 如果语句片断n是v的使用节点，则n不包含在该片中。 其它变量的谓词使用和计算使用（不是片集合V中的v），要包含其执行会影响变量v取值的扩展。 作为一种指导方针，如果不管是否包含语句片断，v的值都保持不变，那么排除该语句片断 一般把输出使用节点、定位使用节点和迭代使用节点，不包含在片中。 计算机软件测试 * 变量locks上的片 S1：S(locks，13)={13) S2：S(locks，14)={13，19，20} S3：S(locks，16)={13，14，19，20) S4：S(locks，19)={19} 计算机软件测试 * 变量stocks和barrels上的片 S5：S(stocks，15) = {13，14，15，19，20} S6：S(stocks，17) = {13，14，15，19，20} S7：S(barrels，15) = {13，14，15，19，20} S8：S(barrels，18) = {13，14，15，19，20} 计算机软件测试 * totalLocks、totalStocks和totalBarrels的片 S9： S(totalLocks，10) = {10} S10：S(totalLocks，16) = {10，13，14，16，19，20} S11：S(totalLocks，21) = {10，13，14，16，19，20} S12：S(totalStocks，11) = {11} S13：S(totalStocks，17) = {11，13，14，15，17，19，20} S14：S(totalStocks，22) = {11，13，14，15，17，19，20} S15：S(totalBarrels，12) = {12} S16：S(totalBarrels，18) = {12，13，14，15，18，19，20} S17：S(totalBarrels，23) = {12，13，14，15，18，19，20} 计算机软件测试 * 赋值定义 S18：S(lockPrice，24) = {7} S19：S(stockPrice，25) = {8} S20：S(barrel