TY - GEN
T1 - Model-based conformance testing for android
AU - Jing, Yiming
AU - Ahn, Gail-Joon
AU - Hu, Hongxin
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84868344703&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84868344703&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-34117-5_1
DO - 10.1007/978-3-642-34117-5_1
M3 - Conference contribution
AN - SCOPUS:84868344703
SN - 9783642341168
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 18
BT - Advances in Information and Computer Security - 7th International Workshop on Security, IWSEC 2012, Proceedings
PB - Springer Verlag
T2 - 7th International Workshop on Security, IWSEC 2012
Y2 - 7 November 2012 through 9 November 2012
ER -