如何写出正确的程序

明确变量含义
循环不变量
小数据集调试
大数据集测试