Automata, Languages, and Machines
Automata, Languages, and Machines
Testing against a non-controllable stream X-machine using state counting
Theoretical Computer Science
Jumble Java Byte Code to Measure the Effectiveness of Unit Tests
TAICPART-MUTATION '07 Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Testing data processing-oriented systems from stream X-machine models
Theoretical Computer Science
Run-time Verification of Behavioural Conformance for Conversational Web Services
ECOWS '09 Proceedings of the 2009 Seventh IEEE European Conference on Web Services
FLAME: simulating large populations of agents on parallel hardware architectures
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
An extensible architecture for run-time monitoring of conversational web services
Proceedings of the 3rd International Workshop on Monitoring, Adaptation and Beyond
SXMTool A Tool for Stream X-Machine Testing
WCSE '10 Proceedings of the 2010 Second World Congress on Software Engineering - Volume 01
Hi-index | 0.00 |
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.