Amplifying tests to validate exception handling code: An extended study in the mobile application domain

ACM Transactions on Software Engineering and Methodology

Volumn 23, Issue 4, 2014, Pages

  Zhang, Pingyu ^a   Elbaum, Sebastian ^a  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

Exception handling; Mobile applications; Test amplification; Test case generation; Test transformation

Indexed keywords

MOBILE COMPUTING; PROGRAM DEBUGGING; TESTING;

EXCEPTION HANDLING; MOBILE APPLICATIONS; TEST AMPLIFICATIONS; TEST CASE GENERATION; TEST TRANSFORMATION;

SOFTWARE TESTING;

EID: 84907021168     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/2652483     Document Type: Conference Paper

References (44)

1. Mithun Acharya and Tao Xie. 2009. Mining API error-handling specifications from source code. In Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: held as part of the Joint European Conferences on Theory and Practice of Software (ETAPS/FASE'09). Springer-Verlag, Berlin, Heidelberg, 370-384.
2. Android-Aspect J Tool. 2011. http://code.google.com/p/android-aspectj/. (2011).
3. Android Developers Doc. 2011. http://developer.android.com/index.html. (2011).
4. Android Open Source DB. 2012. http://www.aopensource.com/. (2012).
5. Android Wifi Tether Code Host. 2012. http://code.google.com/p/myandroid-wifi-tether/. (2012).
6. AndroLib. 2012. http://www.androlib.com/appstats.aspx. (2012).
7. AppBrain. 2014. http://www.appbrain.com/stats/number-of-android-apps. (2014).
8. AspectJ Project. 2011. http://www.eclipse.org/aspectj/. (2011).
9. Eiji Adachi Barbosa, Alessandro Garcia, and Mira Mezini. 2012. Heuristic strategies for recommendation of exception handling code. In Proceedings of the 26th Brazilian Symposium on Software Engineering. 171-180.
10. Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, SethHallem, CharlesHenri-Gros, Asya Kamsky, Scott McPeak, and Dawson Engler. 2010. A few billion lines of code later: Using static analysis to find bugs in the real world. Commun. ACM 53, 2 (2010), 66-75. http://doi.acm.org/10.1145/1646353.1646374
11. James M. Bieman, Daniel Dreilinger, and Lijun Lin. 1996. Using fault injection to increase software test coverage. In Proceedings of the International Symposium on Software Reliability Engineering. 166-174.
12. Chandrasekhar Boyapati, Sarfraz Khurshid, and Darko Marinov. 2002. Korat: Automated testing based on Java predicates. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'02). ACM, New York, NY, 123-133.
13. Raymond P. L. Buse and Westley R. Weimer. 2008. Automatic documentation inference for exceptions. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'08). ACM, New York, NY, 273-282.
14. BusLinc Code Host. 2011. http://code.google.com/p/android-unl2011/. (2011).
15. Jong-Deok Choi, David Grove, Michael Hind, and Vivek Sarkar. 1999. Efficient and precise modeling of exceptions for the analysis of Java programs. SIGSOFT Softw. Eng. Notes 24, 5 (1999), 21-31.
16. Classification Study Dataset. 2012. http://cse.unl.edu/~pzhang/data/tosem13.zip. (2012).
17. David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, and Kevin J. Sullivan. 2005. Software assurance by bounded exhaustive testing. IEEE Trans. Softw. Eng. 31, 4 (2005), 328-339.
18. Cyrket Mobile App Statistics. 2012. http://www.cyrket.com/m/android/. (2012).
19. Brett Daniel, Danny Dig, Kely Garcia, and Darko Marinov. 2007. Automated testing of refactoring engines. In Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE'07). ACM, New York, NY, 185-194.
20. EasyMock. 2012. http://easymock.org/. (2012).
21. Sebastian Elbaum, Hui Nee Chin, Matthew B. Dwyer, and Jonathan Dokulil. 2006. Carving differential unit test cases from system test cases. In Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT'06/FSE-14). ACM, New York, NY, 253-264.
22. Steve Freeman andNat Pryce. 2006. Evolving an embedded domain-specific language in Java. In Proceedings of the Companion to the 21st ACM SIGPLAN Symposium on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'06). ACM, New York, NY, 855-865.
23. Chen Fu and Barbara G. Ryder. 2007. Exception-chain analysis: Revealing exception handling architecture in Java server applications. In Proceedings of the International Conference on Software Engineering (ICSE'07). IEEE Computer Society, Washington, DC, 230-239.
24. Chen Fu, Barbara G. Ryder, Ana Milanova, and David Wonnacott. 2004. Testing of Java Web services for robustness. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and analysis (ISSTA'04). ACM, New York, NY, 23-34.
25. Daniel Jackson and Craig Damon. 1996. Elements of style: Analyzing a software design feature with a counterexample detector. IEEE Trans. Softw. Eng. 22, 7 (1996), 484-495.
26. JMock. 2011. http://www.jmock.org/index.html. (2011).
27. K-9 Mail Code Host. 2012. http://code.google.com/p/k9mail/. (2012).
28. Keepassdroid Code Host. 2011. http://code.google.com/p/keepassdroid/. (2011).
29. Le Wiki Koumbit. 2012. Open source Android applications. https://wiki.koumbit.net/AndroidFreeSoftware. (2012).
30. myTracks Code Host. 2011. http://code.google.com/p/mytracks/. (2011).
31. Open GPS Tracker Code Host. 2012. http://code.google.com/p/open-gpstracker/. (2012).
32. Open Street Map Wiki. 2012. http://wiki.openstreetmap.org/wiki/AndroidOpenSource. (2012).
33. M. P. Robillard, E. Bodden, D. Kawrykow, M. Mezini, and T. Ratchford. 2013. Automated API property inference techniques. IEEE Trans. Softw. Eng. 39, 5 (2013), 613-637.
34. Martin P. Robillard and Gail C. Murphy. 2003. Static analysis to support the evolution of exception structure in object-oriented systems. ACM Trans. Softw. Eng. Methodol. 12, 2 (2003), 191-221.
35. Michele Sama, Sebastian G. Elbaum, Franco Raimondi, David S. Rosenblum, and Zhimin Wang. 2010. Context-aware adaptive applications: Fault patterns and their automated identification. IEEE Trans. Softw. Eng. 36, 5 (2010), 644-661.
36. Z. Segall, D. Vrsalovic, D. Siewiorek, D. Yaskin, J. Kownacki, J. Barton, R. Dancey, A. Robinson, and T. Lin. 1988. FIAT-fault injection based automated testing environment. In Proceedings of the 18th International Symposium on Fault-Tolerant Computing. 102-107.
37. Saurabh Sinha and Mary Jean Harrold. 1999. Analysis and testing of programs with exception-handling constructs. IEEE Trans. Softw Eng. 26 (1999), 849-871.
38. Saurabh Sinha, Alessandro Orso, and Mary Jean Harrold. 2004. Automated Support for development, maintenance, and testing in the presence of implicit control flow. In Proceedings of the 26th International Conference on Software Engineering (ICSE'04). IEEE Computer Society, DC, 336-345.
39. SipDroidVoIP Code Host. 2011. http://code.google.com/p/sipdroid/. (2011).
40. Suresh Thummalapenta and Tao Xie. 2009. Mining exception-handling rules as sequence association rules. In Proceedings of the 31st International Conference on Software Engineering (ICSE'09). IEEE Computer Society, Washington, DC, 496-506.
41. Trac. 2012. Open source Android applications. http://trac.osuosl.org/trac/replicant/wiki/ListOfKnownFreeApps. (2012).
42. Wikipedia. 2012. List of open source Android application. http://en.wikipedia.org/wiki/List-of-open-source-Android-applications. (2012).
43. XBMC Remote Code Host. http://code.google.com/p/android-xbmcremote/. (2011).
44. Pingyu Zhang and Sebastian Elbaum. 2012. Amplifying tests to validate exception handling code. In Proceedings of the International Conference on Software Engineering (ICSE'12). IEEE Press, Piscataway, NJ, 595-605.