NDLI: Efficient test sequence generation for localization of multiple faults in communication protocols

Content Provider	IEEE Xplore Digital Library
Author	Kakuda, Y. Yukitomo, H. Kusumoto, S. Kikuno, T.
Copyright Year	1994
Description	Author affiliation: Dept. of Inf. & Comput. Sci., Osaka Univ., Japan (Kakuda, Y.; Yukitomo, H.; Kusumoto, S.; Kikuno, T.)
Abstract	Conformance test for communication protocols is indispensable for the production of reliable communications software. A lot of conformance test techniques have been developed. However, most of them can only decide whether an implemented protocol conforms to its specification. That is, the exact locations of faults are not determined by them. This paper presents some conditions that enable to find location of multiple faults, and then proposes a test sequence generation technique under such conditions. The characteristics of this technique are to generate test sequences based on protocol specifications and interim test results, and to find locations of multiple faults in protocol implementations. Although the length of the test sequence generated by the proposed technique is a little longer than the one generated by the previous one, the class to which the proposed technique can be applied is larger than that to which the previous one can be applied.
Starting Page	214
Ending Page	219
File Size	558180
Page Count	6
File Format	PDF
ISBN	0818666900
DOI	10.1109/ATS.1994.367228
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1994-11-15
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Protocols Software testing System testing Transfer functions Production Character generation Information systems Performance evaluation State estimation Helium
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

On optimizing test sequence generation for communicating systems

A computer-aided incremental protocol test sequence generation: the production systems, approach

Applying FIRMAMENT to test the SCTP communication protocol under network faults

The transition-state pair method for test sequence generation

Automatic test sequences generation for SSCOP protocol

Optimal Protocol Interoperability Test Generation via Heuristic Algorithm

Test Input Generation Using UML Sequence and State Machines Models

An efficient test generation algorithm based on search state dominance

CASSIOPEE-An Integrated CAD System for Integrated Circuits

Efficient test sequence generation for localization of multiple faults in communication protocols

Similar Documents

On optimizing test sequence generation for communicating systems

A computer-aided incremental protocol test sequence generation: the production systems, approach

Applying FIRMAMENT to test the SCTP communication protocol under network faults

The transition-state pair method for test sequence generation

Automatic test sequences generation for SSCOP protocol

Optimal Protocol Interoperability Test Generation via Heuristic Algorithm

Test Input Generation Using UML Sequence and State Machines Models

An efficient test generation algorithm based on search state dominance

CASSIOPEE-An Integrated CAD System for Integrated Circuits

Efficient test sequence generation for localization of multiple faults in communication protocols