程序中的断言是什么