编程中的美学与创新:从代码优化到特殊需求软件设计
1. 调试的艺术与追求
调试是编程过程中不可避免的环节,但我们可以通过系统的方法让调试过程尽可能无痛。遵循科学方法进行调试能带来很大帮助,而将科学方法自动化则更能提升效率。不过,最好的做法是在代码编写和开发过程中投入更多精力。通过采用有效的编程策略,我们可以写出优美的代码,而优美代码带来的一个附带好处就是调试过程也会变得更加轻松,甚至达到无需调试的理想状态。
在调试领域,有许多人做出了重要贡献。Martin Burger参与了AskIgor项目,并为Eclipse实现了ddchange插件;Holger Cleve研究并实现了故障诱导语句的自动隔离;Ralf Hildebrandt实现了故障诱导输入的隔离;Karsten Lehmann为AskIgor做出贡献,并针对Java实现了故障诱导程序状态的隔离;Dorothea Lütkehaus编写了ddd的原始版本;Thomas Zimmermann实现了图比较算法;Christian Lindig和Andrzey Wasylkowski为相关章节的早期修订提供了有帮助的评论。
如果想深入学习系统和自动调试的知识,可以参考大学课程中的相关内容,这里涵盖了科学方法、增量调试等知识,还有统计调试、自动测试、静态错误检测等更多调试和分析技术。所有的讲座幻灯片和参考资料可在http://www.whyprogramsfail.com获取。若想查找特定的科学出版物,可访问增量调试主页http://www.st.cs.uni-sb.de/dd 。此外,在网络上搜索“delta debugging”也能找到各种相关资源。
2. 将代码视为文章
程序和文章
超级会员免费看
订阅专栏 解锁全文
721

被折叠的 条评论
为什么被折叠?



