验证代码

在面试、或是平时在写代码的时候，对于写出的代码没有把握是正确的？怎样来保障？
经过网上查询资料，得来的:
1. 自己想测试用例，用测试用例的输入输出来验证代码的正确？
2. 对于循环结构，我们可以用 loop invariance（即循环不变式）来验证，loop invariance有点类似于数学归纳法，
在确定了 loop invarice后：
1. 循环开始前，循环不变式满足；
2. 在某次迭代（循环）前，循环不变式是满足的，（循环结束后）在下一次迭代（循环）前，也应该是满足循环不变式的；
3. 当循环结束后，循环不变式是满足的