Processing

Please wait...

Settings

Settings

Goto Application

1. WO2020072159 - REVERSE DEBUGGING OF SOFTWARE FAILURES

Publication Number WO/2020/072159
Publication Date 09.04.2020
International Application No. PCT/US2019/049405
International Filing Date 04.09.2019
IPC
G06F 11/36 2006.01
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging of software
G06F 11/07 2006.01
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
07Responding to the occurrence of a fault, e.g. fault tolerance
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
Applicants
  • MICROSOFT TECHNOLOGY LICENSING, LLC [US]/[US]
Inventors
  • CUI, Weidong
  • GE, Xinyang
  • KASIKCI, Baris Can Cengiz
  • NIU, Ben
  • WANG, Ruoyu
  • YUN, Insu
Agents
  • 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
Priority Data
16/148,81001.10.2018US
Publication Language English (EN)
Filing Language English (EN)
Designated States
Title
(EN) REVERSE DEBUGGING OF SOFTWARE FAILURES
(FR) DÉBOGAGE INVERSE DE DÉFAILLANCES DE LOGICIEL
Abstract
(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.
Also published as
Latest bibliographic data on file with the International Bureau