NDLI: Some issues in protocol implementation testing

Please wait, while we are loading the content...

The architecture of the universe network

Managed file distribution on the universe network

The satellite transmission protocol of the universe project

Serial link protocol design: A critique of the X.25 standard, level 2

A methodology for protocol design and specification based on an extended state transition model

An exercise in constructing multi-phase communication protocols

The use of broadcast techniques on the universe network

Datagram routing for internet multicasting

One-to-many interprocess communication in the V-system

Petri nets are good for protocols

Formal specification and validation of ISO transport protocol components, using petri nets

Automated verification of connection management of NBS class 4 transport protocol

Interactive verification of communication software on the basis of CIL

A method of automatic proof for the specification and verification of protocols

A temporal ordering specification of some session services

Factors affecting the performance of distributed applications

Interfacing to the 10Mbps ethernetTM: Observations and conclusions

A performance model for hardware/software issues in computer-aided design of protocol systems

Automatic update of replicated topology data bases

Automated testing of protocol specifications and their implementations

Some operational tools in a OSI protocols study environment

Analysis of channel access schemes for high-speed LANs

Performance analysis of an access method suitable for the integration of voice and data

Twentenet: A LAN with message priorities, design and performance considerations.

Some critical considerations on the ISO/OSI RM from a network implementation point of view

A minimal duplex connection capability in the top three layers of the OSI reference model

Communication primitives supporting the execution of atomic actions at remote sites

The derivation of performance expressions for communication protocols from timed petri net models

An analysis of naming conventions for distributed computer systems

Analytic solution of an integrated performance model of a computer communication network with window flow control

On the performance of slotted ALOHA in a spread spectrum environment

A class of tree algorithms with variable message length

An adaptive timeout algorithm for retransmission across a packet switching network

Protocol testing methdology development at NBS

Some issues in protocol implementation testing

Physically dispersing an operating system

Multiprocessors and computer networks

Some issues in protocol implementation testing

Content Provider	ACM Digital Library
Author	Cerny, E.
Abstract	Communication between various makes of communication equipment and across international boundaries is becoming easier due to the continuing development of international standards on communication protocols, such as those defined by ISO for Open Systems Interworking (OSI). Although the agreement to use standard protocols by the various parties involved is the first necessary step towards OSI, it is not sufficient without assuring that the protocols be correctly implemented in the communication equipment. The assessment of the adherence of a communication protocol implementation to its specification relies on testing as its main tool. The development of the tests and their application (the architecture of the test system) have properties and constraints which make them different from those currently created for testing hardware and software systems. In the remainder of the presentation, these constraints and problems as related to the successful development of a protocol test system will be reviewed. They will be separated into those aspects which pertain more to the form of the test support system (the system architecture), and to those which influence the selection of effective test interaction sequences. This division is slightly arbitrary, for some of the issues have effect on both of the above components of the test system.
Starting Page	259
Ending Page	260
Page Count	2
File Format	PDF
ISBN	0897911369
DOI	10.1145/800056.802087
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1984-06-06
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Some issues in protocol implementation testing

Synchronization issues in protocol testing

The Security Testing Case Research of Protocol Implementation

Using transition systems to model and verify the implementation of security protocol

Some issues in a functional implementation of a finite element algorithm

A finite transition model for security protocol verification

Constructing a tester for checking student protocol implementations.

User privacy issues regarding certificates and the TLS protocol: the design and implementation of the SPSL protocol

A gsm-map protocol experiment using passive testing.

Some issues in protocol implementation testing

Similar Documents

Some issues in protocol implementation testing

Synchronization issues in protocol testing

The Security Testing Case Research of Protocol Implementation

Using transition systems to model and verify the implementation of security protocol

Some issues in a functional implementation of a finite element algorithm

A finite transition model for security protocol verification

Constructing a tester for checking student protocol implementations.

User privacy issues regarding certificates and the TLS protocol: the design and implementation of the SPSL protocol

A gsm-map protocol experiment using passive testing.

Some issues in protocol implementation testing