摘要: Users increasingly rely on mobile applications for computational needs. Google Android is a popular platform, hence the reliability of becoming important. Many correctness issues, however, fall outside scope traditional verification techniques, as they are due to novelty platform and its GUI-oriented application construction paradigm. In this paper we present an approach automating testing process applications, with focus GUI bugs. We first conduct bug mining study understand nature frequency bugs affecting applications; our finds that quite numerous. Next, techniques detecting by automatic generation test cases, feeding random events, instrumenting VM, producing log/trace files analyzing them post-run. show how these helped re-discover existing find new bugs, could be used prevent certain categories. believe have potential help developers increase quality applications.
acm.org
sci-hub.se 参考文章(10)
William Enck, Patrick McDaniel, Jaeyeon Jung, Byung-Gon Chun, Peter Gilbert, Anmol N. Sheth, Landon P. Cox, TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones operating systems design and implementation. pp. 393- 407 ,(2010) , 10.5555/1924943.1924971
Amiya Kumar Maji, Kangli Hao, Salmin Sultana, Saurabh Bagchi, Characterizing Failures in Mobile OSes: A Case Study with Android and Symbian international symposium on software reliability engineering. pp. 249- 258 ,(2010) , 10.1109/ISSRE.2010.45
Avik Chaudhuri, Language-based security on Android Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security - PLAS '09. pp. 1- 7 ,(2009) , 10.1145/1554339.1554341
William Enck, Machigar Ongtang, Patrick McDaniel, Understanding Android Security ieee symposium on security and privacy. ,vol. 7, pp. 50- 57 ,(2009) , 10.1109/MSP.2009.26
Machigar Ongtang, Stephen McLaughlin, William Enck, Patrick McDaniel, Semantically Rich Application-Centric Security in Android annual computer security applications conference. pp. 340- 349 ,(2009) , 10.1109/ACSAC.2009.39
Qing Xie, Atif Memon, Studying the Characteristics of a "Good" GUI Test Suite international symposium on software reliability engineering. pp. 159- 168 ,(2006) , 10.1109/ISSRE.2006.45
Daniel R. Hackner, Atif M. Memon, Test case generator for GUITAR Companion of the 13th international conference on Software engineering - ICSE Companion '08. pp. 959- 960 ,(2008) , 10.1145/1370175.1370207
Dawson Engler, Ken Ashcraft, RacerX: effective, static detection of race conditions and deadlocks symposium on operating systems principles. ,vol. 37, pp. 237- 252 ,(2003) , 10.1145/1165389.945468
Xun Yuan, A.M. Memon, Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback IEEE Transactions on Software Engineering. ,vol. 36, pp. 81- 95 ,(2010) , 10.1109/TSE.2009.68
Mika Katara, Mika Maunumaa, Tuula Pääkkönen, Antti Kervinen, Model-Based Testing Through a GUI Lecture Notes in Computer Science. pp. 16- 31 ,(2006)