Paper Info
Title
JSXM: a tool for automated test generation
Abstract
The Stream X-machine (SXM) is an intuitive and powerful modelling formalism that extends finite state machines with a memory (data) structure and function-labelled transitions. One of the main strengths of the SXM is its associated testing strategy: this guarantees that, under well defined conditions, all functional inconsistencies between the system under test and the model are revealed. Unfortunately, despite the evident strength of SXM based testing, no tool that convincingly implements this strategy exists. This paper presents such a tool, called JSXM. The JSXM tool supports the animation of SXM models for the purpose of model validation, the automatic generation of abstract test cases from SXM specifications and the transformation of abstract test cases into concrete test cases in the implementation language of the system under test. A special characteristic of the modelling language and of the tool is that it supports the specifications of flat SXM models as well as the integration of interacting SXM models.
Year
DOI
Venue
2012
10.1007/978-3-642-33826-7_25
SEFM
Keywords
Field
DocType
sxm specification,sxm model,implementation language,associated testing strategy,jsxm tool,interacting sxm model,abstract test case,automated test generation,model validation,flat sxm model,concrete test case,implementation,model based testing
System under test,Programming language,Systems engineering,Computer science,Algorithm,Finite-state machine,Model-based testing,Test case,Animation,Formalism (philosophy),Test strategy,Incremental testing
Conference
Citations 
PageRank 
References 
7
0.46
8
Authors
3
Name
Order
Citations
PageRank
Dimitris Dranidis18010.44
Konstantinos Bratanis2413.47
Florentin Ipate341943.20