Network verification systems and methods

A network verification system uses general-purpose programming language to create network verification tests. A test orchestrator builds a model of the network only using data from the network verification test. An optimization testing manager creates symbolic packets for verification tests using as...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Beckett, Ryan Andrew, Padhye, Jitendra, Claudino Pereira Lopes, Nuno, Riechert, Maik, Lee, Hang Kwong, Agarwal, Sharad, Raje, Neha Milind, Jayaraman, Karthick, Benaloh, Steven Jeffrey, Parkhi, Aniruddha, Rybalchenko, Andrey Aleksandrovic, Johnston, Christopher Scott, Bjorner, Nikolaj, Cerqueira Afonso, Nuno
Format:	Patent
Sprache:	eng
Schlagworte:	CALCULATING COMPUTING COUNTING ELECTRIC COMMUNICATION TECHNIQUE ELECTRIC DIGITAL DATA PROCESSING ELECTRICITY PHYSICS TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHICCOMMUNICATION
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	A network verification system uses general-purpose programming language to create network verification tests. A test orchestrator builds a model of the network only using data from the network verification test. An optimization testing manager creates symbolic packets for verification tests using assertions based on a packet library embedded into the testing manager and the general-purpose programming language.