End to End Specification based Test Generation of Web Applications

Khusbu Bubna

2016

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.

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