A GUI modeling DSL for pattern-based GUI testing PARADIGM

ENASE 2014 - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering

Volumn , Issue , 2014, Pages 126-135

  Moreira, Rodrigo M L M ^a   Paiva, Ana C R ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

Domain specific languages; Graphical modeling DSL; GUI modeling; GUI testing; PARADIGM; Pattern based GUI testing

Indexed keywords

DIGITAL SUBSCRIBER LINES; GRAPHICAL USER INTERFACES; PROBLEM ORIENTED LANGUAGES; SOFTWARE ENGINEERING;

DEVELOPMENT PROCESS; DOMAIN SPECIFIC LANGUAGES; GENERIC SOLUTIONS; GRAPHICAL MODEL; GUI TESTING; PARADIGM; SOFTWARE FEATURES; TESTING METHODOLOGY;

MODELING LANGUAGES;

EID: 84902305809     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5220/0004880601260135     Document Type: Conference Paper

References (25)

1. Brucker, A. D. and Doser, J. (2007). Metamodel-based UML Notations for Domain-specific Languages. In Favre, J. M., Gasevic, D., Lammel, R., andWinter, A., editors, 4th International Workshop on Software Language Engineering (ATEM 2007). Nashville, USA.
2. Cabot, J. and Gogolla, M. (2012). Object constraint language (OCL): a definitive guide. In Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering, SFM'12, pages 58-90, Berlin, Heidelberg. Springer-Verlag.
3. Constantine, L. (2003). Canonical Abstract Prototypes for Abstract Visual and Interaction Design. In Interactive Systems. Design, Specification, and Verification, volume 2844 of LNCS, pages 1-15. Springer-Verlag, Berlin/Heidelberg.
4. Cook, S., Jones, G., Kent, S., andWills, A. (2007). Domain-Specific Development with Visual Studio DSL Tools. Addison-Wesley Professional, first edition.
5. Cunha, M., Paiva, A. C. R., Sereno Ferreira, H., and Abreu, R. (2010). PETTool: A Pattern-Based GUI Testing Tool. In 2nd International Conference on Software Technology and Engineering (ICSTE'10), SFM'12, pages 202-206.
6. Fowler, M. (2010). Domain Specific Languages. Addison-Wesley Professional, 1st edition.
7. Grandite (2008). Open Modelsphere-Free Modeling Software Open Source GPL. http://www.modelsphere.org/. Accessed January, 2013.
8. Gronback, R. C. and Boldt, N. (2013). Graphical ModelingFramework. http://www.eclipse.org/modeling/gmp. Accessed April, 2013.
9. Jackson, D. (2011). Software Abstractions: Logic, Language, and Analysis. MIT Press; 2nd Revised edition.
10. Karsai, G., Krahn, H., Pinkernell, C., Rumpe, B., Schneider,M., and Vlkel, S. (2009). Design Guidelines for Domain Specific Languages. In Rossi, M., Sprinkle, J., Gray, J., and Tolvanen, J.-P., editors, Proceedings of the 9th OOPSLA Workshop on Domain-Specific Modeling (DSM'09), pages 7-13.
11. Memon, A. M., Soffa, M. L., and Pollack, M. E. (2001). Coverage Criteria for GUI Testing. In In Proceedings of the 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-9), pages 256-267. ACM Press.
12. Microsoft (2012). Model-based Testing with SpecExplorer-Microsoft Research. http://research.microsoft.com/enus/projects/specexplorer/. Accessed February,2012.
13. Microsoft (2013). Spec#-Microsoft Research. http://research.microsoft. com/enus/projects/specsharp/. Accessed January, 2013.
14. Monteiro, T. and Paiva, A. C. R. (2013). Pattern Based GUI Testing Modeling Environment. In ICST Workshops, pages 140-143.
15. Moody, D. (2007). What Makes a Good Diagram? Improving the Cognitive Effectiveness of Diagrams in IS Development. In Wojtkowski, W., Wojtkowski, W., Zupancic, J., Magyar, G., and Knapp, G., editors, Advances in Information Systems Development, pages 481-492. Springer US.
16. Moreira, R. M. L. M. and Paiva, A. C. R. (2008). Visual Abstract Notation for GUI Modelling and Testing-VAN4GUIM. In Cordeiro, J., Shishkov, B., Ranchordas, A., and Helfert, M., editors, ICSOFT (SE/MUSE/GSDCA), pages 104-111. INSTICC Press.
17. Moreira, R. M. L. M., Paiva, A. C. R., and Memon, A. (2013). A Pattern-Based Approach for GUI Modeling and Testing. In Proceedings of the 24th International Symposium on Software Reliability Engineering, ISSRE' 13, Pasadena, CA, USA. IEEE Computer Society.
18. Paiva, A., Faria, J. C. P., and Vidal, R. F. A. M. (2003). Specification-Based Testing of User Interfaces. In Interactive Systems. Design, Specification, and Verification, 10th International Workshop, volume 2844 of LNCS, pages 139-153. Springer.
19. Paiva, A. C., Faria, J. C., Tillmann, N., and Vidal, R. A. (2005). A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. In Lau, K.-K. and Banach, R., editors, Formal Methods and Software Engineering, volume 3785 of LNCS, pages 450-464. Springer Berlin Heidelberg.
20. Paterno`, F., Mancini, C., and Meniconi, S. (1997). Concur-TaskTrees: A Diagrammatic Notation for Specifying Task Models. In Proceedings of the IFIP TC13 International Conference on Human-Computer Interaction, INTERACT '97, pages 362-369, London, UK, UK. Chapman & Hall, Ltd.
21. Rubel, D., Wren, J., and Clayberg, E. (2011). The Eclipse Graphical Editing Framework (GEF). Addison-Wesley Professional, 1st edition.
22. Runeson, P. and Ho¨st, M. (2009). Guidelines for conducting and reporting case study research in software engineering. Empirical Software Engineering, 14(2):131-164.
23. StarUML (2005). Staruml-The Open Source UML/MDA Platform. http://staruml.sourceforge.net/en/. Accessed January, 2013.
24. Steinberg, D., Budinsky, F., Paternostro, M., and Merks, E. (2009). EMF: Eclipse Modeling Framework 2.0. Addison-Wesley Professional, 2nd edition.
25. Strembeck, M. and Zdun, U. (2009). An approach for the systematic development of domain-specific languages. Softw. Pract. Exper., 39(15):1253-1292. e a Tecnologia