Probabilistic testing of protocols

1 August 1989

proceedings article
Published by Association for Computing Machinery (ACM)

Vol. 19 (4) , 295-302
https://doi.org/10.1145/75246.75275

Abstract

Test sequences are used for the conformance testing of communication protocols to standards. This paper discusses a new approach to generating test sequences. The approach is based on probabilistic concepts about protocol state transitions and communication channels. The novel feature of the test sequences generated by this technique is that the most probable states of a protocol will be tested more promptly.

Keywords

This publication has 7 references indexed in Scilit:

A protocol test generation procedure
Published by Elsevier ,2003
Formal methods for protocol testing: a detailed study
IEEE Transactions on Software Engineering, 1989
Verification of multiprocess probabilistic protocols
Distributed Computing, 1986
A Validation Technique for Tightly Coupled Protocols
IEEE Transactions on Computers, 1982
Communicating sequential processes
Communications of the ACM, 1978
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering, 1978
A Method for the Design of Fault Detection Experiments
IEEE Transactions on Computers, 1970