Recherche dans les collections de brevets nationales et internationales

1. (WO2018222483) GÉNÉRATION DE CONTRE-EXEMPLES DE DÉFAILLANCES D'ÉQUIVALENCE FORMELLE D'INTENTIONS DE RÉSEAU

Pub. No.:    WO/2018/222483    International Application No.:    PCT/US2018/034302
Publication Date: Fri Dec 07 00:59:59 CET 2018 International Filing Date: Fri May 25 01:59:59 CEST 2018
IPC: H04L 12/24
Applicants: CISCO TECHNOLOGY, INC.
Inventors: MOHANRAM, Kartik
Title: GÉNÉRATION DE CONTRE-EXEMPLES DE DÉFAILLANCES D'ÉQUIVALENCE FORMELLE D'INTENTIONS DE RÉSEAU
Abstract:
L'invention concerne des systèmes, des procédés et des supports lisibles par ordinateur servant à générer des contre-exemples de défaillances d'équivalence entre des modèles d'intentions de réseau. Une liste de règles de conflit correspondant à une défaillance d'équivalence entre au moins des premier et second modèles d'intentions de réseau décrivant le fonctionnement et la communication de dispositifs de réseau dans un réseau est obtenue. Une disjonction exclusive logique entre des premières règles de conflit du premier modèle et des secondes règles de conflit correspondantes du second modèle est calculée. Un ou plusieurs contre-exemples correspondant à la défaillance d'équivalence sont générés sur la base, au moins en partie, de la disjonction exclusive logique, de sorte qu'un contre-exemple donné comprenne des conditions de réseau et de paquets qui amènent les premières règles de conflit à déclencher une première action et qui amènent les secondes règles de conflit à déclencher une seconde action qui est différente de la première action. Des champs sensibles qui sont plus susceptibles d'être associés à la défaillance d'équivalence sont identifiés dans le contre-exemple.