X-machines as a basis for dynamic system specification
Software Engineering Journal
Distinguishing tests for nondeterministic and probabilistic machines
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
On Minimizing the Lengths of Checking Sequences
IEEE Transactions on Computers
Testing deterministic implementations from nondeterministic FSM specifications
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Improving Design Dependability by Exploiting an Open Model-Based Specification
IEEE Transactions on Computers
Automata, Languages, and Machines
Automata, Languages, and Machines
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Reduced Length Checking Sequences
IEEE Transactions on Computers
Expanding an Extended Finite State Machine to aid Testability
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
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
Nondeterministic State Machines in Protocol Conformance Testing
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Structured programming
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
Testing against a non-controllable stream X-machine using state counting
Theoretical Computer Science
Testing data processing-oriented systems from stream X-machine models
Theoretical Computer Science
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Testing Non-deterministic Stream X-machine Models and P systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing from X-machine specifications
Formal methods and testing
Checking experiments for stream X-machines
Theoretical Computer Science
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling (SoSyM)
Information and Software Technology
| Hi-index | 5.23 |
Stream X-machines are a formalisation of extended finite state machines that have been used to specify systems. One of the great benefits of using stream X-machines, for the purpose of specification, is the associated test generation technique which produces a test that is guaranteed to determine correctness under certain design for test conditions. This test generation algorithm has recently been extended to the case where the specification is non-deterministic. However, the algorithms for testing from a non-deterministic stream X-machine currently have limitations: either they test for equivalence, rather than conformance or they restrict the source of nondeterminism allowed in the specification. This paper introduces a new test generation algorithm that overcomes both of these limitations, for situations where the implementation is known to be deterministic.