loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Khusbu Bubna

Affiliation: International Institute of Information Technology, India

Keyword(s): Web Applications, Statechart, Model Checking, Selenium.

Related Ontology Subjects/Areas/Topics: Cross-Feeding between Data and Software Engineering ; Formal Methods ; Model-Driven Engineering ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

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 meth odology 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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 100.26.135.252

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - ENASE; ISBN 978-989-758-189-2; ISSN 2184-4895, SciTePress, pages 296-302. DOI: 10.5220/0005919102960302

@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 - ENASE},
year={2016},
pages={296-302},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005919102960302},
isbn={978-989-758-189-2},
issn={2184-4895},
}

TY - CONF

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