Title: Tool support for generating model-based test cases via web

Authors: Alessandro Oliveira Arantes; Valdivino Alexandre De Santiago Júnior; Nandamudi Lankalapalli Vijaykumar; Erica Ferreira De Souza

Addresses: Instituto de Estudos Avançados (IEAv), P.O. Box 6044, São José dos Campos, São Paulo, 12228-970, Brazil ' Instituto Nacional de Pesquisas Espaciais (INPE), P.O. Box 515, São José dos Campos, São Paulo, 12227-010, Brazil ' Instituto Nacional de Pesquisas Espaciais (INPE), P.O. Box 515, São José dos Campos, São Paulo, 12227-010, Brazil ' Instituto Nacional de Pesquisas Espaciais (INPE), P.O. Box 515, São José dos Campos, São Paulo, 12227-010, Brazil

Abstract: Testing activities play an important role in order to obtain high quality software products. These activities become more important when considering critical software, for instance, space application software. Nowadays, there is an extensive collaboration among space institutions. So, it is more than natural to expect distributed development of software and software testing activities. Therefore, a collaborative tool hosted on the internet becomes quite useful. In this respect, WEB-PerformCharts 2.0 tool discussed in this paper moves in this direction. The tool focuses on supporting a single aspect of distributed software development: the activity of generating test cases via web. Moreover, it allows model-based test case generation by means of formal methods (formal languages statecharts and FSM) which are considered state of the art in software development. WEB-PerformCharts 2.0 can be used to generate test cases for any kind of reactive systems modelled in statecharts or FSM. We present three case studies in different application domains to demonstrate the feasibility of our tool.

Keywords: web applications; model-based testing; distributed development; software testing; statecharts; FSM; formal methods; software development; web-based test cases.

DOI: 10.1504/IJWET.2014.063041

International Journal of Web Engineering and Technology, 2014 Vol.9 No.1, pp.62 - 96

Published online: 30 Jul 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article