公开(公告)号：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.

公开(公告)号：US20250141777A1

公开(公告)日：2025-05-01

申请号：US19011331

申请日：2025-01-06

Applicant: Microsoft Technology Licensing, LLC

Inventor： Jitendra PADHYE ,  Karthick JAYARAMAN ,  Wei BAI ,  Rachee SINGH ,  Ryan Andrew BECKETT ,  Sarah Elisabeth MCCLURE ,  Neha Milind RAJE ,  Steven Jeffrey BENALOH ,  Christopher Scott JOHNSTON

IPC: H04L43/50 ,  H04L45/02 ,  H04L45/586 ,  H04L45/64

Abstract: Ghost routing is a network verification technique that uses a portion of a production network itself to verify the impact of potential network changes. Ghost routing logically partitions the production network into a main network and a ghost network. The main network handles live traffic while the ghost network handles traffic generated for diagnostic purposes. The ghost network may have a network topology identical to the production network and may use the same hardware and software as the production network. An operator may implement a network configuration change on the ghost network and then use verification tools to verify that the network configuration change on the ghost network does not result in bugs. Verifying on the ghost network may not affect the main network. If the network operator verifies the network configuration change on the ghost network, the network operator may implement the network configuration change on the main network.

公开(公告)号：US20240056361A1

公开(公告)日：2024-02-15

申请号：US17887081

申请日：2022-08-12

Applicant: Microsoft Technology Licensing, LLC

Inventor： Wei BAI ,  Jitendra PADHYE ,  Shachar RAINDEL ,  Zhuolong YU ,  Mahmoud ELHADDAD ,  Abdul KABBANI

IPC: H04L41/14 ,  H04L41/0803 ,  H04L41/22 ,  H04L41/00 ,  H04L67/1095 ,  H04L43/045

CPC classification number: H04L41/145 ,  H04L41/0803 ,  H04L41/22 ,  H04L41/24 ,  H04L67/1095 ,  H04L43/045

Abstract: This document relates to analyzing of network stack functionality that is implemented in hardware, such as on a network adapter. The disclosed implementations employ a programmable network device, such as a switch, to inject events into traffic and mirror the traffic for subsequent analysis. The events can have user-specified event parameters to test different types of network stack behavior, such as how the network adapters respond to corrupted packets, dropped packets, or explicit congestion notifications.

公开(公告)号：US20230231806A1

公开(公告)日：2023-07-20

申请号：US18191573

申请日：2023-03-28

Applicant: Microsoft Technology Licensing, LLC

Inventor： Jitendra PADHYE ,  Karthick JAYARAMAN ,  Wei BAI ,  Rachee SINGH ,  Ryan Andrew BECKETT ,  Sarah Elisabeth MCCLURE ,  Neha Milind RAJE ,  Steven Jeffrey BENALOH ,  Christopher Scott JOHNSTON

IPC: H04L45/586 ,  H04L45/02 ,  H04L45/64

CPC classification number: H04L45/586 ,  H04L45/02 ,  H04L45/64

Abstract: Ghost routing is a network verification technique that uses a portion of a production network itself to verify the impact of potential network changes. Ghost routing logically partitions the production network into a main network and a ghost network. The main network handles live traffic while the ghost network handles traffic generated for diagnostic purposes. The ghost network may have a network topology identical to the production network and may use the same hardware and software as the production network. An operator may implement a network configuration change on the ghost network and then use verification tools to verify that the network configuration change on the ghost network does not result in bugs. Verifying on the ghost network may not affect the main network. If the network operator verifies the network configuration change on the ghost network, the network operator may implement the network configuration change on the main network.

公开(公告)号：US20220124031A1

公开(公告)日：2022-04-21

申请号：US17072147

申请日：2020-10-16

Applicant: Microsoft Technology Licensing, LLC

Inventor： Jitendra PADHYE ,  Karthick JAYARAMAN ,  Wei BAI ,  Rachee SINGH ,  Ryan Andrew BECKETT ,  Sarah Elisabeth MCCLURE ,  Neha Milind RAJE ,  Steven Jeffrey BENALOH ,  Christopher Scott JOHNSTON

IPC: H04L12/713 ,  H04L12/751 ,  H04L12/715

Abstract: Ghost routing is a network verification technique that uses a portion of a production network itself to verify the impact of potential network changes. Ghost routing logically partitions the production network into a main network and a ghost network. The main network handles live traffic while the ghost network handles traffic generated for diagnostic purposes. The ghost network may have a network topology identical to the production network and may use the same hardware and software as the production network. An operator may implement a network configuration change on the ghost network and then use verification tools to verify that the network configuration change on the ghost network does not result in bugs. Verifying on the ghost network may not affect the main network. If the network operator verifies the network configuration change on the ghost network, the network operator may implement the network configuration change on the main network.