在计算机科学中，"断言"（Assertion）这个术语通常指的是一种检查，用于确保代码在执行过程中满足特定的假设或条件。以下是几个原因说明为什么验证会被称为断言：
1. 声明性：断言是一种声明，它告诉其他开发者或读者，某个条件在特定点应该是成立的。这种声明性使得代码中的逻辑更加清晰。
2. 检查：断言类似于一个检查点，它检查程序是否按照预期运行。如果条件不满足，断言将触发错误或异常，这有助于及早发现问题。
3. 信任：使用断言可以表达开发者对代码正确性的信任。如果断言失败，这表明开发者认为代码中存在某种错误。
4. 调试：在调试过程中，断言非常有用。它们可以帮助开发者快速定位问题所在，因为断言失败会立即通知开发者某个条件未满足。
5. 静态与动态：断言可以是静态的，即在编译时进行检查，也可以是动态的，即在程序运行时进行检查。验证通常涉及到动态断言，因为它们在程序运行时提供反馈。
6. 预防性：断言有助于预防潜在的错误。通过在代码中插入断言，开发者可以确保在代码发布前，所有关键的条件都得到了满足。
7. 命名传统：在编程语言和软件开发中，"断言"这个术语已经广泛使用，因此验证被称为断言已经成为一种命名传统。
断言是一种用于验证代码正确性的工具，它通过声明和检查条件，帮助开发者确保代码按照预期运行。
