Search-Based Stress Testing of Wireless Network Protocol Stacks
The operation of wireless network protocol stacks is heavily dependent on the actual deployment of the system and especially on the corresponding network topology, e.g., due to channel contention. The nature of wireless communication does not allow for a-priori determination of network topology; network-defining metrics such as neighbor density and routing span may drastically differ for various deployments. Therefore, it is a difficult problem to foresee and consider the large number of possible topologies that a system may run on during protocol stack development. The authors propose to use an automated approach for searching topologies for which a protocol stack exhibits particularly poor quantitative performance.