DVaaS侦探：失败测试案例.pdf

1、DVaaS Detective:The Case of the Failing TestsVictor Rios(presenter),Steffen SmolkaP4-BARTest OutcomesDebugging PainBEFORE:Test OutcomesDebugging PainBEFORE:Test OutcomesDebugging PainL3 Unicast&TTL 0?UnsortedL3 MulticastAFTER:BEFORE:Test OutcomesDebugging YayL3 Unicast&TTL 0?UnsortedL3 MulticastAFTE

2、R:BEFORE:Test OutcomesDebugging YayL3 Unicast&TTL 0?UnsortedL3 MulticastL3 Unicast&TTL 0/1L3 MulticastL3 UnicastAcl PuntIP-in-IP&VLANAgendaDebugging PainSolution:DVaaS DetectiveBackground and Problem with DVaaSStatus&Future WorkTest the dataplaneSwitchP4 InfoProd EntriesDVaaSDataplane Validation as

3、a Service(DVaaS)DVaaSTest the dataplaneSwitchP4 InfoProd EntriesSwitch under testDataplane Validation as a Service(DVaaS)This is the input!SummaryTest OutcomesThis is the output!DVaaSTest the dataplaneSwitchP4 InfoProd EntriesSwitch under testInput PacketsP4-SymbolicPacket SynthesizerDataplane Valid

4、ation as a Service(DVaaS)SummaryTest OutcomesThis is the input!This is the output!DVaaSTest the dataplaneSwitchP4 InfoProd EntriesSwitch under testSimulator(BMv2)Input PacketsP4-SymbolicPacket SynthesizerDataplane Validation as a Service(DVaaS)SummaryTest OutcomesThis is the input!This is the output

5、!DVaaSTest the dataplaneSwitchP4 InfoProd EntriesSwitch under testSimulator(BMv2)Input PacketsP4-SymbolicPacket SynthesizerExpected Output PacketsActual Output PacketsDataplane Validation as a Service(DVaaS)SummaryTest OutcomesThis is the input!This is the output!DVaaSTest the dataplaneSwitchP4 Info

6、Prod EntriesSwitch under testSimulator(BMv2)Input PacketsP4-SymbolicPacket SynthesizerExpected Output PacketsActual Output PacketsVerify MatchSummaryTest OutcomesDataplane Validation as a Service(DVaaS)This is the input!This is the output!DVaaSTest the dataplaneSwitchP4 InfoProd EntriesSwitch under