MDroid+：一个面向 Android 的变异测试框架
软件工程
2018-02-14 v1
摘要
变异测试在评估测试套件有效性方面已显示出巨大前景，同时在测试用例生成、选择与优先级排序方面具有额外应用。传统变异测试通常利用一组简单的语言特定源代码变换（称为算子）来引入故障。然而，实证研究表明，为使变异测试最为有效，必须用针对被测软件领域的特定算子来扩充这些简单算子。移动应用是变异测试应用中的一个具有挑战性的软件领域。尽管移动设备及其配套应用已成为现代计算的主流，但其开发中使用的框架与模式使得测试与验证尤为困难。作为帮助度量并确保移动测试实践有效性的一步，我们引入了 MDroid+，一个用于 Android 应用变异测试的自动化框架。MDroid+ 包含源自十类经实证推导的 Android 故障的 38 个变异算子，并已应用于为超过 50 个应用生成逾 8000 个变异体。
引用
@article{arxiv.1802.04749,
title = {MDroid+: A Mutation Testing Framework for Android},
author = {Kevin Moran and Michele Tufano and Carlos Bernal-Cárdenas and Mario Linares-Vásquez and Gabriele Bavota and Christopher Vendome and Massimiliano Di Penta and Denys Poshyvanyk},
journal= {arXiv preprint arXiv:1802.04749},
year = {2018}
}
备注
4 Pages, Accepted to the Formal Tool Demonstration Track at the 40th International Conference on Software Engineering (ICSE'18)