Abstract
Smart phones have occupied an irreplaceable place in our daily life. As software in mobile systems is a far cry from software in traditional computer operating systems, we can’t directly use existing technologies to verify the correctness and reliability of mobile applications. JPF (Java Pathfinder) is a tool to make model detection of Java programs, but it doesn’t support the detection of Android programs. This paper proposes a method which can make JPF support Android in bug detection, especially in the detection of no sleep bugs of energy leak. Using this tool, we analyzed ten open-source Android applications and successfully detected common bugs and no sleep bugs of energy leak, which means we have made progress in enhancing detection speed and in lowering down misjudgement rate.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Jindal, A., Pathak, A., Hu, Y.C., Midkiff, S.: On death, taxes, and sleep disorder bugs in smartphones. In: Proceedings of the Workshop on Power-Aware Computing and Systems, pp. 1–5. ACM (2013)
Qiu, M., Zhong, M., Li, J., Gai, K., Zong, Z.: Phase-change memory optimization for green cloud with genetic algorithm. IEEE Trans. Comput. 64(12), 3528–3540 (2015)
Gai, K., Qiu, M., Zhao, H.: Cost-aware multimedia data allocation for heterogeneous memory using genetic algorithm in cloud computing. IEEE Trans. Cloud Comput. (2016)
Pathak, A., et al.: What is keeping my phone awake? characterizing and detecting no-sleep energy bugs in smartphone apps. In: Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services. ACM (2012)
Pathak, A., Charlie Hu, Y., Zhang, M.: Bootstrapping energy debugging on smartphones: a first look at energy bugs in mobile devices. In: Proceedings of the 10th ACM Workshop on Hot Topics in Networks. ACM (2011)
Gottschalk, M., et al.: Removing energy code smells with reengineering services. In: Beitragsband der 42. Jahrestagung der Gesellschaft für Informatik e.v, pp. 441–455 (2012)
Liu, Y., Xu, C., Cheung, S.C.: Where has my battery gone? finding sensor related energy black holes in smartphone applications. In: proceedings of IEEE International Conference on Pervasive Computing and Communications (PerCom). IEEE (2013)
Zhang, L., et al.: Adel: an automatic detector of energy leaks for smartphone applications. In: Proceedings of the Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis. ACM (2012)
Enck, W., et al.: TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones. In: OSDI, vol. 10 (2010)
Jindal, A., et al.: Hypnos: understanding and treating sleep conflicts in smartphones. In: Proceedings of the 8th ACM European Conference on Computer Systems. ACM (2013)
Cai, S., Sun, H., Gu, S., Ming, Z.: Learning concept hierarchy from folksonomy. In: Proceedings of Eighth Web Information Systems, Applications Conference, pp. 47–51. IEEE Computer Society (2011)
Havelund, K., Pressburger, T.: Model checking java programs using java pathfinder. Int. J. Softw. Tools Technol. Transf. 2(4), 366–381 (2000)
Vekris, P., et al.: Towards verifying android apps for the absence of no-sleep energy bugs. In: Proceedings of the 2012 USENIX Conference on Power-Aware Computing and Systems. USENIX Association (2012)
van der Merwe, H., van der Merwe, B., Visser, W.: Verifying android applications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 37(6), 1–5 (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Wu, L., Lu, Y., Qi, J., Cai, S., Deng, B., Ming, Z. (2017). Bug Analysis of Android Applications Based on JPF. In: Qiu, M. (eds) Smart Computing and Communication. SmartCom 2016. Lecture Notes in Computer Science(), vol 10135. Springer, Cham. https://doi.org/10.1007/978-3-319-52015-5_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-52015-5_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-52014-8
Online ISBN: 978-3-319-52015-5
eBook Packages: Computer ScienceComputer Science (R0)