FR2838205B1 - METHOD FOR DETECTING ERRORS IN A COMPUTER PROGRAM - Google Patents

METHOD FOR DETECTING ERRORS IN A COMPUTER PROGRAM

Info

Publication number
FR2838205B1
FR2838205B1 FR0204406A FR0204406A FR2838205B1 FR 2838205 B1 FR2838205 B1 FR 2838205B1 FR 0204406 A FR0204406 A FR 0204406A FR 0204406 A FR0204406 A FR 0204406A FR 2838205 B1 FR2838205 B1 FR 2838205B1
Authority
FR
France
Prior art keywords
computer program
detecting errors
errors
detecting
program
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
FR0204406A
Other languages
French (fr)
Other versions
FR2838205A1 (en
Inventor
Eugen Nicolae Volanschi
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Canon Inc
Original Assignee
Canon Inc
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Canon Inc filed Critical Canon Inc
Priority to FR0204406A priority Critical patent/FR2838205B1/en
Publication of FR2838205A1 publication Critical patent/FR2838205A1/en
Application granted granted Critical
Publication of FR2838205B1 publication Critical patent/FR2838205B1/en
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
FR0204406A 2002-04-09 2002-04-09 METHOD FOR DETECTING ERRORS IN A COMPUTER PROGRAM Expired - Fee Related FR2838205B1 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
FR0204406A FR2838205B1 (en) 2002-04-09 2002-04-09 METHOD FOR DETECTING ERRORS IN A COMPUTER PROGRAM

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR0204406A FR2838205B1 (en) 2002-04-09 2002-04-09 METHOD FOR DETECTING ERRORS IN A COMPUTER PROGRAM

Publications (2)

Publication Number Publication Date
FR2838205A1 FR2838205A1 (en) 2003-10-10
FR2838205B1 true FR2838205B1 (en) 2006-08-18

Family

ID=28052233

Family Applications (1)

Application Number Title Priority Date Filing Date
FR0204406A Expired - Fee Related FR2838205B1 (en) 2002-04-09 2002-04-09 METHOD FOR DETECTING ERRORS IN A COMPUTER PROGRAM

Country Status (1)

Country Link
FR (1) FR2838205B1 (en)

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5694539A (en) * 1994-08-10 1997-12-02 Intrinsa Corporation Computer process resource modelling method and apparatus
US5963739A (en) * 1996-04-26 1999-10-05 Peter V. Homeier Method for verifying the total correctness of a program with mutually recursive procedures

Also Published As

Publication number Publication date
FR2838205A1 (en) 2003-10-10

Similar Documents

Publication Publication Date Title
DE50304442D1 (en) Detection device for detecting a Gutstaus in a harvester
FR2849226B1 (en) METHOD AND DEVICE FOR SECURING THE EXECUTION OF A COMPUTER PROGRAM
EP1797726A4 (en) Method and system for determining a signal vector and computer program element
DE602005009452D1 (en) Method for creating a "data processing object" for device monitoring
FR2873523B1 (en) METHOD AND DEVICE FOR PERFORMING A CRYPTOGRAPHIC CALCULATION
FR2908202B1 (en) METHOD AND DEVICE FOR CUSTOMIZING A PORTABLE ELECTRONIC ENTITY
FR2839175B1 (en) METHOD FOR DETECTING A MOBILE OBJECT BY OBSERVING IMAGES
FR2871969B1 (en) METHOD AND DEVICE FOR PERFORMING A CRYPTOGRAPHIC CALCULATION
FR2826753B1 (en) METHOD AND DEVICE FOR PROCESSING A COMPUTER DOCUMENT IN A COMPUTER SYSTEM
DE60321525D1 (en) Method, inspection system, computer program and reference substrate for detecting mask errors
FR2854713B1 (en) SYSTEM, METHODS AND APPLICATIONS FOR TAMPERING AND DETECTING THE FALL OF A SUBJECT
FR2789502B1 (en) METHOD AND TOOL FOR ANALYZING AND LOCATING HARDWARE FAULTS IN A COMPUTER MACHINE
FR2899708B1 (en) METHOD FOR RAPID DE-QUILLLING OF A SET OF DOCUMENTS OR A SET OF DATA CONTAINED IN A FILE
FR2849940B1 (en) METHOD FOR MANAGING A DEVICE AND COMPUTER SYSTEM USING SUCH A METHOD
FR2875352B1 (en) METHOD FOR DETECTING AND CORRECTING ERRORS FOR A MEMORY AND CORRESPONDING INTEGRATED CIRCUIT
DE50312725D1 (en) DEVICE FOR DETECTING A PFAHCRASH
FR2838205B1 (en) METHOD FOR DETECTING ERRORS IN A COMPUTER PROGRAM
FR2846122B1 (en) METHOD AND DEVICE FOR CONSTRUCTING AND VISUALIZING THE IMAGE OF A COMPUTER MODEL
FI20020584A0 (en) A method for determining the scale of a detection area
FR2816781B1 (en) METHOD AND DEVICE FOR SECURING A PORTAL IN A COMPUTER SYSTEM
FR2852422B1 (en) METHOD FOR AUTOMATICALLY IDENTIFYING ENTITIES IN A DIGITAL IMAGE
FR2840134B1 (en) METHOD FOR CONTROLLING ACCESS TO CRYPTOGRAPHIC RESOURCES, COMPUTER PLATFORM AND SOFTWARE MODULE FOR USE IN IMPLEMENTING THE METHOD
FR2819601B1 (en) COMPUTER PROGRAM PARTITION METHOD AND DEVICE
FR2853793B1 (en) METHOD AND DEVICE FOR DETECTING PLAN CHANGE IN A VIDEO SEQUENCE, COMPUTER PROGRAM AND CORRESPONDING INDEXING METHOD
FR2843979B1 (en) METHOD AND DEVICE FOR STRENGTHENING A WORK

Legal Events

Date Code Title Description
ST Notification of lapse

Effective date: 20131231