loading...
Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach
Morne, Mauritius April 23-April 29
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICNICONSMCL.2006.167International Conference on Networkin ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Baptiste Alcalde, GET-INT Evry, France
Ana Cavalli, GET-INT Evry, France
Passive testing has proved to be a powerful technique for protocol system fault detection by observing its input/output behaviors yet without interrupting its normal operations. Various techniques for passive testing on Extended Finite State Machine (EFSM) exist such as by invariants and by interval determination, which are not very costy in terms of complexity but that also don?t detect every errors. To improve the fault detection capabilities a backward checking method was proposed. It analyzes in a backward fashion the input/output trace from passive testing and its past. It effectively checks both the control and data portion of a protocol system and is able to detect every errors, but with a higher complexity. The purpose of the present paper is then to propose possible parallel algorithms and architectures to improve the backward passive testing approach by narrowing down its maximal time complexity and transforming it into the first real-time exhaustive passive testing approach. We present the backward algorithm and its parallel versions, study their complexity, and report results on various communication and routing protocols.
Citation:
Baptiste Alcalde, Ana Cavalli, "Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach," icniconsmcl, pp.42, International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICNICONSMCL'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.