Automated fault injection and analysis for wired/wireless networks.

摘要

With rapid growth in networks over the last decade, large number of network protocols has been proposed and implemented but little effort has been made towards verifying their implementation before deploying in real world. The main hurdle comes from both distributed nature of network protocols and developing correct protocol code. Errors in protocol implementation can have severe consequences. Even so, methods for finding errors(or bugs) in protocol implementation are currently only used to a limited extent. In this thesis we develop a automated fault injection and analysis tool(FIA) to assist developers and protocol testers to test their implementation without doing any code instrumentation. We used the well known Netfilter/Iptables[10] framework to build the FIA which is available in all versions of linux kernel. FIA injects user specified faults using simple Iptable rules at run time and record protocol responses against these faults so that user can verify whether protocol conforms to its specification or not. The main aim of FIA is to speed up the process of finding hard to reach situations where protocol fails to conform to its specification. To ensure that the tool we have developed is correct we tested a real world wireless ad hoc routing protocol called Optimized Link State Routing(OLSR) with it.