IEICE TRANSACTIONS on Information
A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols
Summary :
Conformance testing techniques are required for the efficient production of reliable communication protocols. A lot of conformance testing 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 locations of multiple faults, and then proposes a test sequence generation technique under such conditions. The correctness proof and complexity analysis of the proposed technique are also given. 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.
- Publication
- IEICE TRANSACTIONS on Information Vol.E78-D No.7 pp.802-810
- Publication Date
- 1995/07/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Special Section PAPER (Special Issue on Verification, Test and Diagnosis of VLSI Systems)
- Category
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Yoshiaki KAKUDA, Hideki YUKITOMO, Shinji KUSUMOTO, Tohru KIKUNO, "A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols" in IEICE TRANSACTIONS on Information,
vol. E78-D, no. 7, pp. 802-810, July 1995, doi: .
Abstract: Conformance testing techniques are required for the efficient production of reliable communication protocols. A lot of conformance testing 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 locations of multiple faults, and then proposes a test sequence generation technique under such conditions. The correctness proof and complexity analysis of the proposed technique are also given. 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.
URL: https://global.ieice.org/en_transactions/information/10.1587/e78-d_7_802/_p
Copy
@ARTICLE{e78-d_7_802,
author={Yoshiaki KAKUDA, Hideki YUKITOMO, Shinji KUSUMOTO, Tohru KIKUNO, },
journal={IEICE TRANSACTIONS on Information},
title={A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols},
year={1995},
volume={E78-D},
number={7},
pages={802-810},
abstract={Conformance testing techniques are required for the efficient production of reliable communication protocols. A lot of conformance testing 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 locations of multiple faults, and then proposes a test sequence generation technique under such conditions. The correctness proof and complexity analysis of the proposed technique are also given. 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.},
keywords={},
doi={},
ISSN={},
month={July},}
Copy
TY - JOUR
TI - A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols
T2 - IEICE TRANSACTIONS on Information
SP - 802
EP - 810
AU - Yoshiaki KAKUDA
AU - Hideki YUKITOMO
AU - Shinji KUSUMOTO
AU - Tohru KIKUNO
PY - 1995
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E78-D
IS - 7
JA - IEICE TRANSACTIONS on Information
Y1 - July 1995
AB - Conformance testing techniques are required for the efficient production of reliable communication protocols. A lot of conformance testing 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 locations of multiple faults, and then proposes a test sequence generation technique under such conditions. The correctness proof and complexity analysis of the proposed technique are also given. 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.
ER -
English
