Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Approaches to multi-level sequential logic synthesis
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Submodule construction as equation solving in CCS
Theoretical 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
Fault coverage of tests based on finite state models
IWPTS '94 7th IFIP WG 6.1 international workshop on Protocol test systems
Testing strategies for communicating FSMs
IWPTS '94 7th IFIP WG 6.1 international workshop on Protocol test systems
On fault coverage of tests for finite state specifications
Computer Networks and ISDN Systems - Special issue on protocol testing
The maximum set of permissible behaviors for FSM networks
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Input don't care sequences in FSM networks
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
On Communicating Finite-State Machines
Journal of the ACM (JACM)
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
Test Suite Generation from a FSM with a Given Type of Implementation Errors
Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Compositionality Through an Operational Semantics of Contexts
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Testability of a Communicating System Through an Environment
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Text Derivation for Standardised Test Methods
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Conformance Relations and Test Derivation
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Nondeterministic State Machines in Protocol Conformance Testing
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Fault-Detection Experiments for Parallel-Decomposable Sequential Machines
IEEE Transactions on Computers
The Simplification of Sequential Machines with Input Restrictions
IEEE Transactions on Computers
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Submodule Construction for Specifications with Input Assumptions and Output Guarantees
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Submodule Construction and Supervisory Control: A Generalization
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
Fault model-driven test derivation from finite state models: annotated bibliography
Modeling and verification of parallel processes
Properties and scopes in web model checking
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Progressive solutions to a parallel automata equation
Theoretical Computer Science
An Approach to Testing with Embedded Context Using Model Checker
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Testing transition systems with input and output testers
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Interoperability testing based on a fault model for a system of communicating FSMs
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Testing from X-machine specifications
Formal methods and testing
Compositional testing of communication systems
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
FSM test translation through context
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Experimental testing of TCP/IP/Ethernet communication for automatic control
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Using logic to solve the submodule construction problem
Discrete Event Dynamic Systems
Hi-index | 0.25 |
The paper addresses the problem of testing a component embedded within a given modular system. A context of the component represents the rest of the system and serves as its operational or testing environment. A framework for testing in context is presented based on the model of a system of communicating finite state machines. In particular, the problems of test executability and fault propagation in the presence of the context are identified and discussed. The proposed solution to these problems consists in computing so-called approximation of the specification in context, i.e. the FSM model of the component's properties that can be controlled and observed through the context. The approximation assures executability of tests and fault propagation through the context and serves as a base for test derivation. A conformance relation used for test derivation is shown to be the reduction relation between an implementation and the approximation of the given specification. This relation requires that the implementation produces a (sub)set of output sequences that can be produced by its specification in response to every input sequence. An approach to test generation for the reduction relation and deterministic implementations is also presented.