NDLI: Formal methods for protocol testing: a detailed study

Content Provider	IEEE Xplore Digital Library
Author	Sidhu, D.P. Leung, T.-K.
Copyright Year	1976
Abstract	The authors present a detailed study of four formal methods (T-, U-, D-, and W-methods) for generating test sequences for protocols. Applications of these methods to the NBS Class 4 Transport Protocol are discussed. An estimation of fault coverage of four protocol-test-sequence generation techniques using Monte Carlo simulation is also presented. The ability of a test sequence to decide whether a protocol implementation conforms to its specification heavily relies on the range of faults that it can capture. Conformance is defined at two levels, namely, weak and strong conformance. This study shows that a test sequence produced by T-method has a poor fault detection capability, whereas test sequences produced by U-, D-, and W-methods have comparable (superior to that for T-method) fault coverage on several classes of randomly generated machines used in this study. Also, some problems with a straightforward application of the four protocol-test-sequence generation methods to real-world communication protocols are pointed out.<>
Sponsorship	IEEE Computer Society Technical Council on Software Engineering Association for Computing Machinery (ACM) IEEE Computer Society
Starting Page	413
Ending Page	426
Page Count	14
File Size	1459235
File Format	PDF
ISSN	00985589
Volume Number	15
Issue Number	4
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1989-04-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Automatic testing Computer networks Software testing NIST Communication networks ISO standards Transport protocols Fault detection Modems
Content Type	Text
Resource Type	Article
Subject	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

Executable logic specifications for protocol service interfaces

On testing hierarchies for protocols

Conformance evaluation methodology and protocol testing

Scientific foundations to the multilevel method

Probabilistic testing of OSI protocols

A Test Design Methodology for Protocol Testing

SeSFJava harness: service and assertion checking for protocol implementations

Standards: Closing the Gap between OSI Standards and Compatible OSI Products

Computer Network Protocols: A Hierarchical Viewpoint

Formal methods for protocol testing: a detailed study

Similar Documents

Executable logic specifications for protocol service interfaces

On testing hierarchies for protocols

Conformance evaluation methodology and protocol testing

Scientific foundations to the multilevel method

Probabilistic testing of OSI protocols

A Test Design Methodology for Protocol Testing

SeSFJava harness: service and assertion checking for protocol implementations

Standards: Closing the Gap between OSI Standards and Compatible OSI Products

Computer Network Protocols: A Hierarchical Viewpoint

Formal methods for protocol testing: a detailed study