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