PATENT CLAIM ANALYSIS

Application Number: 15898517
Application Type: Utility
Filing Date: 2018-02
Publication Date: 2018-06
Patent Classification: ["370", "254000"]

Abstract:
A system performed by a computing device for validating routing tables of routing devices is provided. The routing tables map destination addresses to a next hops of the routing device. The system accesses one or more contracts that specify the desired behavior of a routing table of a routing device by specifying destination addresses and permissible next hops. For each routing device, the system generates a violation predicate for each contract that is applicable to the routing device. When a violation predicate is evaluated for a target destination address and a target next hop of the routing device, the violation predicate indicates whether the routing table violates the contract. The system then solves the violation predicates for all possible combinations of a target destination address and target next hops to determine whether any routing table violates the desired behavior of its routing device as specified by a contract.

Claim (Index 1):
A method performed by a computing device for validating a routing table of a routing device, the method comprising:\n accessing the routing table of the routing device, the routing table mapping destination addresses to a next hop of the routing device; accessing a contract specifying desired behavior of the routing table of the routing device, the contract specifying destination addresses and permissible next hops; generating a violation predicate from the routing table and the contract that, when evaluated for a destination address and a next hop of the routing device, indicates whether the routing table violates the contract; and solving the violation predicate for combinations of destination addresses and next hops to determine whether the routing table violates the contract, wherein the routing table includes one or more rules that specify a destination address range and one or more next hops, and wherein the generating includes:\n determining whether the destination address range of a rule overlaps the destination addresses specified by the contract; and \n when there is no overlap, suppressing use of that rule within the violation predicate.

Metadata:
- Claim Count in Document: 1.0
- Percentile: 88.0
- Lexical Diversity: 2.4375
- Patent Class: 370.0
- Transitional Phrase Type: open
- Component Type: 1
- Foreign Priority: False
- Related Applications: ['14923328', '14047325', '14255815', '09895972', '10311715']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.4656073013333815
- 35 USC 102 Novelty (BERT): 0.5658022526810761
- Combined Prediction Score: 0.475626796468151
- Mean Citation Score: 214.815964
- Max Citation Score: 426.62848
- Similarity Product: 420.61972522914886

Labels:
- Claim Label 101: 0
- Claim Label 102: 1
- Claim Label 103: 1
- Claim Label 112: 1
- Combined Label: 0
- Label 101 Adjusted: 0

Dataset: test