断言的英文是assertion，断言检查的英文是assertion checking。
断言是指定一个程序必须已经存在的状态的一个逻辑表达式，或者一组程序变量在程序执行期间的某个点上必须满足的条件。
断言检查是用户在程序中嵌入的断言的检查。
本文讲述的是：断言和断言检查的概念，以及什么是断言什么是断言检查的意思。
- 自动化软件测试工具推荐
 TestCenter是一款功能强大的测试管理工具，它实现了：测试需求管理、测试用例管理、测试业务组件管理、测试计划管理、测试执行、测试结果日志察看、测试结果分析、缺陷管理，并且支持测试需求和测试用例之间的关联关系，可以通过测试需求索引测试用例。 |
 TAR适用于VT100、VT220等标准的应用系统，支持命令行模式和窗口模式（使用Cursors编写的应用程序）。 支持针对终端应用的自动录制。支持连续录制和单独的窗口录制。支持的窗口组件：栏位、表格、对话框、窗口等。 脚本语言采用java标准脚本：bean shell。 |