1 首先保证原始的代码是正确的。
2 运行原始程序,分析运行结果。
3 修改或简化原始程序,再次分析运行结果,与以前的结果做比较,如果一致,表明修改或简化操作是正确的。
4 每修改一部分就要保存一份拷贝,并且分析运行结果。