CA2030227A1 - Assembly language programming potential error detection scheme sensing apparent inconsistency with a previous operation - Google Patents

Assembly language programming potential error detection scheme sensing apparent inconsistency with a previous operation

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
French (fr)
Other versions
CA2030227C (en
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
Robert G. Hansen
Bull Hn Information Systems 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 Robert G. Hansen, Bull Hn Information Systems Inc. filed Critical Robert G. Hansen
Publication of CA2030227A1 publication Critical patent/CA2030227A1/en
Application granted granted Critical
Publication of CA2030227C publication Critical patent/CA2030227C/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/362—Software debugging
    • G06F11/3624—Software debugging by performing operations on the source code, e.g. via a compiler

Abstract

ABSTRACT OF THE DISCLOSURE

A computer aided software engineering tool is disclosed which is particularly well adapted to identity potential Assembly language source code errors resulting from the analysis of statements which do not contain incorrect syntax, limits, operand specification, etc.; i.e., do not contain any errors of the type which can be generally categorized as incorrect usage. This objective is achieved by providing a debugging program which has a complete awareness of the specific machine architecture, such as the function of each instruction and the register(s), flags, etc. it affects. By essentially stepping through the Assembly language statements in much the same manner as a computer would while executing the corresponding instructions, the debugging program is able, through such simulation, to identify, in the Assembly language program under study, specific potential inconsistencies with previous operations which the debugging program has been coded to detect and, upon such detection, to issue an appropriate warning message. The programmer may then examine the flagged Assembly language code to determine if a genuine error exists.
CA002030227A 1989-11-29 1990-11-19 Assembly language programming potential error detection scheme sensing apparent inconsistency with a previous operation Expired - Fee Related CA2030227C (en)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
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
US443,680 1989-11-29

Publications (2)

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

Family

ID=23761776

Family Applications (1)

Application Number Title Priority Date Filing Date
CA002030227A Expired - Fee Related CA2030227C (en) 1989-11-29 1990-11-19 Assembly language programming potential error detection scheme sensing apparent inconsistency with a previous operation

Country Status (6)

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

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 (en) * 1994-04-18 1996-05-31 Bull Sa Method for detecting deadlocks in multiprocessor systems with shared memory.
US5613063A (en) * 1994-07-01 1997-03-18 Digital Equipment Corporation Method and apparatus for checking validity of memory operations
JPH08185326A (en) * 1994-12-28 1996-07-16 Fujitsu Ltd Interpreter language processor
US5699507A (en) * 1995-01-17 1997-12-16 Lucent Technologies Inc. Method of identifying similarities in code segments
JP2850808B2 (en) * 1995-10-31 1999-01-27 日本電気株式会社 Data processing device and data processing method
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 (en) * 1997-07-23 1998-10-01 Siemens Nixdorf Inf Syst Assembler programme testing method
US6314557B1 (en) * 1998-12-14 2001-11-06 Infineon Technologies Development Center Tel Aviv Ltd Hybrid computer programming environment
AU3889200A (en) * 1999-03-15 2000-10-04 Smartsan Systems, Inc. System and method of event management and early fault detection
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
CN114830097A (en) * 2020-01-20 2022-07-29 富士通株式会社 Processor, simulator program, assembler program, and information processing program

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS61110240A (en) * 1984-10-31 1986-05-28 インタ−ナショナル　ビジネス　マシ−ンズ　コ−ポレ−ション Optimization compiler
JPS63304336A (en) * 1987-06-04 1988-12-12 Nec Corp Conflict extracting/eliminating system for description of computer language
US5182807A (en) * 1987-12-18 1993-01-26 Nec Corporation Assembler system for determining when to compile source code modules
JP2803090B2 (en) * 1988-06-06 1998-09-24 富士ゼロックス株式会社 MPU simulation method and MPU simulator

Also Published As

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

Similar Documents

Publication Publication Date Title
CA2030227A1 (en) Assembly language programming potential error detection scheme sensing apparent inconsistency with a previous operation
EP0406602B1 (en) Method and apparatus for debugging parallel programs by serialization
US20120317551A1 (en) Post-compile instrumentation of object code for generating execution trace data
US20020184615A1 (en) System and method for selectively and automatically modifying the source code of a computer program
US20060190930A1 (en) Post-compile instrumentation of object code for generating execution trace data
EP3387536B1 (en) Method and device for non-intrusively collecting function trace data
US20050216897A1 (en) Converter, automation device with a converter, and a development environment having an automation device with converter
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
JPH02190935A (en) Compile system for program having syntax analysis rule integrating function
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 (en) Robot control program debugging method and device based on RAPID language form semantics
JPS6467644A (en) Measuring device for program processing time
Lam Automated floating-point precision analysis
JPS63113743A (en) Debugging system for computer hardware
JPH02207343A (en) Debugging device
JPH04358232A (en) Function testing method for information processor
JPH02211542A (en) Module management information calculating system
Welsh A Structured Compiler.
JPS63289654A (en) Program branching instruction monitoring system
Hobin The Ada test and verification systems (ATVS)
Patnaik et al. Implementation of CSP-S for description of distributed algorithms

Legal Events

Date Code Title Description
EEER Examination request
MKLA Lapsed