Assertions have three major applications: they help produce reliable software; they provide systematic documentation; and they are a central tool for testing and debugging object-oriented software.

• 有三个主要的应用:帮助产生可靠的软件;它们提供系统的文档;并且它们对于测试和除错面向对象软件而言是一个核心工具。