Evaluating the model-based testing approach in the context of mobile applications

Electronic Notes in Theoretical Computer Science

Volumn 314, Issue , 2015, Pages 3-21

  De Cleva Farto, Guilherme ^a,b,c   Endo, Andre Takeshi ^a  

^a UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ   (Brazil)

^b Instituto Municipal de Ensino Superior de Assis IMESA   (Brazil)

^c TOTVS Agroindustria   (Brazil)

Author keywords

Android; automated testing; mobile applications; model based testing

Indexed keywords

ANDROID (OPERATING SYSTEM); MOBILE COMPUTING;

ANDROID; AUTOMATED TESTING; EXPERIMENTAL EVALUATION; FUNCTIONAL REQUIREMENT; MOBILE APPLICATIONS; MODEL BASED TESTING; MODEL-BASED TESTING APPROACHES; RESEARCH PROPOSALS;

MODEL CHECKING;

EID: 84930715729     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2015.05.002     Document Type: Conference Paper

References (41)

1. A.V. Aho, A.T. Dahbura, D. Lee, and M.U. Uyar An optimization technique for protocol conformance test generation based on uio sequences and rural chinese postman tours R.J. Linn, M.U. Uyar, Conformance Testing Methodologies and Architectures for OSI Protocols 1995 IEEE Computer Society Press Los Alamitos, CA, USA 427 438 URL http://dl.acm.org/citation.cfm?id=202035.202073
2. D. Amalfitano, A.R. Fasolino, P. Tramontana, B. Ta, and A. Memon Mobiguitar - a tool for automated model-based testing of mobile apps IEEE Software 99 2014 1
3. Android.com Android developers URL http://developer.android.com 2014
4. Apple.com Apple - ios 7 URL https://www.apple.com/ios/ 2014
5. B. Beizer Software Testing Techniques 2nd edition 1990 Van Nostrand Reinhold Co. New York, NY, USA
6. F. Belli, C.J. Budnik, and L. White Event-based modelling, analysis and testing of user interactions: approach and case study Software Testing, Verification and Reliability (STVR) 16 2006 3 32 URL http://dx.doi.org/10.1002/stvr.335
7. M. Blackburn, R. Busser, and A. Nauman Why model-based test automation is different and what you should know to get started International Conference on Practical Software Quality and Testing, Software Productivity Consortium 2004 212 232
8. J. Bo, L. Xiang, and G. Xiaopeng Mobiletest: A tool supporting automatic black box test for software on smart mobile devices Proceedings of the 2nd International Workshop on Automation of Software Test (AST) 2007 8
9. F. Bouquet, S. Debricon, B. Legeard, J.-D. Nicolet, Extending the unified process with model-based testing, 2006.
10. A.L.L. de Figueiredo, W.L. Andrade, and P.D.L. Machado Generating interaction test cases for mobile phone systems from use case specifications ACM SIGSOFT Software Engineering Notes (SEN) 31 2006 1 10 URL http://doi.acm.org/10.1145/1218776.1218788
11. P.J. Deitel, H.M. Deitel, A. Deitel, and M. Morgano Android for Programmers: An App-Driven Approach 1st edition 2012 Prentice Hall Press Upper Saddle River, NJ, USA
12. M.E. Delamaro, A.M.R. Vincenzi, and J.C. Maldonado A strategy to perform coverage testing of mobile applications Proceedings of the 2006 International Workshop on Automation of Software Test (AST) AST '06 2006 118 124 URL http://doi.acm.org/10.1145/1138929.1138952
13. L.H.O. do Nascimento, and P.D.L. Machado An experimental evaluation of approaches to feature testing in the mobile phone applications domain Proceedings of the Domain-Specific Approaches to Software Test Automation: In Conjunction with the 6th ESEC/FSE Joint Meeting DOSTA '07 2007 27 33 URL http://doi.acm.org/10.1145/1294921.1294926
14. I.K. El-Far, and J.A. Whittaker Model-based software testing Encyclopedia of Software Engineering 2002 John Wiley & Sons, Inc. 825 837 URL http://dx.doi.org/10.1002/0471028959.sof207
15. A.T. Endo Model-based testing of service oriented applications Ph.d. dissertation 2013 ICMC, USP, São Carlos, SP
16. Espresso Espresso - android test kit URL https://code.google.com/p/android-test-kit/wiki/Espresso 2014
17. Fundamentals, A.T. Android testing framework URL http://developer.android.com/tools/testing/testing-android.html 2014
18. I. Gartner Gartner says worldwide tablet sales grew 68 percent in 2013, with android capturing 62 percent of the market URL http://www.gartner.com/newsroom/id/2674215 2014
19. W. Grieskamp, N. Kicillof, K. Stobie, and V. Braberman Model-based quality assurance of protocol documentation: Tools and methodology Software Testing, Verification and Reliability (STVR) 21 2011 55 71 URL http://dx.doi.org/10.1002/stvr.427
20. R.M. Hierons, K. Bogdanov, J.P. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheorghe, M. Harman, K. Kapoor, P. Krause, G. Lüttgen, A.J.H. Simons, S. Vilkomir, M.R. Woodward, and H. Zedan Using formal specifications to support testing ACM Computing Surveys (CSUR) 41 2009 1 76 URL http://doi.acm.org/10.1145/1459352.1459354
21. C. Hu, and I. Neamtiu Automating gui testing for android applications Proceedings of the 6th International Workshop on Automation of Software Test (AST) AST '11 2011 77 83 URL http://doi.acm.org/10.1145/1982595.1982612
22. C.S. Jensen, M.R. Prasad, and A. Møller Automated testing with targeted event sequence generation Proceedings of the 2013 International Symposium on Software Testing and Analysis (ISSTA) ISSTA 2013 2013 67 77 URL http://doi.acm.org/10.1145/2483760.2483777
23. A. Kumar Maji, K. Hao, S. Sultana, and S. Bagchi Characterizing failures in mobile oses: A case study with android and symbian Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering (ISSRE) 2010 249 258
24. D. Lee, and M. Yannakakis Principles and methods of testing finite state machines - a survey Proceedings of the IEEE 84 1996 1090 1123
25. M. Linschulte On the Role of Test Sequence Length, Model Refinement, and Test Coverage for Reliability Ph.d. dissertation 2013 Universität Paderborn Paderborn
26. Y. Liu, C. Xu, and S.-C. Cheung Characterizing and detecting performance bugs for smartphone applications Proceedings of the 36th International Conference on Software Engineering ICSE 2014 2014 1013 1024 URL http://doi.acm.org/10.1145/2568225.2568229
27. H. Muccini, A. Di Francesco, and P. Esposito Software testing of mobile applications: Challenges and future research directions Proceedings of the 7th International Workshop on Automation of Software Test (AST) 2012 29 35
28. G.J. Myers, C. Sandler, and T. Badgett The Art of Software Testing 3rd edition 2011 Wiley Publishing
29. A. Pathak, A. Jindal, Y.C. Hu, and S.P. Midkiff What is keeping my phone awake?: Characterizing and detecting no-sleep energy bugs in smartphone apps Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services (MobiSys) MobiSys '12 2012 267 280 URL http://doi.acm.org/10.1145/2307636.2307661
30. A. Pretschner, and J. Philipps 10 methodological issues in model-based testing M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner, Model-Based Testing of Reactive Systems Lecture Notes in Computer Science vol. 3472 2005 Springer Berlin, Heidelberg 281 291 URL http://dx.doi.org/10.1007/11498490-13
31. Robolectric Robolectric - test-drive your android code URL http://robolectric.org 2014
32. Robotium Robotium - the world's leading android test automation framework URL https://code.google.com/p/robotium 2014
33. Selendroid Selendroid - selenium for android URL http://selendroid.io 2014
34. A. Sinha, and C. Smidts Hottest: A model-based test design technique for enhanced testing of domain-specific applications ACM Transactions on Software Engineering and Methodology (TOSEM) 15 2006 242 278 URL http://doi.acm.org/10.1145/1151695.1151697
35. Testing, A.U. Ui testing URL http://developer.android.com/tools/testing/testing-ui.html 2014
36. J. Tretmans Conformance testing with labelled transition systems: Implementation relations and test generation Computer Networks and ISDN Systems 29 1996 49 79 URL http://dx.doi.org/10.1016/S0169-7552(96)00017-7
37. M. Utting, and B. Legeard Practical Model-Based Testing: A Tools Approach 2007 Morgan Kaufmann Publishers Inc. San Francisco, CA, USA
38. M. Utting, A. Pretschner, and B. Legeard A taxonomy of model-based testing approaches Software Testing, Verification and Reliability (STVR) 22 2012 297 312 URL http://dx.doi.org/10.1002/stvr.456
39. WindowsPhone.com Windows phone URL http://www.windowsphone.com 2014
40. S. Yang, D. Yan, and A. Rountev Testing for poor responsiveness in android applications 1st International Workshop on the Engineering of Mobile-Enabled Systems (MOBS) 2013 1 6
41. X. Yuan, M. Cohen, and A. Memon Gui interaction testing: Incorporating event context IEEE Transactions on Software Engineering 37 2011 559 574