Skip to main content
SpringerLink
Log in

Model-Based Conformance Testing for Android

  • Conference paper
Advances in Information and Computer Security (IWSEC 2012)

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

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 72.00
Price excludes VAT (USA)
  • 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

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)

    Article  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)

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  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

  1. Laboratory of Security Engineering for Future Computing (SEFCOM), Arizona State University, Tempe, AZ85281, USA

    Yiming Jing & Gail-Joon Ahn

  2. Delaware State University, Dover, DE19901, USA

    Hongxin Hu

Authors
  1. Yiming Jing
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gail-Joon Ahn
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hongxin Hu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Research Institute for Secure Systems (RISEC), National Institute of Advanced Industrial Science and Technology (AIST), 1-1-1 Umezono, 305-8568, Tsukuba, Japan

    Goichiro Hanaoka

  2. Graduate School of Natural Science and Technology, Okayama University, 3-1-1 Tsushima-naka, 700-8530, Okayama, Japan

    Toshihiro Yamauchi

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)

Publish with us

Policies and ethics

Search

Navigation