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:	RYBALCHENKO, Andrey Aleksandrovic, RIECHERT, Maik, RAJE, Neha Milind, CERQUEIRA AFONSO, Nuno, PARKHI, Aniruddha, PADHYE, Jitendra, LEE, Hang Kwong, CLAUDINO PEREIRA LOPES, Nuno, BECKETT, Ryan Andrew, JAYARAMAN, Karthick, BENALOH, Steven Jeffrey, BJORNER, Nikolaj, AGARWAL, Sharad, JOHNSTON, Christopher Scott
Format:	Patent
Sprache:	eng
Schlagworte:	ELECTRIC COMMUNICATION TECHNIQUE ELECTRICITY 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.