DK0606802T3 - Fremgangsmåde til detektering af udførelsesfejl i et program - Google Patents

Fremgangsmåde til detektering af udførelsesfejl i et program

Info

Publication number
DK0606802T3
DK0606802T3 DK93403174.1T DK93403174T DK0606802T3 DK 0606802 T3 DK0606802 T3 DK 0606802T3 DK 93403174 T DK93403174 T DK 93403174T DK 0606802 T3 DK0606802 T3 DK 0606802T3
Authority
DK
Denmark
Prior art keywords
executed
execution
program
instruction
path
Prior art date
Application number
DK93403174.1T
Other languages
Danish (da)
English (en)
Inventor
Guillaume Bres
Francois Simon
Original Assignee
Gec Alsthom Transport Sa
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 Gec Alsthom Transport Sa filed Critical Gec Alsthom Transport Sa
Application granted granted Critical
Publication of DK0606802T3 publication Critical patent/DK0606802T3/da

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/14—Error detection or correction of the data by redundancy in operations
    • G06F11/1479—Generic software techniques for error detection or fault masking
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/08—Error detection or correction by redundancy in data representation, e.g. by using checking codes
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/28—Error detection; Error correction; Monitoring by checking the correct order of processing
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/14—Error detection or correction of the data by redundancy in operations
    • G06F11/1497—Time redundant execution of software on a single processing unit
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/16—Error detection or correction of the data by redundancy in hardware
    • G06F11/18—Error detection or correction of the data by redundancy in hardware using passive fault-masking of the redundant circuits
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G06F2201/83—Indexing scheme relating to error detection, to error correction, and to monitoring the solution involving signatures

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Devices For Executing Special Programs (AREA)
DK93403174.1T 1992-12-31 1993-12-27 Fremgangsmåde til detektering af udførelsesfejl i et program DK0606802T3 (da)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR9215990A FR2700032B1 (fr) 1992-12-31 1992-12-31 Procédé de détection des erreurs d'exécution d'un logiciel.

Publications (1)

Publication Number Publication Date
DK0606802T3 true DK0606802T3 (da) 1997-08-25

Family

ID=9437344

Family Applications (1)

Application Number Title Priority Date Filing Date
DK93403174.1T DK0606802T3 (da) 1992-12-31 1993-12-27 Fremgangsmåde til detektering af udførelsesfejl i et program

Country Status (7)

Country Link
EP (1) EP0606802B1 (de)
AT (1) ATE155906T1 (de)
DE (1) DE69312457T2 (de)
DK (1) DK0606802T3 (de)
ES (1) ES2105180T3 (de)
FR (1) FR2700032B1 (de)
GR (1) GR3025061T3 (de)

Families Citing this family (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2841015A1 (fr) * 2002-06-18 2003-12-19 St Microelectronics Sa Controle d'execution d'un programme
EP1460546A1 (de) * 2003-03-18 2004-09-22 SCHLUMBERGER Systèmes Verfahren zur Durchführung einer sicheren Ausführung eines Program in einer elektronischen Einheit gegen Angriffe durch Fehlereinführung
FR2864655B1 (fr) * 2003-12-31 2006-03-24 Trusted Logic Procede de controle d'integrite de programmes par verification d'empreintes de traces d'execution
EP1843250B1 (de) * 2006-04-05 2015-06-10 Texas Instruments France System und Verfahren zur Überprüfung der Integrität von Computerprogrammcodes
EP1870829B1 (de) 2006-06-23 2014-12-03 Microsoft Corporation Softwareschutz durch Erzwingen der Datenflussintegrität
DE102007038763A1 (de) * 2007-08-16 2009-02-19 Siemens Ag Verfahren und Vorrichtung zur Sicherung eines Programms gegen eine Kontrollflussmanipulation und gegen einen fehlerhaften Programmablauf
FR2989488B1 (fr) * 2012-04-13 2015-02-20 Commissariat Energie Atomique Dispositif pour generer une signature a l'execution d'une tache de programme et methode de comparaison de flots d'execution

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB2241799B (en) * 1990-03-08 1993-12-08 Sony Corp Supervision of microprocessors

Also Published As

Publication number Publication date
ATE155906T1 (de) 1997-08-15
DE69312457T2 (de) 1997-11-06
EP0606802B1 (de) 1997-07-23
GR3025061T3 (en) 1998-01-30
FR2700032B1 (fr) 1995-02-10
DE69312457D1 (de) 1997-09-04
FR2700032A1 (fr) 1994-07-01
EP0606802A1 (de) 1994-07-20
ES2105180T3 (es) 1997-10-16

Similar Documents

Publication Publication Date Title
CN111104335B (zh) 一种基于多层次分析的c语言缺陷检测方法及装置
KR20060103317A (ko) 프로세서 유닛의 적어도 두 개의 운영 모드 간의 절환을위한 방법 및 장치
DK0606802T3 (da) Fremgangsmåde til detektering af udførelsesfejl i et program
CN104156311A (zh) 一种基于cpu模拟器的嵌入式c语言目标码级单元测试方法
Parygina et al. Strong optimistic solving for dynamic symbolic execution
Li et al. A static CFG extraction scheme for RISC-V runtime CFI
JPH0210443A (ja) 再テストケース選択方式
Malburg et al. Tuning dynamic data flow analysis to support design understanding
JP3012618B1 (ja) 被検査プログラムのデバグ方法とそのデバグ方式
Fang et al. Efficient Symbolic Execution of Software under Fault Attacks
Sedlacek et al. Software Tests Quality Evaluation Using Code Mutants
JPS63300334A (ja) プログラムの命令実行数測定方式
Chalupa et al. Targeted Test Generation
JPS6345637A (ja) レジスタ割当て誤り検出方式
JPS6266338A (ja) パイプライン機構の試験方法
JPH05173838A (ja) 命令実行過程記録システム
SU1509906A2 (ru) Устройство дл контрол программ
JPS6116334A (ja) デ−タ処理装置
JPH0727475B2 (ja) マイクロプログラム検証方法および装置
JPS63300335A (ja) プログラムの命令実行数測定方式
Schligloff et al. Path testing
JPS6324425A (ja) テスト網羅状態検出方式
JPH02239341A (ja) プログラムトレーサにおける分岐網羅カバレージ率算出方式
Clifton A comparison of space requirements for short-circuit and full evaluation of boolean expressions
JPH04241637A (ja) プログラム命令実行数測定方式