软件编译 - Assertions断言

在软件的开发过程中，灵活的运用assertion断言函数及时的对系统功能进行测试能够保证系统质量并且减少后续测试的复杂度。

大多数开发语言都提供了断言函数，可以用来做单元测试或模块测试。断言函数用来检查函数的前置条件和后置条件，还可以用来保证数据常量不变。在断言函数中，如果断言条件为真，那么函数正常运行，如果断言条件失败，断言函数抛出一个异常。

断言和测试很相似，但是也有不同。要注意的是测试在于过程，断言在执行完测试的过程之后还会检查结果。使用断言来做单元测试时，首先要检查输入数据的格式+函数执行的前置条件， 然后在退出测试单元之前需要检查退出条件。

使用断言的时候，需要注意的两点是： 1. assertion断言应该是程序的附加命令，不会改变程序自己的语义。有人在写程序的时候，直接把assert函数拿来当做if或者try来用，这是不对的。assert只能用于调试测试程序的功能，不能使用assert函数来实现功能。在调试完成之后可以用一条简单的语句就关闭所有assert函数的执行。2. 不能用assert函数来检查共有前置条件，请把assert的使用控制在单元内

更多文章请访问我的博客，谢谢。