Traitement en cours

Veuillez attendre...

Paramétrages

Paramétrages

Goto Application

1. WO2020072159 - DÉBOGAGE INVERSE DE DÉFAILLANCES DE LOGICIEL

Numéro de publication WO/2020/072159
Date de publication 09.04.2020
N° de la demande internationale PCT/US2019/049405
Date du dépôt international 04.09.2019
CIB
G06F 11/36 2006.01
GPHYSIQUE
06CALCUL; COMPTAGE
FTRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
11Détection d'erreurs; Correction d'erreurs; Contrôle de fonctionnement
36Prévention d'erreurs en effectuant des tests ou par débogage de logiciel
G06F 11/07 2006.01
GPHYSIQUE
06CALCUL; COMPTAGE
FTRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
11Détection d'erreurs; Correction d'erreurs; Contrôle de fonctionnement
07Réaction à l'apparition d'un défaut, p.ex. tolérance de certains défauts
CPC
G06F 11/3612
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging software
3604Software analysis for verifying properties of programs
3612by runtime analysis
G06F 11/3636
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging software
362Software debugging
3636by tracing the execution of the program
G06F 11/364
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging software
362Software debugging
3636by tracing the execution of the program
364tracing values on a bus
G06F 40/30
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
40Handling natural language data
30Semantic analysis
G06F 40/44
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
40Handling natural language data
40Processing or translation of natural language
42Data-driven translation
44Statistical methods, e.g. probability models
G06F 40/45
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
40Handling natural language data
40Processing or translation of natural language
42Data-driven translation
45Example-based machine translation; Alignment
Déposants
  • MICROSOFT TECHNOLOGY LICENSING, LLC [US]/[US]
Inventeurs
  • CUI, Weidong
  • GE, Xinyang
  • KASIKCI, Baris Can Cengiz
  • NIU, Ben
  • WANG, Ruoyu
  • YUN, Insu
Mandataires
  • MINHAS, Sandip S.
  • CHEN, Wei-Chen Nicholas
  • HINOJOSA, Brianna L.
  • HOLMES, Danielle J.
  • SWAIN, Cassandra T.
  • WONG, Thomas S.
  • CHOI, Daniel
  • HWANG, William C.
  • WIGHT, Stephen A.
  • CHATTERJEE, Aaron C.
  • JARDINE, John S.
  • GOLDSMITH, Micah P.
  • TRAN, Kimberly
Données relatives à la priorité
16/148,81001.10.2018US
Langue de publication anglais (EN)
Langue de dépôt anglais (EN)
États désignés
Titre
(EN) REVERSE DEBUGGING OF SOFTWARE FAILURES
(FR) DÉBOGAGE INVERSE DE DÉFAILLANCES DE LOGICIEL
Abrégé
(EN)
Debugging systems are configured to resolve both memory aliasing conditions in which a write instruction is directed to an unknown destination address, and concurrency conditions in which control flow information is collected for multiple, concurrently executing threads. Recorded state values corresponding to an application's prior execution and control flow information are both obtained.
(FR)
Selon l'invention, des systèmes de débogage sont conçus pour résoudre à la fois des conditions de repliement de mémoire dans lesquelles une instruction d'écriture est dirigée vers une adresse de destination inconnue, et des conditions de simultanéité dans lesquelles des informations de flux de commande sont recueilles pour de multiples fils d'exécution simultanés. Des valeurs d'état enregistrées correspondant à une exécution antérieure d'une application et des informations de flux de commande sont toutes obtenues.
Également publié en tant que
Dernières données bibliographiques dont dispose le Bureau international