A Test Design Methodology for Protocol Testing
IEEE Transactions on Software Engineering
Semiautomatic Implementation of Communication Protocols
IEEE Transactions on Software Engineering
An interpreter for LOTOS, a specification language for distributed systems
Software—Practice & Experience
Protocol specification for OSI
Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI protocols
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Observer: a run-time checking tool for local area networks
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Error detection with multiple observers
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
The impact of the Ferry concept on protocol testing
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Usage of Protocol Development Tools: The Results of a Survey
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Towards an environment for testing OSI protocols
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Automated testing of protocol specifications and their implementations
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Delay-Independent Design for Distributed Systems
IEEE Transactions on Software Engineering
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Oracles for checking temporal properties of concurrent systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Generating oracles from your favorite temporal logic specifications
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
IEEE Transactions on Computers
Broad-spectrum studies of log file analysis
Proceedings of the 22nd international conference on Software engineering
Verisim: Formal analysis of network simulations
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Verisim: Formal Analysis of Network Simulations
IEEE Transactions on Software Engineering
Systematically deriving partial oracles for testing concurrent programs
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
IEEE Transactions on Software Engineering
Observation Inaccuracy in Conformance Testing with Multiple Testers
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
Self-tuned passive testers for grey-box distributed systems with indefinite communication delays
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
Automatic interoperability test case generation based on formal definitions
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
A new method for interoperability test generation
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
Software health management with Bayesian networks
Innovations in Systems and Software Engineering
Hi-index | 0.01 |
The authors explore a testing approach where the concern for selecting the appropriate test input provided to the implementation under test (IUT) is separated as much as possible from the analysis of the observed output. Particular emphasis is placed on the analysis of the observed interactions of the IUT in order to determine whether the observed input/output trace conforms to the IUT's specification. The authors consider this aspect of testing with particular attention to testing of communication protocol implementations. Various distributed test architectures are used for this purpose, where partial input/output traces are observable by local observers at different interfaces. The error-detection power of different test configurations is determined on the basis of the partial trace visible to each local observer and their global knowledge about the applied test case. The automated construction of trace analysis modules from the formal specification of the protocol is also discussed. Different transformations of the protocol specification may be necessary to obtain the reference specification, which can be used by a local or global observer for checking the observed trace. Experience with the construction of an arbiter for the OSI (open systems interconnection) transport protocol is described.