assertion(断言)在软件开发中是一种常用的调试方式，很多开发语言中都支持这种机制。在实现中，assertion就是在程序中的一条语句，它对一个boolean表达式进行检查，一个正确程序必须保证这个boolean表达式的值为true；如果该值为false，说明程序已经处于不正确的状态下，assert将给出警告或退出。
Java的assert是关键字。
public class TestAssert
{
public static void main(String[] args)
{
int a = 5;
//断言a>3
assert a > 3;
//断言a<3,否则显示a不小于3，且a的值为：" + a
assert a < 3 : "a不小于3，且a的值为：" + a;
}
}
从上面代码可以看出，assert的两个基本用法如下：
assert logicExp;
asert logicExp : expr;
A．第一个直接进行断言，
B．第二个也是进行断言，但当断言失败失败时显示特定信息。
最后要指出：
虽然assert是JDK1.4新增的关键字，但有一点非常重要：
java命令默认不启动断言，
为了启动用户断言，应该在运行java命令时增加-ea（Enable Assert）选项。
为了启动系统断言，应该在运行java命令时增加-esa（Enable System Assert）选项。