Automated concolic testing of smartphone apps
Automated concolic testing of smartphone apps
复制标题
DOI：
10.1145/2393596.2393666
复制
发表时间：
2012-11
期刊：
影响因子：
--
通讯作者：
Saswat Anand;M. Naik;M. J. Harrold;Hongseok Yang
中科院分区：
文献类型：
--
作者：
Saswat Anand;M. Naik;M. J. Harrold;Hongseok Yang
我们提出了一种算法和系统，用于生成输入事件来锻炼智能手机应用程序。我们的方法是基于concolic测试，并自动和系统地生成事件序列。它通过检查程序执行的条件来识别不同事件序列之间的包含，从而解决路径爆炸问题。我们还描述了我们的方法的Android，最流行的智能手机应用程序平台的实施，并证明其有效性的五个Android应用程序的评估结果。
We present an algorithm and a system for generating input events to exercise smartphone apps. Our approach is based on concolic testing and generates sequences of events automatically and systematically. It alleviates the path-explosion problem by checking a condition on program executions that identifies subsumption between different event sequences. We also describe our implementation of the approach for Android, the most popular smartphone app platform, and the results of an evaluation that demonstrates its effectiveness on five Android apps.