软件测试——2.5 数据流测试

数据流测试

​ 关注点上的变量的操作是否正确

关于变量的操作:

​ · 定义:赋值、初始化……

​ · 使用

​ def(n) def(e):节点n 边e上所有定义的变量

​ use(n) use(e):节点n 边e上所有使用的变量

定义引用对(DU pair):

​ 控制流(li,lj)构成的DU对是指,在li定义,在lj使用的变量

定义清晰(Def-clear):

​ 从li到lj的路径上变量v是定义清晰的是指从li定到lj使用的中间,变量v没有被重新定义过

数据流的可达:

​ 有一条定义清晰的路径,可以从li到lj

定义引用路径(DU Path):

​ 定义清晰并且是简单的一个子路径

​ du(ni, nj, v):the set of du-paths from ni to nj

​ du(ni, v):the set of du-paths that start at ni

3种数据流覆盖准则:

  1. 定义覆盖(All-defs coverage, ADC)

    ​ 关于某个变量v,它所有定义的地方都至少覆盖过一次

  2. 引用覆盖(All-uses coverage, AUC)

    ​ 关于某个变量v,所有引用的地方都至少覆盖一次

  3. 所有的定义引用路径覆盖(All-du-paths coverage, ADUPC)

    ​ 覆盖变量v的所有定义引用路径

  • 0
    点赞
  • 12
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值