软件断言和代码质量（2006）

在软件开发中使用断言被认为有助于生产高质量的软件。 不幸的是，迄今为止，在商业软件系统中缺乏针对这一论点的经验证据。 本文介绍了Microsoft Corporation的两个商业软件组件的经验案例研究。 这些组件的开发人员系统地使用了断言，这使我们能够研究软件断言与代码质量之间的关系。 我们还将比较断言与流行的错误发现技术（例如源代码静态分析工具）的有效性。 我们从案例研究中观察到，随着文件中断言密度的增加，故障密度也有统计上的显着降低。 此外，在这些组件中使用软件断言在错误数据库中发现了很大比例的错误。