Skip to content

Commit 8d077ba

Browse files
authored
Update 16-Validating-Your-Code.md
1 parent 8ee0a21 commit 8d077ba

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

docs/book/16-Validating-Your-Code.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,15 +2,15 @@
22

33
<!-- Validating Your Code -->
44
# 第十六章 代码校验
5-
##### 你永远不能保证你的代码是正确的,你只能证明它是错的。
5+
### 你永远不能保证你的代码是正确的,你只能证明它是错的。
66

77
让我们先暂停学习编程语言的知识,看看一些代码基础知识。特别是能让你的代码更加健壮的。
88

99

1010

1111
## 测试
1212

13-
##### 如果没有测试过,它就是不能工作的。
13+
### 如果没有测试过,它就是不能工作的。
1414

1515
Java是一个静态类型的语言,程序员经常对一种编程语言明显的安全性过于感到舒适,“能通过编译器,那就是没问题的”。但静态类型检查是一种非常局限性的测试。这说明编译器接受你的语法和基本类型规则,但不意味着你的代码满足程序安全的目标。随着你代码经验的丰富,你逐渐了解到你的代码从来没有满足过安全性这个目标。迈向代码的第一步就是创建代码测试,争对你的目标检查代码行为。
1616

0 commit comments

Comments
 (0)