A NICE Way to Test OpenFlow Applications
A NICE Way to Test OpenFlow Applications
Marco Canini,D. Venzano,2 作者,J. Rexford
2012 · DBLP: conf/nsdi/CaniniVPKR12
Symposium on Networked Systems Design and Implementation · 引用 581 次
TLDR
This paper proposes a novel way to augment model checking with symbolic execution of event handlers (to identify representative packets that exercise code paths on the controller) and presents a simplified OpenFlow switch model (to reduce the state space), and effective strategies for generating event interleavings likely to uncover bugs.