kevlxy 发表于 2012-10-23 16:08:40

跪求这段代码的解释,死活看不懂...

最近在看软件评测师,在白盒测试的断言部分遇到一段代码,研究了半天不知道啥意思,请大家帮我看看,一起讨论下
第一张图是简介
第二张是wensley迭代算法,求非负数MUN和DEN的商
第三张是加入断言后的状态
我遇到的问题是第二张图上的算法不明白什么意思,如何实现了求商?还有每个参数的意义是什么?为什么还要给Q赋值0,不是传进去的吗?
页: [1]
查看完整版本: 跪求这段代码的解释,死活看不懂...