Skip to main content

Model-Based Conformance Testing for Android

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNSC,volume 7631)

Abstract

With the surging computing power and network connectivity of smartphones, more third-party applications and services are deployed on these platforms and enable users to customize their mobile devices. Due to the lack of rigorous security analysis, fast evolving smartphone platforms, however, have suffered from a large number of system vulnerabilities and security flaws. In this paper, we present a model-based conformance testing framework for mobile platforms, focused on Android platform. Our framework systematically generates test cases from the formal specification of the mobile platform and performs conformance testing with the generated test cases. We also demonstrate the feasibility and effectiveness of our framework through case studies on Android Inter-Component Communication module.

Keywords

  • Intent Object
  • System Under Test
  • Generate Test Case
  • Access Control Model
  • Alloy Analyzer

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   72.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Android compatibility, http://source.android.com/compatibility/

  2. Android sdk cocument, http://developer.android.com/reference/android/package-summary.html/

  3. Android testing fundamentals, http://developer.android.com/guide/topics/testing/testing_android.html#Instrumentation

  4. The elementtree xml api, http://docs.python.org/library/xml.etree.elementtree.html

  5. Apple rises to the top as worldwide smartphone market grows 65.4% in the second quarter of 2011, idc finds (August 2011), http://www.idc.com/getdoc.jsp?containerId=prUS22974611

  6. Amalfitano, D., Fasolino, A.R., Tramontana, P.: A gui crawling-based technique for android mobile application testing. In: IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 252–261. IEEE (2011)

    Google Scholar 

  7. Beizer, B.: Software testing techniques. Dreamtech Press (2002)

    Google Scholar 

  8. Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on java predicates. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 123–133. ACM (2002)

    Google Scholar 

  9. Chaudhuri, A.: Language-based security on android. In: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, pp. 1–7. ACM (2009)

    Google Scholar 

  10. Chin, E., Felt, A.P., Greenwood, K., Wagner, D.: Analyzing inter-application communication in android. In: MobiSys, pp. 239–252 (2011)

    Google Scholar 

  11. Clarke, E., Grumberg, O., Peled, D.: Model checking (2000)

    Google Scholar 

  12. Constant, C., Jéron, T., Marchand, H., Rusu, V.: Integrating formal verification and conformance testing for reactive systems. IEEE Transactions on Software Engineering 33(8), 558–574 (2007)

    CrossRef  Google Scholar 

  13. Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J.M., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of the 1999 International Conference on Software Engineering, pp. 285–294. IEEE (1999)

    Google Scholar 

  14. Enck, W., Gilbert, P., Chun, B.G., Cox, L.P., Jung, J., McDaniel, P., Sheth, A.N.: Taintdroid: An information-flow tracking system for realtime privacy monitoring on smartphones. In: Proceedings of OSDI (2010)

    Google Scholar 

  15. Enck, W., Ongtang, M., McDaniel, P.: On lightweight mobile phone application certification. In: Proceedings of the 16th ACM Conference on Computer and Communications Security, pp. 235–245. ACM (2009)

    Google Scholar 

  16. Felt, A., Chin, E., Hanna, S., Song, D., Wagner, D.: Android permissions demystified. Technical report (2011)

    Google Scholar 

  17. Fewster, M., Graham, D.: Software test automation: effective use of test execution tools. ACM Press/Addison-Wesley Publishing Co. (1999)

    Google Scholar 

  18. Gamma, E., Beck, K.: Junit: A cook’s tour. Java Report 4(5), 27–38 (1999)

    Google Scholar 

  19. Hu, H., Ahn, G.: Enabling verification and conformance testing for access control model. In: Proceedings of the 13th ACM Symposium on Access Control Models and Technologies, pp. 195–204. ACM (2008)

    Google Scholar 

  20. Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM) 11(2), 256–290 (2002)

    CrossRef  Google Scholar 

  21. Khurshid, S., Marinov, D.: Testera: Specification-based testing of java programs using sat. Automated Software Engineering 11(4), 403–434 (2004)

    CrossRef  Google Scholar 

  22. Lewis, D.D., Jones, K.S.: Natural language processing for information retrieval. Communications of the ACM 39(1), 92–101 (1996)

    CrossRef  Google Scholar 

  23. Mitchell, D.G.: A sat solver primer. Bulletin of the European Association for Theoretical Computer Science 85(112-133), 12 (2005)

    Google Scholar 

  24. Robinson, J.A., Voronkov, A.: Handbook of automated reasoning, vol. 1. North-Holland (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jing, Y., Ahn, GJ., Hu, H. (2012). Model-Based Conformance Testing for Android. In: Hanaoka, G., Yamauchi, T. (eds) Advances in Information and Computer Security. IWSEC 2012. Lecture Notes in Computer Science, vol 7631. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34117-5_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34117-5_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34116-8

  • Online ISBN: 978-3-642-34117-5

  • eBook Packages: Computer ScienceComputer Science (R0)