Instrumenting C programs for symbolic-trace generation

Date

1985

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

This thesis describes the design and implementation of a software tool that can be utilized to facilitate program debugging and testing. The tool consists of four major components. The analyzer-instrumentor analyzes a C program and instruments it for symbolic-trace generation and testcoverage measurement. The program execution monitor, which is the software instrument, generates (and displays) symbolic trace and measures test coverage during execution. The third component normalizes a symbolic trace by removing all shorthand notations that are permitted in C from the trace to facilitate further analysis. The fourth component analyzes data usage on the trace. Examples are used to illustrate the utility of this tool.

Description

Keywords

Debugging in computer science, Computer programs--Testing

Citation