Table of Contents Author Guidelines Submit a Manuscript
Mobile Information Systems
Volume 2017, Article ID 2012696, 14 pages
https://doi.org/10.1155/2017/2012696
Research Article

Performance Analysis of Spotify® for Android with Model-Based Testing

Departamento Lenguajes y Ciencias de la Computación, E.T.S.I. Informática, Universidad de Málaga, Andalucía Tech, Málaga, Spain

Correspondence should be addressed to Pedro Merino; se.amu.ccl@ordep

Received 24 September 2016; Revised 20 December 2016; Accepted 15 January 2017; Published 16 February 2017

Academic Editor: Porfirio Tramontana

Copyright © 2017 Ana Rosario Espada et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. Cisco, Visual Networking Index Traffic and Service Adoption Forecasts, Cisco, 2016.
  2. C. S. Jensen, M. R. Prasad, and A. Møller, “Automated testing with targeted event sequence generation,” in Proceedings of the 22nd International Symposium on Software Testing and Analysis (ISSTA '13), pp. 67–77, ACM, Lugano, Switzerland, July 2013. View at Publisher · View at Google Scholar · View at Scopus
  3. A. R. Espada, M. M. Gallardo, and D. Adalid, “A runtime verication framework for android applications,” in XXI Jornadas de Concurrencia y Sistemas Distribuidos (JCSD '13), 2013.
  4. A. R. Espada, M. M. Gallardo, A. Salmerón, and P. Merino, “Using model checking to generate test cases for android applications,” in Proceedings of the 10th Workshop on Model Based Testing. Electronic Proceedings in Theoretical Computer Science, N. Pakulin, A. K. Petrenko, and B. H. Schlingloff, Eds., vol. 180, pp. 7–21, Open Publishing Association, 2015.
  5. A. R. Espada, M. Mar Gallardo, A. Salmerón, and P. Merino, “Runtime verification of expected energy consumption in smartphones,” in Model Checking Software, vol. 9232 of Lecture Notes in Computer Science, pp. 132–149, Springer International Publishing, 2015. View at Publisher · View at Google Scholar
  6. A. Díaz-Zayas, C. A. García-Pérez, Á. M. Recio-Pérez, and P. Merino-Gómez, “PerformLTE: a testbed for LTE testing in the future internet,” in Wired/Wireless Internet Communications, vol. 9071 of Lecture Notes in Computer Science, pp. 46–59, Springer International, Cham, Switzerland, 2015. View at Publisher · View at Google Scholar
  7. S. Zein, N. Salleh, and J. Grundy, “A systematic mapping study of mobile application testing techniques,” Journal of Systems and Software, vol. 117, pp. 334–356, 2016. View at Publisher · View at Google Scholar · View at Scopus
  8. Monkey, https://developer.android.com/studio/test/monkey.html.
  9. Monkeyrunner, https://developer.android.com/studio/test/monkeyrunner/index.html.
  10. Robotium, https://code.google.com/p/robotium/.
  11. J. Jeon and J. S. Foster, “Troyd: integration testing for android,” 2012, https://github.com/plum-umd/troyd.
  12. W. Choi, G. Necula, and K. Sen, “Guided GUI testing of android apps with minimal restart and approximate learning,” ACM SIGPLAN Notices, vol. 48, no. 10, pp. 623–640, 2013. View at Publisher · View at Google Scholar
  13. T. Azim and I. Neamtiu, “Targeted and depth-first exploration for systematic testing of android apps,” in Proceedings of the ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA '13), pp. 641–660, ACM, Indianapolis, Ind, USA, 2013.
  14. L. Wei, Y. Liu, and S. C. Cheung, “Taming android fragmentation: characterizing and detecting compatibility issues for android apps,” in Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE '16), pp. 226–237, ACM, Singapore, September 2016. View at Publisher · View at Google Scholar
  15. D. Amalfitano, A. R. Fasolino, P. Tramontana, S. De Carmine, and A. M. Memon, “Using GUI ripping for automated testing of android applications,” in Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE '12), pp. 258–261, Essen, Germany, September 2012. View at Publisher · View at Google Scholar · View at Scopus
  16. D. Amalfitano, A. R. Fasolino, P. Tramontana, B. D. Ta, and A. M. Memon, “MobiGUITAR: automated model-based testing of mobile apps,” IEEE Software, vol. 32, no. 5, pp. 53–59, 2015. View at Publisher · View at Google Scholar
  17. C. Wilke, S. Gotz, J. Reimann, and U. Aÿmann, “Vision paper: towards modelbased energy testing,” in Model Driven Engineering Languages and Systems, J. Whittle, T. Clark, and T. Kühne, Eds., vol. 6981 of Lecture Notes in Computer Science, pp. 480–489, Springer, Berlin, Germany, 2011. View at Google Scholar
  18. C. Thompson, D. Schmidt, H. Turner, and J. White, “Analyzing mobile application software power consumption via model-driven engineering,” in Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems, pp. 101–113, March 2011.
  19. E. Umuhoza and M. Brambilla, “Model driven development approaches for mobile applications: a survey,” in Mobile Web and Intelligent Information Systems, vol. 9847 of Lecture Notes in Computer Science, pp. 93–107, Springer International Publishing, Cham, Germeny, 2016. View at Publisher · View at Google Scholar
  20. T. Kamiyama, H. Inamura, and K. Ohta, “A model-based energy profiler using online logging for Android applications,” in Proceedings of the 7th International Conference on Mobile Computing and Ubiquitous Networking (ICMU '14), pp. 7–13, January 2014. View at Publisher · View at Google Scholar · View at Scopus
  21. F. Willnecker, A. Brunnert, and H. Krcmar, “Model-based energy consumption prediction for mobile applications,” in Proceedings of the 28th International Conference on Informatics for Environmental Protection: ICT for Energy Effieciency (EnviroInfo '14), pp. 747–752, Oldenburg, Germany, September 2014.
  22. S. Nakajima, “Model checking of energy consumption behavior,” in Complex Systems Design & Management Asia: Designing Smart Cities: Proceedings of the First Asia—Pacic Conference on Complex Systems Design & Management, CSD&M Asia 2014, M. A. Cardin, D. Krob, C. P. Lui, H. Y. Tan, and K. Wood, Eds., pp. 3–14, Springer, Cham, Switzerland, 2015. View at Google Scholar
  23. A. Shuba, A. Le, M. Gjoka, J. Varmarken, S. Langho, and A. Markopoulou, “AntMonitor: network traffic monitoring and real-time prevention of privacy leaks in mobile devices,” in Proceedings of the Workshop on Wireless of the Students, by the Students, and for the Students (S3 '15), pp. 25–27, ACM, Paris, France, September 2015. View at Publisher · View at Google Scholar
  24. S. Dai, A. Tongaonkar, X. Wang, A. Nucci, and D. Song, “Network profiler: towards automatic ngerprinting of android apps,” in Proceedings of IEEE Conference on Computer Communications (INFOCOM '13), pp. 809–817, April 2013.
  25. X. Wei, L. Gomez, I. Neamtiu, and M. Faloutsos, “Proledroid: multi-layer proling of android applications,” in Proceedings of the 18th Annual International Conference on Mobile Computing and Networking (Mobicom '12), pp. 137–148, ACM, Istanbul, Turkey, August 2012.
  26. G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual, Addison-Wesley Professional, 2003.
  27. Oracle: Java debug interface, http://docs.oracle.com/javase/6/docs/jdk/api/jpda/jdi/index.html.
  28. V. Jacobson, C. Leres, and S. McCanne, The tcpdump Manual Page, Lawrence Berkeley Laboratory, Berkeley, Calif, USA, 1989, http://www.tcpdump.org/manpages/tcpdump.1.html.
  29. J. O. Blech, Y. Falcone, and K. Becker, “Towards certified runtime verification,” in Formal Methods and Software Engineering, pp. 494–509, Springer, Berlin, Germany, 2012. View at Publisher · View at Google Scholar