Abstract:
In this work, we present a tool that systematically discovers and tests the user-observable states of an Android application. We define an appropriate notion of test coverage, and we show the tool's potential by applying it to several publicly available applications. © 2017 IEEE.
Registro:
Documento: |
Conferencia
|
Título: | High-coverage testing of navigation models in android applications |
Autor: | Paulovsky, F.; Pavese, E.; Garbervetsky, D. |
Filiación: | Departamento de Computacion, Universidad de Buenos Aires, Buenos Aires, Argentina Institut fur Informatik, Humboldt Universitat, Berlin, Germany Departamento de Computacion, Universidad de Buenos Aires, CONICET, Buenos Aires, Argentina
|
Palabras clave: | Android Testing; Automatic Testing; GUI-based Testing; Android (operating system); Automatic testing; Android applications; Coverage testing; Navigation model; Test coverage; Software testing |
Año: | 2017
|
Página de inicio: | 52
|
Página de fin: | 58
|
DOI: |
http://dx.doi.org/10.1109/AST.2017.6 |
Título revista: | 12th IEEE/ACM International Workshop on Automation of Software Testing, AST 2017
|
Título revista abreviado: | Proc. - IEEE/ACM Int. Workshop Autom. Softw. Test., AST
|
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97815386_v_n_p52_Paulovsky |
Referencias:
- Amalfitano, D., Fasolino, A.R., Tramontana, P., Ta, B.D., Memon, A.M., MobiGUITAR: Automated model-based testing of mobile apps (2015) IEEE Software, 32 (5), pp. 53-59
- Yang, W., Prasad, M.R., Xie, T., A grey-box approach for automated gui-model generation of mobile applications (2013) FASE, pp. 250-265. , Springer
- Machiry, A., Tahiliani, R., Naik, M., Dynodroid: An input generation system for android apps (2013) FSE. ACM, pp. 224-234
- Choi, W., Necula, G., Sen, K., Guided gui testing of android apps with minimal restart and approximate learning (2013) ACM SIGPLAN Notices, 48 (10), pp. 623-640. , ACM
- (2010) Robotium, , http://robotium.com, Online]. Available
- Choudhary, S.R., Gorla, A., Orso, A., (2015) Automated Test Input Generation for Android: Are We There Yet? ASE, Ser. ASE ?15, pp. 429-440. , Washington, DC, USA IEEE Computer Society
- Amalfitano, D., Fasolino, A.R., Tramontana, P., De Carmine, S., Memon, A.M., Using gui ripping for automated testing of android applications (2012) Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering. ACM, pp. 258-261
- Havelund, K., Pressburger, T., Model checking Java programs using Java pathfinder (2000) STTT, 2 (4), pp. 366-381
- Van der Merwe, H., Van der Merwe, B., Visser, W., Execution and property specifications for JPF-Android (2014) SIGSOFT SEN, 39 (1), pp. 1-5. , Feb
- Mirzaei, N., Malek, S., Psreanu, C.S., Esfahani, N., Mahmood, R., Testing android apps through symbolic execution (2012) SIGSOFT SEN, 37 (6), pp. 1-5
- Anand, S., Naik, M., Harrold, M.J., Yang, H., (2012) Automated Concolic Testing of Smartphone Apps ser, 59, pp. 1-59. , FSE ?12. New York, NY, USA ACM 11
- Gomez, L., Neamtiu, I., Azim, T., Millstein, T., Reran: Timing-And touch-sensitive record and replay for android (2013) ICSE, pp. 72-81. , IEEE
- Godefroid, P., Klarlund, N., Sen, K., Dart: Directed automated random testing (2005) ACM Sigplan Notices, 40 (6), pp. 213-223. , ACM
- Zheng, H., Li, D., Liang, B., Zeng, X., Zheng, W., Deng, Y., Lam, W., Xie, T., Automated test input generation for android: Towards getting there in an industrial case (2017) Proceedings of the 39th International Conference on Software Engineering (ICSE 2017), Software Engineering in Practice (SEIP, , ACM
- Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., Le Traon, Y., McDaniel, P., Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-Aware taint analysis for android apps (2014) ACM Sigplan Notices, 49 (6), pp. 259-269A4 -
Citas:
---------- APA ----------
Paulovsky, F., Pavese, E. & Garbervetsky, D.
(2017)
. High-coverage testing of navigation models in android applications. 12th IEEE/ACM International Workshop on Automation of Software Testing, AST 2017, 52-58.
http://dx.doi.org/10.1109/AST.2017.6---------- CHICAGO ----------
Paulovsky, F., Pavese, E., Garbervetsky, D.
"High-coverage testing of navigation models in android applications"
. 12th IEEE/ACM International Workshop on Automation of Software Testing, AST 2017
(2017) : 52-58.
http://dx.doi.org/10.1109/AST.2017.6---------- MLA ----------
Paulovsky, F., Pavese, E., Garbervetsky, D.
"High-coverage testing of navigation models in android applications"
. 12th IEEE/ACM International Workshop on Automation of Software Testing, AST 2017, 2017, pp. 52-58.
http://dx.doi.org/10.1109/AST.2017.6---------- VANCOUVER ----------
Paulovsky, F., Pavese, E., Garbervetsky, D. High-coverage testing of navigation models in android applications. Proc. - IEEE/ACM Int. Workshop Autom. Softw. Test., AST. 2017:52-58.
http://dx.doi.org/10.1109/AST.2017.6