Skip to main content
SpringerLink
Log in

OFART: OpenFlow-Switch Adaptive Random Testing

  • Conference paper
  • First Online:
Advances in Computer Science and Ubiquitous Computing (UCAWSN 2016, CUTE 2016, CSA 2016)

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 421))

  • 1667 Accesses

Abstract

In the advent of SDN paradigm, the accumulated verification technologies in the existing software fields are being used to verify the SDN. Data Plane consists of Forwarding Devices and is controlled by Control Plane. If correctness of the Forwarding Device is not verified, it affects to the whole network. However, doing every testing by manually is a huge time-cost consuming act, so it requires an automation. In this paper, it suggests a framework which applies ART (Adaptive Random Testing) technique which considers OpenFlow Switch to be Black Box from the Controller point of view and is easy to do a testing automation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Nunes, B.A.A., Mendonca, M., Nguyen, X.N., Obraczka, K., Turletti, T.: A survey of software-defined networking: past, present, and future of programmable networks. IEEE Commun. Surv. Tutorials 16(3), 1617–1634 (2014)

    Article  Google Scholar 

  2. Open Networking Foundation: Software-defined networking: the new norm for networks. ONF White Paper (2012)

    Google Scholar 

  3. Kuzniar, M., Peresini, P., Canini, M., Venzano, D., Kostic, D.: A SOFT way for openflow switch interoperability testing. In: 8th International Conference on Emerging Networking Experiments and Technologies, pp. 265–276. ACM (2012)

    Google Scholar 

  4. Yao, J., Wang, Z., Yin, X., Shiyz, X., Wu, J.: Formal modeling and systematic black-box testing of SDN data plane. In: 2014 IEEE 22nd International Conference on Network Protocols, pp. 179–190. IEEE (2014)

    Google Scholar 

  5. Guha, A., Reitblatt, M., Foster, N.: Machine-verified network controllers. In: ACM SIGPLAN Notices, vol. 48, no. 6, pp. 483–494. ACM (2013)

    Google Scholar 

  6. Skowyra, R., Lapets, A., Bestavros, A., Kfoury, A.: A verification platform for SDN-enabled applications. In: 2014 IEEE International Conference on Cloud Engineering (IC2E), pp. 337–342. IEEE (2014)

    Google Scholar 

  7. Ball, T., et al.: Vericon: towards verifying controller programs in software-defined networks. In: ACM SIGPLAN Notices, vol. 49, no. 6, pp. 282–293. ACM (2014)

    Google Scholar 

  8. Al-Shaer, E., Al-Haj, S.: FlowChecker: configuration analysis and verification of federated OpenFlow infrastructures. In: 3rd ACM Workshop on Assurable and Usable Security Configuration, pp. 37–44. ACM (2010)

    Google Scholar 

  9. Kang, M., Kang, E.Y., Hwang, D.Y., Kim, B.J., Nam, K.H., Shin, M.K., Choi, J.Y.: Formal modeling and verification of SDN-OpenFlow. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, pp. 481–482. IEEE (2013)

    Google Scholar 

  10. Jorgensen, P.C.: Software Testing: a Craftsman’s Approach. CRC Press, Hoboken (2016)

    MATH  Google Scholar 

  11. Chen, T.Y., Leung, H., Mak, I.K.: Adaptive random testing. In: Maher, M.J. (ed.) ASIAN 2004. LNCS, vol. 3321, pp. 320–329. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30502-6_23

    Chapter  Google Scholar 

  12. Chen, T.Y., Kuo, F.C., Merkel, R.G., Tse, T.H.: Adaptive random testing: the art of test case diversity. J. Syst. Softw. 83(1), 60–66 (2010)

    Article  Google Scholar 

  13. Kuzniar, M., Canini, M., Kostic, D.: OFTEN testing OpenFlow networks. In: 2012 European Workshop on Software Defined Networking, pp. 54–60. IEEE (2012)

    Google Scholar 

  14. Zeng, H., Kazemian, P., Varghese, G., McKeown, N.: Automatic test packet generation. In: 8th International Conference on Emerging Networking Experiments and Technologies, pp. 241–252. ACM (2012)

    Google Scholar 

  15. Fayaz, S.K., Sekar, V.: Testing stateful and dynamic data planes with FlowTest. In: Third Workshop on Hot Topics in Software Defined Networking, pp. 79–84. ACM (2014)

    Google Scholar 

  16. Bifulco, R., Boite, J., Bouet, M., Schneider, F.: Improving SDN with InSPired Switches (2016)

    Google Scholar 

  17. OFTest. http://www.projectfloodlight.org/oftest

  18. RYU. https://osrg.github.io/ryu

Download references

Acknowledgments

This research was supported by The Leading Human Resource Training Program of Regional Neo industry through the National Research Foundation of Korea (NRF) funded by the Ministry of Science, ICT and future Planning (No. NRF-2016H1D5A1909989)

Author information

Authors and Affiliations

  1. Department of Computer Engineering, Dankook University, Juk-Jeon, Republic of Korea

    Dong-Su Koo

  2. Department of Computer Science, Dankook University, Juk-Jeon, Republic of Korea

    Young B. Park

Authors
  1. Dong-Su Koo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Young B. Park
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Young B. Park .

Editor information

Editors and Affiliations

  1. Computer Science and Engineering, Seoul National University of Science and Technology, Seoul, Korea (Republic of)

    James J. (Jong Hyuk) Park

  2. Department of Computer Science, Georgia State University, Atlanta, Georgia, USA

    Yi Pan

  3. Computer Science and Engineering, Gangneung-Wonju National University, Wonju, Korea (Republic of)

    Gangman Yi

  4. University Salerno, Fisciano, Italy

    Vincenzo Loia

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer Nature Singapore Pte Ltd.

About this paper

Cite this paper

Koo, DS., Park, Y.B. (2017). OFART: OpenFlow-Switch Adaptive Random Testing. In: Park, J., Pan, Y., Yi, G., Loia, V. (eds) Advances in Computer Science and Ubiquitous Computing. UCAWSN CUTE CSA 2016 2016 2016. Lecture Notes in Electrical Engineering, vol 421. Springer, Singapore. https://doi.org/10.1007/978-981-10-3023-9_97

Download citation

  • DOI: https://doi.org/10.1007/978-981-10-3023-9_97

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-10-3022-2

  • Online ISBN: 978-981-10-3023-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation