“白盒测试for循环”的一个讨论

一个帖子，问：白盒测试中，for循环怎样设计测试用例？

回帖纷纷建议，以

for(i=0; i<10; i++){ ... }

为例，测试i值为0，-6，5，9，10。说是用到了等价类、边界值、因果图、错误推测方法。听上去挺复杂的。

这就有点扯淡了，对于写好的这段程序，循环条件里已写了0-9，拿0，-6，5，9，10去测，这不是测编译器是否按照语言的语法编译程序吗？没事做了去测编译器。

如果是想知道在这个场景下从0开始，到9，是否正确，那得知道得知道为什么是0，为什么是10，为什么增量是1。

白盒测试中遇到循环，如何测试这个循环，是和上下文逻辑强相关的。

拿0，-6，5，9，10去测是白测，该跑的肯定会跑，不该跑的肯定不会跑。否则这个编译器还能用？