![](bg8.png)
6 CONCLUSION
In this paper, we discussed implementability issues
for a given set of paths on an SDN data plane. We
showed that for a fixed traffic type, whenever the re-
quested set contains only edge simple paths, more
(unintended) paths can still be implemented on the
data plane, and some of those can create cycles, i.e.,
infinite packet loops, and we established the neces-
sary and sufficient conditions for a set of requested
paths to be implemented without any undesired con-
nections. Our preventive verification approach is use-
ful for guaranteeing that new (requested) and pre-
existing paths form valid configurations. The esti-
mated (polynomial w.r.t. the total paths’ length) com-
plexity of the proposed approach makes possible its
applicability for large scale virtual networks. For a
set of paths that cannot be implemented directly on
the data plane, we proposed debugging and repairing
approaches for correcting the initial request, such that
the resulting set becomes arc closed. As future work,
we plan to extend the proposed approaches abstract-
ing from a given traffic type as well as considering
other kinds of specifications for user requests.
REFERENCES
Berde, P., Gerola, M., Hart, J., Higuchi, Y., Kobayashi, M.,
Koide, T., Lantz, B., O’Connor, B., Radoslavov, P.,
Snow, W., et al. (2014). Onos: towards an open, dis-
tributed sdn os. In Proceedings of the third workshop
on Hot topics in software defined networking, pages
1–6. ACM.
Berriri, A., L
´
opez, J., Kushik, N., Yevtushenko, N., and
Zeghlache, D. (2018). Towards model based testing
for software defined networks. In Proceedings of the
13th International Conference on Evaluation of Novel
Approaches to Software Engineering ENASE, pages
440–446.
Boufkhad, Y., De La Paz, R., Linguaglossa, L., Mathieu, F.,
Perino, D., and Viennot, L. (2016). Forwarding tables
verification through representative header sets. arXiv
preprint arXiv:1601.07002.
Burdonov, I. B., Kossachev, A., Yevtushenko, N., L
´
opez, J.,
Kushik, N., and Zeghlache, D. (2019). Verifying SDN
data path requests. CoRR, abs/1906.03101.
Canini, M., Venzano, D., Pere
ˇ
s
´
ıni, P., Kosti
´
c, D., and Rex-
ford, J. (2012). A NICE way to test openflow applica-
tions. In Presented as part of the 9th USENIX Sympo-
sium on Networked Systems Design and Implementa-
tion (NSDI 12), pages 127–140.
Cormen, T. H., Leiserson, C. E., Rivest, R. L., and Stein, C.
(2009). Introduction to algorithms. MIT press.
David, L., Stefano, V., and Olivier, B. (2014). Towards
test-driven software defined networking. In 2014
IEEE Network Operations and Management Sympo-
sium, pages 1–9.
Dobrescu, M. and Argyraki, K. (2013). Toward a verifi-
able software dataplane. In Proceedings of the Twelfth
ACM Workshop on Hot Topics in Networks, page 18.
ACM.
Fayaz, S. K., Yu, T., Tobioka, Y., Chaki, S., and Sekar,
V. (2016). BUZZ: Testing context-dependent poli-
cies in stateful networks. In 13th USENIX Sympo-
sium on Networked Systems Design and Implementa-
tion (NSDI 16), pages 275–289.
Mai, H., Khurshid, A., Agarwal, R., Caesar, M., Godfrey, P.,
and King, S. T. (2011). Debugging the data plane with
anteater. ACM SIGCOMM Computer Communication
Review, 41(4):290–301.
Merkel, D. (2014). Docker: lightweight linux containers for
consistent development and deployment. Linux jour-
nal, 2014(239):2.
Mohammed, A. H., Khaleefah, R. M., k. Hussein, M., and
Amjad Abdulateef, I. (2020). A review software de-
fined networking for internet of things. In 2020 In-
ternational Congress on Human-Computer Interac-
tion, Optimization and Robotic Applications (HORA),
pages 1–8.
OpenNetworkingFoundation (2012). Software-defined net-
working: The new norm for networks. ONF White
Paper.
OpenNetworkingFoundation (2015). Openflow switch
specification version 1.5. 0. ONF Specification.
Peuster, M., Kampmeyer, J., and Karl, H. (2018). Con-
tainernet 2.0: A rapid prototyping platform for hybrid
service function chains. In 2018 4th IEEE Conference
on Network Softwarization and Workshops (NetSoft),
pages 335–337. IEEE.
Sezer, S., Scott-Hayward, S., Chouhan, P. K., Fraser, B.,
Lake, D., Finnegan, J., Viljoen, N., Miller, M., and
Rao, N. (2013). Are we ready for sdn? implementa-
tion challenges for software-defined networks. IEEE
Communications Magazine, 51(7):36–43.
Stoenescu, R., Dumitrescu, D., Popovici, M., Negreanu, L.,
and Raiciu, C. (2018). Debugging P4 programs with
vera. In Proceedings of the 2018 Conference of the
ACM Special Interest Group on Data Communication
SIGCOMM, pages 518–532.
Yao, J., Wang, Z., Yin, X., Shiyz, X., and Wu, J. (2014).
Formal modeling and systematic black-box testing of
sdn data plane. In The IEEE 22nd International Con-
ference on Network Protocols (ICNP), pages 179–
190.
Yevtushenko, N., Burdonov, I. B., Kossachev, A., L
´
opez, J.,
Kushik, N., and Zeghlache, D. (2018). Test derivation
for the software defined networking platforms: Novel
fault models and test completeness. In 2018 IEEE
East-West Design & Test Symposium EWDTS, pages
1–6.
Zeng, H., Kazemian, P., Varghese, G., and McKeown, N.
(2012). Automatic test packet generation. In Proceed-
ings of the 8th international conference on Emerging
networking experiments and technologies, pages 241–
252. ACM.
ENASE 2021 - 16th International Conference on Evaluation of Novel Approaches to Software Engineering
428