CA2030227A1 - Methode de detection des erreurs potentielles dans les programmes en langage assembleur par detection des incoherences apparentes en rapport avec les operations anterieures - Google Patents

Methode de detection des erreurs potentielles dans les programmes en langage assembleur par detection des incoherences apparentes en rapport avec les operations anterieures

Info

Publication number
CA2030227A1
CA2030227A1 CA2030227A CA2030227A CA2030227A1 CA 2030227 A1 CA2030227 A1 CA 2030227A1 CA 2030227 A CA2030227 A CA 2030227A CA 2030227 A CA2030227 A CA 2030227A CA 2030227 A1 CA2030227 A1 CA 2030227A1
Authority
CA
Canada
Prior art keywords
assembly language
debugging program
error detection
previous operation
detection scheme
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.)
Granted
Application number
CA2030227A
Other languages
English (en)
Other versions
CA2030227C (fr
Inventor
Robert G. Hansen
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.)
Bull HN Information Systems Inc
Original Assignee
Individual
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 Individual filed Critical Individual
Publication of CA2030227A1 publication Critical patent/CA2030227A1/fr
Application granted granted Critical
Publication of CA2030227C publication Critical patent/CA2030227C/fr
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/362—Software debugging
    • G06F11/3624—Software debugging by performing operations on the source code, e.g. via a compiler

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)
CA002030227A 1989-11-29 1990-11-19 Methode de detection des erreurs potentielles dans les programmes en langage assembleur par detection des incoherences apparentes en rapport avec les operations anterieures Expired - Fee Related CA2030227C (fr)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US443,680 1989-11-29
US07/443,680 US5132972A (en) 1989-11-29 1989-11-29 Assembly language programming potential error detection scheme sensing apparent inconsistency with a previous operation

Publications (2)

Publication Number Publication Date
CA2030227A1 true CA2030227A1 (fr) 1991-05-30
CA2030227C CA2030227C (fr) 1994-07-05

Family

ID=23761776

Family Applications (1)

Application Number Title Priority Date Filing Date
CA002030227A Expired - Fee Related CA2030227C (fr) 1989-11-29 1990-11-19 Methode de detection des erreurs potentielles dans les programmes en langage assembleur par detection des incoherences apparentes en rapport avec les operations anterieures

Country Status (6)

Country Link
US (1) US5132972A (fr)
EP (1) EP0430182B1 (fr)
JP (1) JPH0748182B2 (fr)
AU (1) AU629707B2 (fr)
CA (1) CA2030227C (fr)
DE (1) DE69026208T2 (fr)

Families Citing this family (17)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5450575A (en) * 1991-03-07 1995-09-12 Digital Equipment Corporation Use of stack depth to identify machine code mistakes
US5193180A (en) * 1991-06-21 1993-03-09 Pure Software Inc. System for modifying relocatable object code files to monitor accesses to dynamically allocated memory
FR2718868B1 (fr) * 1994-04-18 1996-05-31 Bull Sa Procédé de détection d'interblocages dans les systèmes multiprocesseurs à mémoire partagée.
US5613063A (en) * 1994-07-01 1997-03-18 Digital Equipment Corporation Method and apparatus for checking validity of memory operations
JPH08185326A (ja) * 1994-12-28 1996-07-16 Fujitsu Ltd インタープリタ言語処理装置
US5699507A (en) * 1995-01-17 1997-12-16 Lucent Technologies Inc. Method of identifying similarities in code segments
JP2850808B2 (ja) * 1995-10-31 1999-01-27 日本電気株式会社 データ処理装置およびデータ処理方法
US5805893A (en) * 1996-03-01 1998-09-08 Electronic Data Systems Corporation Assembly language program converter
US5854924A (en) * 1996-08-08 1998-12-29 Globetrotter Software, Inc. Static debugging tool and method
DE19731733C1 (de) * 1997-07-23 1998-10-01 Siemens Nixdorf Inf Syst Verfahren zum Testen eines Assemblerprogramms auf Portabilität
US6314557B1 (en) * 1998-12-14 2001-11-06 Infineon Technologies Development Center Tel Aviv Ltd Hybrid computer programming environment
WO2000055953A1 (fr) * 1999-03-15 2000-09-21 Smartsan Systems, Inc. Systeme et procede de gestion d'evenements et de detection anticipee d'erreurs
US6675295B1 (en) * 2000-06-19 2004-01-06 Microsoft Corporation Method and computer system for detecting and correcting a failure in a computer application program during startup
US7284274B1 (en) * 2001-01-18 2007-10-16 Cigital, Inc. System and method for identifying and eliminating vulnerabilities in computer software applications
US7290174B1 (en) * 2003-12-03 2007-10-30 Altera Corporation Methods and apparatus for generating test instruction sequences
US8959493B2 (en) 2011-06-27 2015-02-17 International Business Machines Corporation Using range validation in assembly language programming
EP4095698A4 (fr) * 2020-01-20 2023-03-15 Fujitsu Limited Processeur, programme de simulateur, programme d'assembleur et programme de traitement d'informations

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS61110240A (ja) * 1984-10-31 1986-05-28 インタ−ナショナル　ビジネス　マシ−ンズ　コ−ポレ−ション 最適化コンパイラ
JPS63304336A (ja) * 1987-06-04 1988-12-12 Nec Corp 計算機言語記述の矛盾摘出解消方式
US5182807A (en) * 1987-12-18 1993-01-26 Nec Corporation Assembler system for determining when to compile source code modules
JP2803090B2 (ja) * 1988-06-06 1998-09-24 富士ゼロックス株式会社 Ｍｐｕシミュレーション方法及びｍｐｕシミュレータ

Also Published As

Publication number Publication date
AU6679990A (en) 1991-06-06
CA2030227C (fr) 1994-07-05
EP0430182B1 (fr) 1996-03-27
AU629707B2 (en) 1992-10-08
DE69026208D1 (de) 1996-05-02
JPH03188535A (ja) 1991-08-16
US5132972A (en) 1992-07-21
EP0430182A3 (en) 1992-03-11
EP0430182A2 (fr) 1991-06-05
JPH0748182B2 (ja) 1995-05-24
DE69026208T2 (de) 1996-12-05

Similar Documents

Publication Publication Date Title
CA2030227A1 (fr) Methode de detection des erreurs potentielles dans les programmes en langage assembleur par detection des incoherences apparentes en rapport avec les operations anterieures
US8266608B2 (en) Post-compile instrumentation of object code for generating execution trace data
US9152531B2 (en) Post-compile instrumentation of object code for generating execution trace data
EP0406602B1 (fr) Méthode et dispositif de déverminage de programmes parallèles par sérialisation
US20020184615A1 (en) System and method for selectively and automatically modifying the source code of a computer program
EP3387536B1 (fr) Procédé et dispositif pour la collecte de données de traçage de manière non intrusive
Fahringer et al. Specification of Performance problems in MPI Programs with ASL
Austin et al. An Ada program test generator
Benz et al. Advancing source-level timing simulation using loop acceleration
US20210303444A1 (en) Method, apparatus and computer program and user interface and technique to debug software code
Schliep Usability of error messages for introductory students
JPH02190935A (ja) 構文解析ルールの組込機能を持つプログラムのコンパイル方式
Braken Experience with Module-Level Specification Methods
JPS6435636A (en) Evaluating system for test program for information processor
PRYWES An environment for visualization, reliability, and knowledge acquisition in equational programming(Final Report, 1 Aug. 1990- 31 Aug. 1993)
CN115357504A (zh) 基于rapid语言形式语义的机器人控制程序调试方法及装置
Äretun Amazing Trace
US6654879B1 (en) Method and apparatus for analyzing code for out-of-range data involving base and seed tables/lists
JPS6467644A (en) Measuring device for program processing time
JPS63113743A (ja) 計算機ハ−ドウエアデバツギング方式
JPH02207343A (ja) デバッグ装置
JPH04358232A (ja) 情報処理装置の機能試験方法
JPH02211542A (ja) モジュール管理情報算出方式
JPS63289654A (ja) プログラム分岐命令モニタ方式
Hobin The Ada test and verification systems (ATVS)

Legal Events

Date Code Title Description
EEER Examination request
MKLA Lapsed