A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols
スポンサーリンク
概要
- 論文の詳細を見る
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.
- 社団法人電子情報通信学会の論文
- 1995-07-25
著者
-
KAKUDA Yoshiaki
Faculty of Information Sciences, Hiroshima City University
-
Kikuno Tohru
Faculty Of Engineering Hiroshima University
-
Kakuda Yoshiaki
Faculty Of Engineering Science Osaka University
-
Kusumoto Shinji
Faculty Of Engineering Science Osaka University
-
Yukitomo Hideki
Faculty of Engineering Science, Osaka University
-
Yukitomo Hideki
Faculty Of Engineering Science Osaka University
関連論文
- A Dynamic Index Allocation Scheme for Data Retrieval and Provision in Peer-to-Peer Networks
- Service Discovery Using Self-Regulating Agents in Ad Hoc Networks
- Service Discovery Using Self-Regulating Agents in Ad Hoc Networks
- Service Discovery Using Self-Regulating Agents in Ad Hoc Networks
- Service Discovery Using Self-Regulating Agents in Ad Hoc Networks
- An Adaptive Multihop Clustering Scheme for Ad Hoc Networks with High Mobility
- Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives (Special Section on Net Theory and Its Applications)
- Testing for High Assurance System by FSM(Testing)(Assurance Systems and Networks)
- A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols
- Reconfiguration Algorithm for Modular Redundant Linear Array
- A Hierarchical Routing Protocol Based on Autonomous Clustering in Ad Hoc Networks
- A Class of Hierarchical Routing Protocols Based on Autonomous Clustering for Large Mobile Ad Hoc Networks
- A Hybrid Greedy Routing with Location Information for Mobile Ad Hoc Networks
- On Common Sequence Problems (Applied Combinatorial Theory and Algorithms)
- A Distributed Algorithm for Deadlock Detection in Replicated Database Systems(Mathematical Foundations of Computer Science and Their Applications)
- Synthesis of Protocol Specifications for Design of Responsive Protocols (Special Issue on Responsive Computer Systems)
- An Autonomous Clustering-Based Hierarchical Multicast Routing for Mobile Ad Hoc Networks
- On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels (Special Section on Discrete Mathematics and Its Applications)
- IEICE/IEEE Joint Special Issue on Assurance Systems and Networks
- A Distributed Routing Protocol for Finding Two Node-Disjoint Paths in Computer Networks (Special Issue on Distributed Processing for Controlling Telecommunications Systems)
- Effective Automated Testing for Graphical Objects(テスト技法・保守技術)
- Experimental Evaluation of Dynamic Scheduling for Parallel Logic Simulation Using Benchmark Circuits (Special Section of Letters Selected from the 1994 IEICE Spring Conference)