试图手动推理软件的正确性会导致比代码更长的正式证明,并且比代码更有可能包含错误。自动化工具更好,但并不总是可能…
分类: 程序员内功
程序员内功之 14 Code Reviews
你应该做代码审查。为什么?因为它们提高了代码质量并降低了缺陷率。但不一定是因为你可能会想到的原因。 由于他们之…
程序员内功之 13 Code Layout Matters 代码布局事项
几年前,我开发了一个Cobol系统,除非工作人员已经有理由更改代码,否则不允许他们更改缩进,因为有人曾经在行首…
程序员内功之 12 Code Is Design
想象一下,明天醒来,学习建筑业取得了本世纪的突破。数百万廉价、速度惊人的机器人可以用稀薄的空气制造材料,电力成…
程序员内功之 11 域语言代码
想象两个代码库。在其中之一,你遇到了: if (portfolioIdsByTraderId.get(trad…
程序员内功之 10 小心选择您的工具
现代应用程序很少从头开始构建。它们使用现有工具——组件、库和框架——组装起来,原因有很多: 应用程序的规模、复…
程序员内功之 09 在责怪他人之前,先检查一下你的代码
开发人员——我们所有人!——经常很难相信我们自己的代码坏了。这太不可能了,这一次,一定是编译器坏了。 然而,事…
程序员内功之 08 童子军规则
童子军有一条规则:“总是把露营地留给比你发现的干净。”如果你发现地上一团糟,不管是谁可能搞得一团糟,你都要清理…
程序员内功之 07 当心分享
这是我公司的第一个项目。我刚读完学位,急于证明自己,每天熬夜浏览现有代码。在我完成第一个功能时,我格外小心地将…
程序员内功之 06 在你重构之前
在某个时候,每个程序员都需要重构现有代码。但在这样做之前,请考虑以下几点,因为这可以为您和其他人节省大量时间(…