Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation
Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation
复制标题
评估软件断言和故障之间的关系：实证研究
DOI：
10.1109/issre.2006.14
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
T. Ball
中科院分区：
文献类型：
--
作者：
Gunnar Kudrjavets;Nachiappan Nagappan;T. Ball
人们认为在软件开发中使用断言可以帮助生产高质量的软件。不幸的是，迄今为止，这一论点在商业软件系统中存在很少的经验证据。本文介绍了Microsoft Corporation的两个商业软件组件的经验案例研究。这些组件的开发人员系统地采用了主张，这使我们能够研究软件主张和代码质量之间的关系。我们还将断言的疗效与流行错误查找技术（例如源代码静态分析工具）的功效进行了比较。我们从案例研究中观察到，随着文件中的主张密度的增加，断层密度的统计学显着降低。此外，在这些组件中的软件主张的使用情况发现了错误数据库中很大一部分的故障
The use of assertions in software development is thought to help produce quality software. Unfortunately, there is scant empirical evidence in commercial software systems for this argument to date. This paper presents an empirical case study of two commercial software components at Microsoft Corporation. The developers of these components systematically employed assertions, which allowed us to investigate the relationship between software assertions and code quality. We also compare the efficacy of assertions against that of popular bug finding techniques like source code static analysis tools. We observe from our case study that with an increase in the assertion density in a file there is a statistically significant decrease in fault density. Further, the usage of software assertions in these components found a large percentage of the faults in the bug database