首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 一个很好的方式来测试OpenFlow控制器的应用

一个很好的方式来测试OpenFlow控制器的应用

资 源 简 介

NICE NICE is a tool to test OpenFlow controller application for the NOX controller platform through a combination of model checking and symbolic execution. The emergence of OpenFlow-capable switches enables exciting new network functionality, at the risk of programming errors that make communication less reliable. The centralized programming model, where a single controller program manages the network, seems to reduce the likelihood of bugs. However, the system is inherently distributed and asynchronous, with events happening at different switches and end hosts, and inevitable delays affecting communication with the controller. In this paper, we present efficient, systematic techniques for testing unmodified controller programs. Our NICE tool applies model checking to explore the state space of the entire system—the controller, the switches, and the hosts. Scalability is the main challenge,

文 件 列 表

nice
third_party
lib32
README
revision.svn
common_modules
model_checker
nice
sym_exec
nox_apps
pyswitch
LICENSE.txt
third_party

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
0.160795s