Sciweavers

Share
EMSOFT
2006
Springer

Software partitioning for effective automated unit testing

9 years 3 months ago
Software partitioning for effective automated unit testing
A key problem for effective unit testing is the difficulty 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. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification; D.2.5 [Software Engineering]: Testing and Debugging; F.3.1 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning ab...
Arindam Chakrabarti, Patrice Godefroid
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where EMSOFT
Authors Arindam Chakrabarti, Patrice Godefroid
Comments (0)
books