On testing and diagnosis of communication protocols based on the FSM model

Authors:
T Ramalingam;Anindya Das;K Thulasiraman
Affiliations:
Department of Electrical and Computer Engineering, Concordia University, Montreal, Canada;DIRO, University of Montreal, Montreal, Canada;Department of Electrical and Computer Engineering, Concordia University, Montreal, Canada
Venue:
Computer Communications
Year:
1995

Citing 11
Cited 5

An introduction to Estelle: a specification language for distributed systems

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
A protocol test generation procedure

Computer Networks and ISDN Systems
Formal Methods for Protocol Testing: A Detailed Study

IEEE Transactions on Software Engineering
An improved protocol test generation procedure based on UIOS

SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Specifications of a simplified transport protocol using different formal description techniques

Computer Networks and ISDN Systems
Test Selection Based on Finite State Models

IEEE Transactions on Software Engineering
Formal methods for test sequence generation

Computer Communications
On conformance test and fault resolution of protocols based on FSM model

NETWORKS '92 Proceedings of the IFIP TC6 Working Conference on Computer Networks, Architecture, and Applications. on Computer networks, architecture and applications
Testing Software Design Modeled by Finite-State Machines

IEEE Transactions on Software Engineering
Review: Fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model

Computer Communications

Automated Test Set Generation for Statecharts

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Nature-inspired techniques for conformance testing of object-oriented software

Applied Soft Computing
Bounded sequence testing from deterministic finite state machines

Theoretical Computer Science
Testing from X-machine specifications

Formal methods and testing
Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines

Computer Communications

Quantified Score

Hi-index	0.25

Visualization

Abstract

A formal analysis of the fault diagnosis capabilities of various FSM-based test sequence selection methods has been carried out^1. It is shown^1 that the Wp-method^2 has the best fault-resolution capability among all the known test sequence selection methods based on the FSM model when the implementation has at most one faulty transition. In this paper, we present a test sequence selection method with a fault resolution capability better than that of the Wp-method when the implementation has at most one faulty transition, and when the specification meets certain conditions. This method is based on the Wp-method. Approaches for minimizing the test sequence further, and for exactly locating the fault or improving the fault resolution capability of our method, are also presented.