51Testing软件测试论坛

标题: 关于程序插装里的断言....一个不懂的地方 [打印本页]

作者: 静雪蝴 时间: 2006-11-18 23:09
标题: 关于程序插装里的断言....一个不懂的地方
有4个状态的

U：未定义状态 D定义但未被引用  R：定义且被引用 A：异常

有三个动作

u:取消定义动作 r:引用动作 d:定义动作

有个函数f(q,a)  q为U,D,R,A状态中的一种。a为u,r,d中一种

f(U,d)=D //U通过做d就进入到D

f(U,r)=A

f(U,u)=U
   .
   .
   .
这上面的我觉的没问题的，但是下面的呢？

  f(D,u)=A  //定义未被引用的状态通过取消定义定义动作就进入到了  异常状态

  但是我认为从定义未被引用的状态通过取消定义定义动作就进入到了未定义状态的就是U状态的，为什么就变成了异常状态了

作者: 静雪蝴 时间: 2006-11-19 15:19
sdlkfj1 不好意思啊，是关于程序插装里的数据流的异常检测，不是断言的

欢迎光临 51Testing软件测试论坛 (http://bbs.51testing.com/)