在程式设计中，断言是一种放在程式中的一阶逻辑，目的是为了标示与验证程式开发者预期的结果－当程式执行到断言的位置时，对应的断言应该为真。若断言不为真时，程式会中止执行，并给出错误讯息。
2
模糊测试 是一种软件测试技术。其核心思想是将自动或半自动生成的随机数据输入到一个计算机程序中，并监视程序异常，如崩溃，断言失败，以发现可能的程序错误，比如内存泄漏。模糊测试常常用于检测软件或计算机系统的安全漏洞。
功能验证，是电子设计自动化中验证数字电路是否与预定规范功能相符的一个验证过程，通常所说的功能验证、功能仿真是指不考虑实际器件的延迟时间，只考虑逻辑功能的一个流程。功能验证的目标是达到尽可能高的测试覆盖率，被测试的内容要尽可能覆盖所有的语句、逻辑分支、条件、路径、触发、状态机的状态等，同时在某些阶段还必须包括对时序的检查。在较小型的电路设计中，设计人员可以利用硬件描述语言来建立测试平台，通过指定测试向量来检验被测模块在各种输入情况下，检验对应的输出是符合要求。但是，在更大型集成电路设计项目中，该过程会耗费设计人员较大的时间和精力。许多项目都采用计算机辅助工程工具来协助验证人员创建随机测试激励向量。其中，硬件验证语言在建立随机测试和功能覆盖方面具有显著的优势，它们通常提供了专门用来进行功能覆盖和产生可约束随机测试激励向量的数据结构。除了上面讲述的这种通过输入测试向量的方式，功能验证还可以通过形式等效性检查、断言等方式来进行，达到更高的功能覆盖率。
安全断言标记语言 2.0 作为 安全断言标记语言 的最新标准， 用来在安全域中交换认证数据和 授权数据。SAML 2.0基于XML协议，使用包含断言的安全令牌在SAML授权方和SAML消费方之间传递委托人的信息。SAML 2.0 可以实现基于网络跨域的单点登录， 以便于减少向一个用户分发多个身份验证令牌的管理开销。
Hamcrest是一个协助编写用Java语言进行软件测试的框架。它支持创建自定义的断言匹配器
模糊测试 是一种软件测试技术。其核心思想是将自动或半自动生成的随机数据输入到一个计算机程序中，并监视程序异常，如崩溃，断言失败，以发现可能的程序错误，比如内存泄漏。模糊测试常常用于检测软件或计算机系统的安全漏洞。
广义上，对文献的参考或引用属于参考的一种，基于已出版或未出版的源文本。狭义上的参考文献指一项作品中嵌入的简化版字母与数字表达形式，而此作品也须在其参考书目中指明另一项作品，以确认他人成果与当前作品本身出现参考文献处所阐述的话题之关联性。一般来说，参考文献由作品内文中的参注与末尾的目录学两者共同构成。在电子化的科学论文中，指向单一且机械可读式的逻辑性断言式参考则被称作“纳米出版物”，是微观归因方法的一种形式。
Mini wiki
