研制自动化或者半自动化的测试工具将对软件开发过程产生重大影响，并能有效地提高软件生产率，是当今软件测试业界一项极具挑战的课题。以C/C++程序作为测试对象，从单元划分、插装、打桩、测试用例生成，驱动生成等方面探讨如何实现方法级的自动单元覆盖测试。重点讨论了基于源代码插装的覆盖分析和基于函数后置信息以及区间缩减的打桩技术。实验结果表明，所实现的原型系统单元自动化测试系统(Unit Automatic Testing System:UAT)能够自动化的对数值程序进行覆盖测试，并具有良好的覆盖效果；同时在相同条件下，应用函数后置信息和区间缩减的打桩技术，可以在一定程度上提高测试的覆盖率。

>>查看原文初稿链接<<

>>更多科技论文<<