Testing Black-Box SDN Applications with Formal Behavior Models

Yao, Jiangyuan; Wang, Zhiliang; Yin, Xin; Shi, Xingang; Li, Yahui; Li, Chongrong

doi:10.1109/mascots.2017.20

Cited by 4 publications

(4 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Yao et al presented a new model to integrate with a group of parallel state machines. A formal black‐box testing approach proposed for SDN applications.…”

Section: Formal Verification Methods In the Sdnmentioning

confidence: 99%

A systematic literature review on formal verification of software‐defined networks

Souri

Norouzi

Asghari

et al. 2019

Trans Emerging Tel Tech

View full text Add to dashboard Cite

By raising evolutionary network connections, a software‐defined network (SDN) offers a well‐managed and flexible novel network topology. The SDN efforts are provided to abstract the original network configuration for business applications and web services. Additionally, the SDN modifies the network management policies such as topology policies, deployment policies, the applicability, and infrastructure maintenance. One of the important features of the SDN is standardizing the network interfaces with the precise functional semantics in application and control flow layers. In another hand, specification and evaluation of the existing network interfaces is a main and significant challenge to prove the correctness of the configurable scenarios in the SDN approach. Recently, formal verification presents a high potential platform to evaluate the main‐layer scenarios of the SDN as the novel perspective in this area. Up to now, there is no survey and state‐of‐the‐art review on the formal verification methods in the SDN. This paper provides a systematic literature review (SLR) for the formal verification methods in the SDN in form of the SDN plans to recognize the state of the art of the open challenges. The presented SLR is classified into three main fields: application plan, data plan, and control plan approaches. The verification mechanisms are compared with each other according to the important factors such as structural properties, quality‐of‐service metrics, applied algorithms, and measurement tools.

show abstract

“…Yao et al presented a new model to integrate with a group of parallel state machines. A formal black‐box testing approach proposed for SDN applications.…”

Section: Formal Verification Methods In the Sdnmentioning

confidence: 99%

A systematic literature review on formal verification of software‐defined networks

Souri

Norouzi

Asghari

et al. 2019

Trans Emerging Tel Tech

View full text Add to dashboard Cite

show abstract

“…To address this challenge, various black-box testing approaches have been proposed. For instance, Yao et al [100], [101] described the system behaviors with parallel component models in a novel manner. The details of control plane testing in SDN networks are given in Section VIII.…”

Section: Overviewmentioning

confidence: 99%

“…For example, NOT NICE [145] checks whether the implementation of the switch conforms to the specifications from a model checking perspective. Yao et al [101], [147] proposed a black-box testing method for switches with a formal model. However, they check each individual switch each time.…”

Section: ) Conclusion On Stateless Data Planesmentioning

confidence: 99%

See 1 more Smart Citation

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

Yin

Wang

et al. 2019

IEEE Commun. Surv. Tutorials

Self Cite

View full text Add to dashboard Cite

Networks have grown increasingly complicated. Violations of intended policies can compromise network availability and network reliability. Network operators need to ensure that their policies are correctly implemented. This has inspired a research field, network verification and testing, that enables users to automatically detect bugs and systematically reason their network. Furthermore, techniques ranging from formal modeling to verification and testing have been applied to help operators build reliable systems in electronic design automation and software. Inspired by its success, network verification has recently seen increased attention in the academic and industrial communities. As an area of current interest, it is an interdisciplinary subject (with fields including formal methods, mathematical logic, programming languages, and networks), making it daunting for a nonprofessional. We perform a comprehensive survey on well-developed methodologies and tools for data plane verification, control plane verification, data plane testing and control plane testing. This survey also provides lessons gained from existing solutions and a perspective of future research developments.

show abstract

SandboxNet: An Online Malicious SDN Application Detection Framework for SDN Networking

Chi

Wang

Zheng

2020

2020 International Computer Symposium (ICS)

View full text Add to dashboard Cite

Testing Black-Box SDN Applications with Formal Behavior Models

Cited by 4 publications

References 14 publications

A systematic literature review on formal verification of software‐defined networks

A systematic literature review on formal verification of software‐defined networks

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

SandboxNet: An Online Malicious SDN Application Detection Framework for SDN Networking

Contact Info

Product

Resources

About