NDLI: An improved protocol test generation procedure based on UIOS

Content Provider	ACM Digital Library
Author	Otp, M. R. Chan, W. Y. L. Vuong, C. T.
Abstract	This paper shows the Unique Input/Output, UIO, approach and the Distinguishing Sequence, DS, approach for the conformance testing of protocol implementations do not always produce identical fault converges, contrary to a previous claim. In the UIO approach, when UIO sequences and signatures are not unique in an implementation, they may not be able to detect erroneous states in the implementation. The UIO approach is revised here with the addition of a verification procedure to ensure that the UIO sequences are all unique in an implementation. Since signatures are generally not unique, this revision requires substituting the use of a signature for a state, S, with a set of input/output sequences, IO(S,K)s, unique to S, each of which distinguishes S from at least one other state, K. Verification is then applied to the IO(S,K)s. Fault coverage in the revised UIO, UIOv, approach is better than that in the original approach. A uniqueness criterion is discussed here to capture a desirable fault coverage for finite-state machine, FSM, test sequences. This criterion ensures the detection of any faulty FSM implementation provided that its set of states does not exceed that in the specified FSM. It is shown that test sequences generated by the UIOv approach and the DS approach always satisfy the uniqueness criterion. In fact, the DS approach is a special case of the UIOv approach; however, the UIOv approach has wider applicability and is generally applicable to k-distinguishable FSMs.
Starting Page	283
Ending Page	294
Page Count	12
File Format	PDF
ISSN	01464833
DOI	10.1145/75247.75274
Journal	ACM SIGCOMM Computer Communication Review (CCRV)
Volume Number	19
Issue Number	4
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1993-07-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article
Subject	Computer Networks and Communications Software

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

An improved protocol test generation procedure based on UIOS

Protocol conformance test generation using multiple UIO sequences with overlapping

An improved P2P lookup protocol model

An object-based approach to protocol software implementation

An improved access protocol for data communication bus networks with control wire

A new technique for generating protocol test

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

Experience with test generation for real protocols

A message-based fault diagnosis procedure

An improved protocol test generation procedure based on UIOS

Similar Documents

An improved protocol test generation procedure based on UIOS

Protocol conformance test generation using multiple UIO sequences with overlapping

An improved P2P lookup protocol model

An object-based approach to protocol software implementation

An improved access protocol for data communication bus networks with control wire

A new technique for generating protocol test

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

Experience with test generation for real protocols

A message-based fault diagnosis procedure

An improved protocol test generation procedure based on UIOS