求助：循环体的测试原则或方法

cswonder

我主要想问一下测试的理论性的问题。就是一个循环体，用测试的方法，怎么来判定循环可以终止？？
例如：
While（A*x ）0） do { x=B*x }
类似这样的循环体，测试是怎么判定的，其中A ，B可以是矩阵之类的。

在对这样的while循环中，用测试的方法会有什么缺陷？ 测试肯定是不完备的嘛，那这种不完备在测试中是怎么克服的？是检测达到90%的成功率还是人为的设定什么终止条件。。

                                    此致



敬礼

不胜感激！！

Jackc

感觉问题描述有点绕，看看楼下怎么说吧

black_tulip

你是要测循环是否在正确的时候结束，还是测循环是否在设置的时候结束。

前者是上下文代码逻辑相关，后者是编译器相关。

后者没必要测。

“用测试的方法会有什么缺陷？” 没看懂这句话。

不完备没必要克服。

千里

如果测功能，我觉得循环一次就够了。
循环只不过是在重复执行相同的代码。

black_tulip

原帖由 千里 于 2009-10-28 10:20 发表
如果测功能，我觉得循环一次就够了。
循环只不过是在重复执行相同的代码。

不一定相同，每次进入做的事情是经常会不一样的。