可以保大饥悉证,除非程序肢巧错误很隐蔽,运行还不出问题.比如你定义一个常量时数字输错了.穷举是不可能的,一般都用黑盒测试的边界值测试,等价类划分法,因果图法,错误推测法.白盒测试的逻辑覆盖,基滚乎本路径测试等
如果不出现运行的错误 理论上是可以保证的
