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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Android compatibility, http://source.android.com/compatibility/
Android sdk cocument, http://developer.android.com/reference/android/package-summary.html/
Android testing fundamentals, http://developer.android.com/guide/topics/testing/testing_android.html#Instrumentation
The elementtree xml api, http://docs.python.org/library/xml.etree.elementtree.html
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
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)
Beizer, B.: Software testing techniques. Dreamtech Press (2002)
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)
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)
Chin, E., Felt, A.P., Greenwood, K., Wagner, D.: Analyzing inter-application communication in android. In: MobiSys, pp. 239–252 (2011)
Clarke, E., Grumberg, O., Peled, D.: Model checking (2000)
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)
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)
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)
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)
Felt, A., Chin, E., Hanna, S., Song, D., Wagner, D.: Android permissions demystified. Technical report (2011)
Fewster, M., Graham, D.: Software test automation: effective use of test execution tools. ACM Press/Addison-Wesley Publishing Co. (1999)
Gamma, E., Beck, K.: Junit: A cook’s tour. Java Report 4(5), 27–38 (1999)
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)
Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM) 11(2), 256–290 (2002)
Khurshid, S., Marinov, D.: Testera: Specification-based testing of java programs using sat. Automated Software Engineering 11(4), 403–434 (2004)
Lewis, D.D., Jones, K.S.: Natural language processing for information retrieval. Communications of the ACM 39(1), 92–101 (1996)
Mitchell, D.G.: A sat solver primer. Bulletin of the European Association for Theoretical Computer Science 85(112-133), 12 (2005)
Robinson, J.A., Voronkov, A.: Handbook of automated reasoning, vol. 1. North-Holland (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)