Andreas S. Andreou, Anastasis Sofokleous, Charis Panayi


GUI testing is currently one of the most expensive and time consuming processes in the software life-cycle and according to some estimates this cost can reach up to 50 to 70% of the whole cost of the project. This paper proposes a framework for specification-based automated GUI testing which employs a GUI analyzer for dynamic analysis and extraction of GUI object information, a system for automatic test case generation driven by Spec#, a test-case execution algorithm that executes test-cases automatically and a verifier that compares the expected with the actual result of the test. Preliminary experimental results demonstrate the efficiency and effectiveness of the framework.


  1. Barnett, M., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veans, M., 2003. Model-Based Testing with AsmL.NET. In Proceedings of the 1st European Conference on Model-Driven Software Engineering.
  2. Briand, L., Labiche, Y., 2002. A UML-based approach to system testing. Journal of Software and Systems Modeling, vol. 1, no. 1, pp. 10-42. Springer.
  3. Edwards, S. H., 2001. A framework for practical, automated black-box testing of component-based software. Journal of Software Testing, Verification and Reliability, vol. 11, no. 2, pp. 97-111.
  4. Kim, Y. G., Hong, H. S., Bae, D. H., Cha, S. D., 1999. Test cases generation from UML state diagrams IEE Proceedings - Software, vol. 146, no. 4, pp. 187-192.
  5. Krichen, M., Tripakis, S., 2004. Black-box conformance testing for real-time systems. Journal of Model Checking Software, pp. 109-126. Springer.
  6. Li, K., Wu, M,. 2004. Effective GUI Test Automation: Developing an Automated GUI Testing Tool (Chapter 2). Sybex Inc.
  7. Memon, A., Banerjee, I., Nagarajan, A., 2003. GUI ripping: Reverse Engineering of graphical user interfaces for testing. In Proceedings of The 10th Working Conference on Reverse Engineering.
  8. Memon, A., Nagarajan, A., Xie, Q., 2005. Automating regression testing for evolving GUI software. Journal of Software Maintenance and Evolution: Research and Practice vol.17, no. 1, pp.27-64.
  9. Memon, A., Pollack, M., Soffa, M., 2001. Hierarchical GUI test case generation using automated planning. Journal of IEEE Transactions on Software Engineering, vol. 27, no. 2, pp. 144-155.
  10. Offutt, J., Liu, S., Abdurazik, A., Ammann, P., 2003. Generating test data from state-based specifications. Journal of Software Testing, Verification and Reliability, vol. 13, no. 1, pp. 25-53. John Wiley & Sons.
  11. Paiva, A. C. R., Faria, J. C. P., Tillmann, N., Vidal, R. F. A. M., 2005. A Model-to-implementation Mapping Tool for Automated Model-based GUI Testing. In Proceedings of ICFEM'05, Manchester, UK.
  12. Ranorex GmbH, 2009. Ranorex - GUI Automation & Automated Testing Tool. www.ranorex.com
  13. Tahat, L. H., Bader, A., Vaysburg, B., Korel, B., 2001. “Requirement-based automated black-box test generation. In Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development, pp. 489-495.

Paper Citation

in Harvard Style

S. Andreou A., Sofokleous A. and Panayi C. (2011). SPECIFICATION-BASED AUTOMATED GUI TESTING . In Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-55-3, pages 318-323. DOI: 10.5220/0003548103180323

in Bibtex Style

author={Andreas S. Andreou and Anastasis Sofokleous and Charis Panayi},
booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},

in EndNote Style

JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
SN - 978-989-8425-55-3
AU - S. Andreou A.
AU - Sofokleous A.
AU - Panayi C.
PY - 2011
SP - 318
EP - 323
DO - 10.5220/0003548103180323