Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage
Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage
复制标题
侵入式软件测试：改变目标程序以使测试探索多样化以实现高测试覆盖率
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Moonzoo Kim
中科院分区：
文献类型：
--
作者：
Yunho Kim;Shin Hong;Bongseok Ko;Duy Loc Phan;Moonzoo Kim
软件测试技术在过去的几十年里取得了很大的进步，然而，目前的大多数技术仍然测试目标程序，因为它是，并未能利用有价值的信息，不同的测试执行的许多变种的原始程序在测试生成。本文提出了软件测试的一个新方向-侵入式软件测试（IST）。IST首先通过应用变异操作1;：; n从原始目标程序p生成一组目标程序变体m1;：; mn。第二，给定一个测试集T，IST用T执行m1;：; mn，并记录与用T执行p相比增加测试覆盖率的测试运行。根据记录的信息，IST生成路标自动测试生成p对高测试覆盖率。最后，IST生成测试输入p的路标，并实现更高的测试覆盖率。我们开发了DEMINER，它通过软件变异和concolic测试实现了C程序的IST。此外，我们在三个真实世界的目标程序Busybox-ls，Busybox-printf和GNU-find上展示了DEMINER的有效性。实验结果表明，DEMINER改进后的分支覆盖率比传统的concolic测试技术平均提高了24.7%。
Software testing techniques have advanced significantly over several decades; however, most of current techniques still test a target program as it is, and fail to utilize valuable information of diverse test executions on many variants of the original program in test generation. This paper proposes a new direction for software testing – Invasive Software Testing (IST). IST first generates a set of target program variants m1; :::;mn from an original target program p by applying mutation operations 1; :::; n. Second, given a test suite T, IST executes m1; :::;mn with T and records the test runs which increase test coverage compared to p with T. Based on the recorded information, IST generates guideposts for automated test generation on p toward high test coverage. Finally, IST generates test inputs on p with the guideposts and achieves higher test coverage. We developed DEMINER which implements IST for C programs through software mutation and concolic testing. Further, we showed the effectiveness of DEMINER on three real-world target programs Busybox-ls, Busybox-printf, and GNU-find. The experiment results show that the amount of the improved branch coverage by DEMINER is 24.7% relatively larger than those of the conventional concolic testing techniques on average.