1. SDN and Testing

2. SDN Overview

3. SDN Overview

4. SDN Overview

5. SDN Overview

6. SDN Application
流量监控
负载均衡
攻击检测 ……

7. SDN Testing 对传统网络Debug的难点 信息匮乏（只有粗粒度的统计信息） 很多设备是黑盒 分布式，拓扑易变，难以实施
可扩展性问题

8. SDN Testing
SDN testing 特点
集中控制
编程实现（导致随意性）

9. SDN Testing
OFRewind: Enabling Record and Replay Troubleshooting for Networks
A NICE Way to Test OpenFlow Applications
FlowChecker: Configuration, Analysis, and Verification of Federate OpenFlow Infrastructures
Veriflow: Verifying Network-Wide Invariants in Real Time
Where Is the Debugger for My Software-Defined Network
A SOFT Way for OpenFlow Interoperability Testing
OFTEN Testing OpenFlow Networks

10. SDN Testing Where is the Debugger for my Software-Defined Network?
Able to define a package breakpoint
Show the sequence of forwarding actions

11. SDN Testing
OFRewind: Enabling Record and Replay Troubleshooting for Networks
enable scalable, multi-granularity, temporally consistent recording and coordinated replay in a network
help operators to reproduce software errors, identify data-path limitations, or locate configuration errors

12. SDN Testing A NICE Way to Test OpenFlow Applications
Testing the controller
Race condition, etc.

13. SDN Testing
such as no forwarding loops or no black holes, and optionally write additional, application-specific correctness
properties (i.e., Python code snippets that make assertions about the global system state)

14. SDN Testing Testing the switch
A SOFT Way for OpenFlow Interoperability Testing
Testing the switch
automatically identifying the testing inputs that cause different OpenFlow agent implementations to behave inconsistently

15. SDN Testing
FlowChecker: Configuration, Analysis, and Verification of Federate OpenFlow Infrastructures
Identify any intra-switch misconfiguration within a single FlowTable
Multiple users can share the same
network by assigning a different slice for each one. Users
are given the responsibility to maintain and use their own
slice by writing rules in a FlowTable. Misconfiguration problems can arise when a user writes conflicting rules for single FlowTable or even within a path of multiple OpenFlow
switches that need multiple FlowTables to be maintained at
the same time

16. SDN Testing OFTEN Testing OpenFlow Networks Existing Tools
NICE：Controller Bug
Cbench：Controller performance
OFTest：Functional tests to check an OpenFlow agent for adherence to protocol specifications
OFLOPS：A switch performance testing framework
HAS and VeriFlow：verify that the forwarding tables satisfy desired network-wide invariant

17. Opportunities