Software partitioning for effective automated unit testing
Software partitioning for effective automated unit testing
复制标题
用于有效自动化单元测试的软件分区
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Patrice Godefroid
中科院分区：
文献类型：
--
作者：
A. Chakrabarti;Patrice Godefroid
有效的单元测试的一个关键问题是很难将大型软件系统划分为可以隔离测试的适当单元。我们提出了一种方法，确定使用静态程序分析软件组件之间的控制和数据的相互依赖关系，并将源代码划分为高度交织的组件分组在一起的单元。然后，可以使用自动化测试生成技术和工具（如动态软件模型检查器）对这些单元进行隔离测试。我们讨论了初步的实验结果表明，自动软件分区可以显着增加测试覆盖率，而不会产生太多的假警报所造成的不切实际的输入被注入单元之间的接口。
A key problem for effective unit testing is the dificulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach that identifies control and data inter-dependencies between software components using static program analysis, and divides the source code into units where highly-intertwined components are grouped together. Those units can then be tested in isolation using automated test generation techniques and tools, such as dynamic software model checkers. We discuss preliminary experimental results showing that automatic software partitioning can significantly increase test coverage without generating too many false alarms caused by unrealistic inputs being injected at interfaces between units.