严谨的逻辑是程序正确性的保证

在各种软件工程中，测试都被提到了非常重要的高度，有的项目甚至以质量部门（QA）结果为导向，缺陷（bug）数量高于一定的数目，则软件不能发布。其结力果是，软件发布的时间表一再推迟。开发人员在发布时间表的压力之下，开始隐藏bug，Hack，甚至删减功能。将错误不断地向后累积，最使得开发如大象陷入焦油坑。



软弱的人都喜欢在技术层面寻求方法，于是，质量保证部门就成了软件质量的最后一道门槛。各种测试理论就开始大行其道。



没错，测试是很重要的，但如果只是靠测试来保证软件质量就有些舍本逐末了，无论是单元测试还是集成测试，还是产品测试都不足以发现所有的缺陷，而大多数的公司或团队往往无法负担这样的测试成本。


设计是程序的根本，严谨的逻辑是程序正确性的基本保证。通过快速模型验证设计的可行性，通过多次迭代完善设计，通过代码审查来审视代码的正确性，并反思设计的合理性与完整性，通过单元测试来驱动开发过程，用产品测试来审查产品是否符合产品说明书.....



对程序逻辑的审查应该贯穿始终，只有严谨的逻辑，才能保证程序正确运行，要避免那种碰巧可以工作的代码。