断言（软件开发）-一流百科

断言（软件开发）

断言（软件开发）简介在计算机编程中，特别是在使用命令式编程范式时，断言是一个与程序中的某一点相连的谓词（状态空间上的布尔值函数，通常用程序的变量表...

词条百科