diff --git a/docs/book/16-Validating-Your-Code.md b/docs/book/16-Validating-Your-Code.md index 0cd4466..8ef0a8e 100644 --- a/docs/book/16-Validating-Your-Code.md +++ b/docs/book/16-Validating-Your-Code.md @@ -2,7 +2,7 @@ # 第十六章 代码校验 -##### 你永远不能保证你的代码是正确的,你只能证明它是错的。 +### 你永远不能保证你的代码是正确的,你只能证明它是错的。 让我们先暂停学习编程语言的知识,看看一些代码基础知识。特别是能让你的代码更加健壮的。 @@ -10,7 +10,7 @@ ## 测试 -##### 如果没有测试过,它就是不能工作的。 +### 如果没有测试过,它就是不能工作的。 Java是一个静态类型的语言,程序员经常对一种编程语言明显的安全性过于感到舒适,“能通过编译器,那就是没问题的”。但静态类型检查是一种非常局限性的测试。这说明编译器接受你的语法和基本类型规则,但不意味着你的代码满足程序安全的目标。随着你代码经验的丰富,你逐渐了解到你的代码从来没有满足过安全性这个目标。迈向代码的第一步就是创建代码测试,争对你的目标检查代码行为。