End to End Specification based Test Generation of Web Applications

Khusbu Bubna

Abstract

Using formal specifications to generate test cases presents great potential for automation in testing and enhancing the quality of test cases. However, an important challenge in this direction is the design specifications which are at a more abstract level than the implementation, with many important implementation level details missing. To generate executable test cases, these implementation details must be included at some stage. Though there has been a lot of work in test generation from specification, all the existing methods suffer from this problem: either the test cases are not executable, or the process involves a non-trivial, manual step of translating the abstract test cases to concrete test cases. In this work, we present an approach of specification based test generation for web applications that overcomes the above challenge: test generation is completely automated and the test cases are fully executable on a test execution framework (e.g. Selenium RC). Further, our methodology allows generation of multiple sets of concrete test cases from the the same formal specification. This makes it possible to use the same abstract specification to generate test cases for a number of versions of the system. Throughout the paper, a case study of Learning Management System is used to illustrate our approach.

References

  1. A. Marcetto, P. T. and Ricca, F. State-based testing of ajax web applications. In Proc. of 2008 Intl. Conf. on Software Testing, Verification, and Validation , pages 121- 130.
  2. Conallen, J. Modeling web application architectures with uml. Communications of ACM, 42(10):63-70.
  3. H. S. Hong, I. L. and Sokolsky, O. Automatic test generation from statecharts using model checking. In Proc. of FATES'01, Workshop on Formal Approaches to Testing of Software, Vol. NS-01-4 of BRICS Notes Series., pages 121-130.
  4. Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274.
  5. K. Homma, S. Izumi, K. T. and Togashi, A. (2009). Modeling and verification of web applications using formal approach. Technical report.
  6. M. H. Alalfi, J. R.Cordy, T. R. Modeling methods for web application verification and testing: State of the art. Software Testing, Verification and Relaibility , 19(4):265-296.
  7. M. Han, C. H. Modeling and verification of adaptive navigation in web applications. In Proc. of 6th Intl. Conf. on Web Engg.
  8. N. Li, J. O. (2013). A test automation language for behavioral models. Technical report.
  9. Ricca, F. and Tonella, P. (2001). Analysis and testing of web applications. In Proc. of 23rd Intl. Conf. on Software Engineering, pages 25-34.
  10. Torsel, A.-M. A testing tool for web applications using a domain-specific modelling language and the nusmv model checker. In Proc. of 6th Intl. Conf. on Software Testing, Verification and Validation , pages 383-390.
Download


Paper Citation


in Harvard Style

Bubna K. (2016). End to End Specification based Test Generation of Web Applications . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-189-2, pages 296-302. DOI: 10.5220/0005919102960302


in Bibtex Style

@conference{enase16,
author={Khusbu Bubna},
title={End to End Specification based Test Generation of Web Applications},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE,},
year={2016},
pages={296-302},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005919102960302},
isbn={978-989-758-189-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE,
TI - End to End Specification based Test Generation of Web Applications
SN - 978-989-758-189-2
AU - Bubna K.
PY - 2016
SP - 296
EP - 302
DO - 10.5220/0005919102960302