Some content of this application is unavailable at the moment.
If this situation persist, please contact us atFeedback&Contact
1. (WO2018200476) AUTOMATED CODE VERIFICATION AND MACHINE LEARNING IN SOFTWARE DEFINED NETWORKS
Latest bibliographic data on file with the International Bureau    Submit observation

Pub. No.: WO/2018/200476 International Application No.: PCT/US2018/029076
Publication Date: 01.11.2018 International Filing Date: 24.04.2018
IPC:
H04L 12/701 (2013.01) ,H04L 12/703 (2013.01) ,G06F 11/36 (2006.01) ,G06F 8/00 (2018.01) ,H04L 12/24 (2006.01)
H ELECTRICITY
04
ELECTRIC COMMUNICATION TECHNIQUE
L
TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
12
Data switching networks
70
Packet switching systems
701
Routing or path finding
H ELECTRICITY
04
ELECTRIC COMMUNICATION TECHNIQUE
L
TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
12
Data switching networks
70
Packet switching systems
701
Routing or path finding
703
Route fault prevention or recovery, e.g. rerouting, route redundancy, virtual router redundancy protocol [VRRP] or hot standby router protocol [HSRP]
G PHYSICS
06
COMPUTING; CALCULATING; COUNTING
F
ELECTRIC DIGITAL DATA PROCESSING
11
Error detection; Error correction; Monitoring
36
Preventing errors by testing or debugging of software
[IPC code unknown for G06F 8]
H ELECTRICITY
04
ELECTRIC COMMUNICATION TECHNIQUE
L
TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
12
Data switching networks
02
Details
24
Arrangements for maintenance or administration
Applicants:
NOKIA OF AMERICA CORPORATION [US/US]; 600-700 Mountain Avenue Murray Hill, NJ 07974-0636, US
Inventors:
JAGADEESAN, Lalita; US
MENDIRATTA, Veena; US
Agent:
DESAI, Niraj, A.; US
Priority Data:
15/499,52827.04.2017US
Title (EN) AUTOMATED CODE VERIFICATION AND MACHINE LEARNING IN SOFTWARE DEFINED NETWORKS
(FR) VÉRIFICATION DE CODE AUTOMATISÉE ET APPRENTISSAGE AUTOMATIQUE DANS DES RÉSEAUX DÉFINIS PAR LOGICIEL
Abstract:
(EN) A processor is configured to execute an event-driven program along a plurality of execution paths. Each of the plurality of execution paths is determined by randomly chosen outcomes at non- deterministic points along the plurality of execution paths. A memory is configured to store values of properties of the event-driven code in response to executing the event-driven program along the plurality of execution paths. The processor is also configured to infer normal ranges of the properties of the event-driven program based on the values stored in the memory.
(FR) La présente invention concerne un processeur qui est configuré de sorte à exécuter un programme commandé par un événement le long d'une pluralité de trajets d'exécution. Chaque trajet de la pluralité de trajets d'exécution est déterminé par des résultats choisis de manière aléatoire à des points non déterministes le long de la pluralité de trajets d'exécution. Une mémoire est configurée de sorte à stocker des valeurs de propriétés du code commandé par un événement à la suite de l'exécution du programme commandé par un événement le long de la pluralité de trajets d'exécution. Le processeur est également configuré de sorte à inférer des plages normales des propriétés du programme commandé par un événement sur la base des valeurs stockées dans la mémoire.
front page image
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DJ, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JO, JP, KE, KG, KH, KN, KP, KR, KW, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW
African Regional Intellectual Property Organization (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Office (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (EPO) (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Publication Language: English (EN)
Filing Language: English (EN)