A new technique for generating protocol test

Authors:
Krishan Sabnani;Anton Dahbura
Affiliations:
AT&T Bell Laboratories, Murray Hill, NJ;AT&T Bell Laboratories, Murray Hill, NJ
Venue:
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
Year:
1985

Citing 1
Cited 10

Some Experience with Test Sequence Generation for Protocols

Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification

Protocol conformance test generation using multiple UIO sequences with overlapping

SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
A Well-Defined Estelle Specification for the Automatic Test Generation

IEEE Transactions on Computers - Special issue on protocol engineering
On the Complexity of Generating Optimal Test Sequences

IEEE Transactions on Software Engineering
A Matroid-Theoretic Solution to an Assignment Problem in the Conformance Testing of Communication Protocols

IEEE Transactions on Computers
Software Testing Based on SDL Specifications with Save

IEEE Transactions on Software Engineering
The STRESS method for boundary-point performance analysis of end-to-end multicast timer-suppression mechanisms

IEEE/ACM Transactions on Networking (TON)
Advanced method for cryptographic protocol verification

Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Generating test cases for web services using extended finite state machine

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Review: Fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model

Computer Communications
A test case generation approach for conformance testing of SDL systems

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

A novel procedure presented here generates test sequences for checking the conformity of protocol implementations to their specifications. The test sequences generated by this procedure only detect the presence of many faults, but they do not locate the faults. It can always detect the problem in an implementation with a single fault.A protocol entity is specified as a finite state machine (FSM). It typically has two interfaces: an interface with the user and with the lower-layer protocol. The inputs from both interfaces are merged into a single set I and the outputs from both interfaces are merged into a single set O. The implementation is assumed to be a black box.The key idea in this procedure is to tour all states and state transitions and to check a unique signature for each state, called the Unique Input/Output (UIO) sequence. A UIO sequence for a state is an I/O behavior that is not exhibited by any other state.