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
Software engineering (3rd ed.): a practitioner's approach
Software engineering (3rd ed.): a practitioner's approach
Automatic functional test generation using the extended finite state machine model
DAC '93 Proceedings of the 30th international Design Automation Conference
Integrated object-oriented testing and development processes
Communications of the ACM
A completeness theorem for Kleene algebras and the algebra of regular events
Papers presented at the IEEE symposium on Logic in computer science
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Selecting test sequences for partially-specified nondeterministic finite state machines
IWPTS '94 7th IFIP WG 6.1 international workshop on Protocol test systems
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing deterministic implementations from nondeterministic FSM specifications
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Introduction to Computer Theory
Introduction to Computer Theory
Art of Software Testing
Automata, Languages, and Machines
Automata, Languages, and Machines
Predicting Software Reliability
Computer
Reduced Length Checking Sequences
IEEE Transactions on Computers
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting
IEEE Transactions on Computers
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
Refinement in statechart testing: Research Articles
Software Testing, Verification & Reliability - SoftTest II: The Second UK Workshop on Software Testing Research
Testing from Partial Deterministic FSM Specifications
IEEE Transactions on Computers
Model checking, testing and verification working together
Formal Aspects of Computing
Testing methods for X-machines: a review
Formal Aspects of Computing
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Online testing of real-time systems using UPPAAL
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Testing in context: framework and test derivation
Computer Communications
On testing and diagnosis of communication protocols based on the FSM model
Computer Communications
| Hi-index | 0.00 |
The chapter describes how to model software containing complex data using X-machines and how test generation can be performed from such models. Testing using X-machines can be used to demonstrate specific results by testing: one may even claim that an implementation is behaviourally-equivalent to a specification if testing did not reveal defects. The ability to make such claims requires a tester to be precise in what is actually being tested and what has to be assumed. A number of assumptions underlying the testing method are described including what can be done when they cannot be satisfied.