X-machines as a basis for dynamic system specification
Software Engineering Journal
Program verification: the very idea
Communications of the ACM
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Introduction to computer theory (revised ed.)
Introduction to computer theory (revised ed.)
Automatic functional test generation using the extended finite state machine model
DAC '93 Proceedings of the 30th international Design Automation Conference
Testing deterministic implementations from nondeterministic FSM specifications
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Deterministic stream X-machines based on grammar systems
Where mathematics, computer science, linguistics and biology meet
Automata, Languages, and Machines
Automata, Languages, and Machines
P Systems with replicated rewriting and stream X-machines (Eilenberg machines)
Fundamenta Informaticae - Membrane computing
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
PX systems = P systems + X machines
Natural Computing: an international journal
Complete deterministic stream X-machine testing
Formal Aspects of Computing
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
Theoretical Computer Science
Testing methods for X-machines: a review
Formal Aspects of Computing
Testing data processing-oriented systems from stream X-machine models
Theoretical Computer Science
Testing Non-deterministic Stream X-machine Models and P systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Bounded sequence testing from deterministic finite state machines
Theoretical Computer Science
Checking experiments for stream X-machines
Theoretical Computer Science
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling (SoSyM)
JSXM: a tool for automated test generation
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Hi-index | 5.23 |
Stream X-machines are a form of extended finite state machines that has received extensive study in recent years. A stream X-machine describes a system as a finite set of states, an internal store, called memory, and a finite number of transitions between the states, labelled by function names (the processing functions). One of the great benefits of using a stream X-machine to specify a system is its associated testing method. Under certain design for test conditions, this method produces a test suite that can determine the correctness of the implementation, provided that the processing functions of the stream X-machine specification have been correctly implemented (this can be checked by a separate testing process, using the same method or alternative functional methods). However, the application of the stream X-machine based testing method is often encumbered by the restrictive design for test conditions required. In practical applications, these conditions are achieved by designing extra functionality that will have to be disabled after testing has been completed. This is a time consuming process and can often be a source of error. This paper provides a strong generalisation of the existing method, which requires much laxer design for test conditions; these are naturally satisfied in practical applications and, furthermore, can be introduced into any stream X-machine specification without the need to add extra functionality. Consequently, the generalised method can be applied to virtually any system that can be specified by a stream X-machine.