X-machines as a basis for dynamic system specification
Software Engineering Journal
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Testing deterministic implementations from nondeterministic FSM specifications
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Symbolic execution and program testing
Communications of the ACM
Automata, Languages, and Machines
Automata, Languages, and Machines
Software Testing
P Systems with replicated rewriting and stream X-machines (Eilenberg machines)
Fundamenta Informaticae - Membrane computing
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
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
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
Testing methods for X-machines: a review
Formal Aspects of Computing
Testing against a non-controllable stream X-machine using state counting
Theoretical Computer Science
A System to Generate Test Data and Symbolically Execute Programs
IEEE Transactions on Software Engineering
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Testing Non-deterministic Stream X-machine Models and P systems
Electronic Notes in Theoretical Computer Science (ENTCS)
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 |
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 under test (IUT), provided that the processing functions of the stream X-machine specification have been correctly implemented. The method was originally developed for controllable stream X-machines. A recent paper generalizes the original method by considering specifications that do not meet the controllability requirement. However, it is still required that a controllable stream X-machine model of the IUT exists and the size of the test suite produced strongly depends on the (estimated) upper bound on the number of states of this controllable model. While this assumption is in general reasonable for most interactive systems, it may produce unmanageable test suites for even simple data processing-oriented applications. This paper provides a new variant of the stream X-machine based testing method that no longer depends on the size of a controllable model of the IUT. In data processing-oriented applications, the new method can drastically reduce the size of the test suite produced at the expense of a (possibly) more complex generation process.