research-article

Model Based Black-Box Testing of SDN Applications

Authors:

Xia Yin,

Yahui LiAuthors Info & Claims

CoNEXT Student Workshop '14: Proceedings of the 2014 CoNEXT on Student Workshop

Pages 37 - 39

https://doi.org/10.1145/2680821.2680828

Published: 02 December 2014 Publication History

Get Access

Abstract

The quality of control plane applications determines reliability of the Software-Defined Networking (SDN). The risk of bugs and challenges for testing actually have been increased due to the programmability of SDN. In this paper, we propose a model based black-box testing method for SDN applications. We use a group of components to describe the data structure stored in the applications and the system behaviors. Based on our models, we present our test generation approach and work-in-progress test tool. With partial model composition, it can systematically generate data plane test sequences and alleviate state explosion.

References

[1]

T. Ball, N. Bjørner, A. Gember, S. Itzhaky, A. Karbyshev, M. Sagiv, M. Schapira, and A. Valadarsky. Vericon: Towards verifying controller programs in software-defined networks. In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'14, pages 282--293. ACM, 2014.

Digital Library

Google Scholar

[2]

M. Canini, D. Venzano, P. Perešíni, D. Kostic, and J. Rexford. A nice way to test openflow applications. In Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI'12), pages 127--140, San Jose, CA, 2012. USENIX.

Digital Library

Google Scholar

[3]

P. Kazemian, G. Varghese, and N. McKeown. Header space analysis: Static checking for networks. In Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI'12), pages 113--126, San Jose, CA, USA, 2012. USENIX.

Digital Library

Google Scholar

[4]

T. Nelson, A. D. Ferguson, M. J. Scheer, and S. Krishnamurthi. Tierless programming and reasoning for software-defined networks. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI'14), pages 519--531, Seattle, WA, 2014. USENIX.

Digital Library

Google Scholar

[5]

NOX. Pyswitch application. https://github.com/noxrepo/nox-classic/blob/destiny/src/nox/coreapps/examples/pyswitch.py.

Google Scholar

[6]

ONF. White paper (software-defined networking: The new norm for networks). https://www.opennetworking.org/sdn-resources/sdn-library/whitepapers.

Google Scholar

[7]

C. Scott, A. Wundsam, B. Raghavan, A. Panda, A. Or, J. Lai, E. Huang, Z. Liu, A. El-Hassany, S. Whitlock, H. Acharya, K. Zarifis, and S. Shenker. Troubleshooting blackbox sdn control software with minimal causal sequences. In Proceedings of the 2014 ACM Conference on SIGCOMM, pages 395--406. ACM, 2014.

Digital Library

Google Scholar

Cited By

View all

Yu YLi XLeng XSong LBu KChen YYang JZhang LCheng KXiao X(2019)Fault Management in Software-Defined Networking: A SurveyIEEE Communications Surveys & Tutorials10.1109/COMST.2018.286892221:1(349-392)Online publication date: Sep-2020
https://doi.org/10.1109/COMST.2018.2868922
Li YYin XWang ZYao JShi XWu JZhang HWang Q(2019)A Survey on Network Verification and Testing With Formal Methods: Approaches and ChallengesIEEE Communications Surveys & Tutorials10.1109/COMST.2018.286805021:1(940-969)Online publication date: Sep-2020
https://doi.org/10.1109/COMST.2018.2868050

Index Terms

Model Based Black-Box Testing of SDN Applications
1. Networks
  1. Network protocols
    1. Protocol correctness
      1. Protocol testing and verification
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Formal Modeling and Systematic Black-Box Testing of SDN Data Plane
ICNP '14: Proceedings of the 2014 IEEE 22nd International Conference on Network Protocols

Existing tools for Software-Defined Networking (SDN) data plane testing can be classified into two classes: white box and black-box. For the former, all or part of source codes should be accessed. But for testers outside the manufacturers, the accessing ...
Achieving SCA Conformance Testing with Model-Based Testing

The Software Communications Architecture (SCA) is a software architecture provided and published by the Joint Tactical Networking Center (JTNC). Facing the multiplicity of the waveforms and the diversity of the platform architectures and form factors, ...
Test Framework Generation for Model-Based Testing in Embedded Systems
SEAA '11: Proceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications

Model Driven Development (MDD) and Model-Based Testing (MBT) are slowly replacing the traditional methods of developing and testing real-time embedded software systems (RTESS). However, even though MBT finds wide applicability in various fields, none of ...

Comments

Information & Contributors

Information

Published In

CoNEXT Student Workshop '14: Proceedings of the 2014 CoNEXT on Student Workshop

December 2014

58 pages

ISBN:9781450332828

DOI:10.1145/2680821

Program Chairs:
George Iosifidis
University of Thessaly, and CERTH, Greece
,
Eric Keller
University of Colorado, USA
,
Sun Yi
Chinese Academy of Science, China

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 December 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

CoNEXT '14

Sponsor:

SIGCOMM

CoNEXT '14: Conference on emerging Networking Experiments and Technologies

December 2, 2014

Sydney, Australia

Acceptance Rates

CoNEXT Student Workshop '14 Paper Acceptance Rate 17 of 34 submissions, 50%;

Overall Acceptance Rate 198 of 789 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
203
Total Downloads

Downloads (Last 12 months)10
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Yu YLi XLeng XSong LBu KChen YYang JZhang LCheng KXiao X(2019)Fault Management in Software-Defined Networking: A SurveyIEEE Communications Surveys & Tutorials10.1109/COMST.2018.286892221:1(349-392)Online publication date: Sep-2020
https://doi.org/10.1109/COMST.2018.2868922
Li YYin XWang ZYao JShi XWu JZhang HWang Q(2019)A Survey on Network Verification and Testing With Formal Methods: Approaches and ChallengesIEEE Communications Surveys & Tutorials10.1109/COMST.2018.286805021:1(940-969)Online publication date: Sep-2020
https://doi.org/10.1109/COMST.2018.2868050

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Formal Modeling and Systematic Black-Box Testing of SDN Data Plane

Achieving SCA Conformance Testing with Model-Based Testing

Test Framework Generation for Model-Based Testing in Embedded Systems

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Formal Modeling and Systematic Black-Box Testing of SDN Data Plane

Achieving SCA Conformance Testing with Model-Based Testing

Test Framework Generation for Model-Based Testing in Embedded Systems

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations