在软件开发中,反证方法的典型运用
2016-11-07 09:17
274 查看
在我的开发中,经常存在着多分支条件校验的的情况,例如有三种情况导致出错,而导致三种情况的原因呢,又各是三种。 如果导致校验出错的情况,有n个分支,那么出错的解空间大小也许就是2的n次方,或者是3的n次方的大小。
如果我们在各分支上分别写条件去校验是否出错。那么可能会非常的复杂,而且对于出错的分支的预计,总是不是很全面、准确。即使你能够写出所有的出错的条件分支,那么写出来的代码将是非常丑陋的。
在软件开发中,我们可以运用数学的证明方法中的反证法。 使程序的逻辑分支,直接得出最终的错误结果。例如,不允许重复值的产生。只需要写出产生重复值时的处理逻辑即可。
如以下代码:
不仅仅在做这样的条件校验时,可以用到反证法。在软件开发的过程中,有许多地方,可以运用反证法,使得问题的解法优化!
大小: 28.7 KB
查看图片附件
如果我们在各分支上分别写条件去校验是否出错。那么可能会非常的复杂,而且对于出错的分支的预计,总是不是很全面、准确。即使你能够写出所有的出错的条件分支,那么写出来的代码将是非常丑陋的。
在软件开发中,我们可以运用数学的证明方法中的反证法。 使程序的逻辑分支,直接得出最终的错误结果。例如,不允许重复值的产生。只需要写出产生重复值时的处理逻辑即可。
如以下代码:
if (amount >= 2) { Ext.Msg.alert('提示', '存在重复的数据!'); return false; }
不仅仅在做这样的条件校验时,可以用到反证法。在软件开发的过程中,有许多地方,可以运用反证法,使得问题的解法优化!
大小: 28.7 KB
查看图片附件
相关文章推荐
- 在软件开发中,推理的典型运用
- 软件开发方法述评
- 敏捷软件开发主要包括哪些方法
- 面向服务的方法在业务规则开发中的运用
- 是否有最好的软件开发方法?
- 软件开发方法杂想
- 变革与突破—如何认识基于构件的软件开发方法
- 软件开发的方法-分析各种现有的隐喻(ZT)
- [XA]转:软件开发方法--XP(eXtreme Programming)编程讲义二
- 软件开发方法杂想
- 微软软件项目开发方法--如何编写优秀的程序( 主讲:林斌 )视频笔记
- 微软软件项目开发方法--微软软件项目管理
- 一般的软件开发团队的组织方法
- 征个人开发的“针式背单词”软件的注册方法破解、数据库加密破解
- 对比XP和FDD两种软件开发方法
- 软件小开发团体运用CMM思想进行过程改进
- 软件开发中运用到的编号
- 软件开发工程方法,技术与工具
- 软件开发中的测试方法
- 软件开发工程方法、技术与工具