An application of explanation-based learning to protocol conformance testing

A method that employs a machine learning technique for the semiautomatic generation of protocol-conformance test-sequence requirements is described. Given a protocol knowledge representation and some high-level nonexecutable descriptions of protocol behavior, a learning algorithm based on extended e...

Full description

Saved in:
Bibliographic Details
Published in:IEEE expert 1990-10, Vol.5 (5), p.45-47
Main Authors: Geldrez, C., Matwin, S., Morin, J., Probert, R.L.
Format: Article
Language:English
Subjects:
Automatic testing
Communication networks
Communication standards
Inference algorithms
Knowledge representation
Machine learning
Natural languages
Protocols
Standards development
Standards organizations
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A method that employs a machine learning technique for the semiautomatic generation of protocol-conformance test-sequence requirements is described. Given a protocol knowledge representation and some high-level nonexecutable descriptions of protocol behavior, a learning algorithm based on extended explanation-based generalization produces conformance test-sequence requirements for a protocol implementation under test. The role of learning is to compile relevant parts of protocol knowledge into behaviors, consequently inferring executable protocol behaviors. This inference makes explicit constraints that are implicit in both the protocol knowledge and the behaviors. It is shown that the approach facilitates the derivation of new operational constraints on protocol behavior. The new constraints lead to new types of protocol behavior, thereby yielding potentially valuable new conformance test cases. An application of the method to the Alternating Bit Protocol (ABP) (a canonical example in protocols research literature) is described.< >
ISSN:0885-9000
2374-9407
DOI:10.1109/64.60710