公开(公告)号：US20230300053A1

公开(公告)日：2023-09-21

申请号：US18017654

申请日：2021-04-30

Applicant: Microsoft Technology Licensing, LLC

Inventor： Ryan Andrew BECKETT ,  Karthick JAYARAMAN ,  Neha Milind RAJE ,  Jitendra PADHYE ,  Christopher Scott JOHNSTON ,  Steven Jeffrey BENALOH ,  Nikolaj BJORNER ,  Andrey Aleksandrovic RYBALCHENKO ,  Nuno CERQUEIRA AFONSO ,  Nuno CLAUDINO PEREIRA LOPES ,  Sharad AGARWAL ,  Hang Kwong LEE ,  Aniruddha PARKHI ,  Maik RIECHERT

IPC: H04L43/50 ,  H04L43/06 ,  H04L41/14

CPC classification number: H04L43/50 ,  H04L43/06 ,  H04L41/145

Abstract: 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.