| CASE 1 | |
| NAME "Verifying 'SSH protocol' based slicing" | |
| STEP "Deleting flowspace using 'removeFlowSpace'" | |
| STORE ON FlowVisor1 DO removeFlowSpace USING "all" IN removeflowspace_result | |
| ASSERT removeflowspace_result EQUALS main.TRUE ONPASS "Removed FlowSpace Successfully" ONFAIL "Failed to remove FlowSpace" | |
| STEP "Showing connected devices using 'listDevices'" | |
| STORE ON FlowVisor1 DO listDevices IN listdevices_result | |
| ASSERT listdevices_result EQUALS main.TRUE ONPASS "Listed devices Successfully" ONFAIL "Failed to list the devices" | |
| STEP "Verifying hosts reachability through ICMP traffic" | |
| STORE ON Mininet1 DO pingHost USING src AS 'h1',target AS 'h4' IN ping_result | |
| ASSERT ping_result EQUALS main.TRUE ONPASS "NO PACKET LOSS, HOST IS REACHABLE" ONFAIL "PACKET LOST, HOST IS NOT REACHABLE" | |
| STEP "Showing the flowSpace USING 'listFlowSpace'" | |
| STORE ON FlowVisor1 DO listFlowSpace IN listflowspace_result | |
| STORE ON Mininet1 DO pingHost USING src AS 'h1',target AS 'h4' IN ping_result | |
| ASSERT main.TRUE EQUALS main.TRUE ONPASS "Listed FlowSpace" ONFAIL "Failed to list the FlowSpace" | |
| STEP "Adding FlowSpace to create the slice of the Network" | |
| INFO " Geeting the IP-Addresses of Hosts" | |
| STORE ON Mininet1 DO getIPAddress USING 'h1' IN h1_ipaddress | |
| STORE ON Mininet1 DO getIPAddress USING 'h4' IN h4_ipaddress | |
| INFO " Geeting the MAC-Addresses of Hosts" | |
| STORE ON Mininet1 DO getMacAddress USING 'h1' IN h1_macaddress | |
| STORE ON Mininet1 DO getMacAddress USING 'h4' IN h4_macaddress | |
| STORE ON FlowVisor1 DO addFlowSpace USING dl_src AS h1_macaddress,nw_dst AS h4_ipaddress IN addflowspace_result_1 | |
| ASSERT addflowspace_result_1 EQUALS main.TRUE ONPASS "Added FlowSpace Successfully" ONFAIL "Failed to add FlowSpace" | |
| STORE ON FlowVisor1 DO addFlowSpace USING dl_src AS h4_macaddress,nw_dst AS h1_ipaddress IN addflowspace_result_2 | |
| ASSERT addflowspace_result_2 EQUALS main.TRUE ONPASS "Added FlowSpace Successfully" ONFAIL "Failed to add FlowSpace" | |
| STORE ON FlowVisor1 DO addFlowSpace USING nw_src AS h1_ipaddress IN addflowspace_result_3 | |
| STORE ON FlowVisor1 DO addFlowSpace USING nw_src AS h4_ipaddress IN addflowspace_result_3 | |
| STORE ON FlowVisor1 DO addFlowSpace USING nw_src AS h1_ipaddress, tp_dst AS '22' IN addflowspace_result_3 | |
| ASSERT addflowspace_result_3 EQUALS main.TRUE ONPASS "Added FlowSpace Successfully" ONFAIL "Failed to add FlowSpace" | |
| STORE ON FlowVisor1 DO addFlowSpace USING nw_src AS h4_ipaddress,tp_dst AS '22' IN addflowspace_result_4 | |
| ASSERT addflowspace_result_4 EQUALS main.TRUE ONPASS "Added FlowSpace Successfully" ONFAIL "Failed to add FlowSpace" | |
| STORE ON FlowVisor1 DO addFlowSpace USING nw_src AS h1_ipaddress,tp_src AS '22' IN addflowspace_result_5 | |
| ASSERT addflowspace_result_5 EQUALS main.TRUE ONPASS "Added FlowSpace Successfully" ONFAIL "Failed to add FlowSpace" | |
| STORE ON FlowVisor1 DO addFlowSpace USING nw_src AS h4_ipaddress,tp_src AS '22' IN addflowspace_result_6 | |
| ASSERT addflowspace_result_6 EQUALS main.TRUE ONPASS "Added FlowSpace Successfully" ONFAIL "Failed to add FlowSpace" | |
| INFO "Showing the flowSpace USING 'listFlowSpace'" | |
| STORE ON FlowVisor1 DO listFlowSpace IN listflowspace_result | |
| STEP "Verifying hosts reachability through ICMP traffic and Connectivity through SSH service" | |
| STORE ON Mininet1 DO pingHost USING src AS 'h1',target AS 'h4' IN ping_result | |
| ASSERT ping_result EQUALS main.TRUE ONPASS "NO PACKET LOSS, HOST IS REACHABLE" ONFAIL "PACKET LOST, HOST IS NOT REACHABLE" | |
| STORE ON Mininet1 DO verifySSH USING user_name AS CASE['destination_username'],ip_address AS CASE['destination_host'], pwd AS CASE['destination_password'], port AS CASE['destination_port'] IN ssh_result | |
| ASSERT ssh_result EQUALS main.TRUE ONPASS "Failed to connect remote host throgh SSH" ONFAIL "Remote host connected throgh SSH " | |