Instrumenting C programs for symbolic-trace generation

dc.contributor.advisorHuang, J. C.
dc.contributor.committeeMemberBastani, Farokh B.
dc.contributor.committeeMemberShieh, Leang-San
dc.creatorChen, Sze-Cheng
dc.description.abstractThis 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.
dc.description.departmentComputer Science, Department of
dc.format.digitalOriginreformatted digital
dc.rightsThis item is protected by copyright but is made available here under a claim of fair use (17 U.S.C. Section 107) for non-profit research and educational purposes. Users of this work assume the responsibility for determining copyright status prior to reusing, publishing, or reproducing this item for purposes other than what is allowed by fair use or other copyright exemptions. Any reuse of this item in excess of fair use or other copyright exemptions requires express permission of the copyright holder.
dc.subjectDebugging in computer science
dc.subjectComputer programs--Testing
dc.titleInstrumenting C programs for symbolic-trace generation
dc.type.genreThesis of Natural Sciences and Mathematics Science, Department of Science of Houston of Science


Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
1.81 MB
Adobe Portable Document Format