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.date.accessioned2023-10-13T20:51:06Z
dc.date.available2023-10-13T20:51:06Z
dc.date.issued1985
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.format.mimetypeapplication/pdf
dc.identifier.other13547504
dc.identifier.urihttps://hdl.handle.net/10657/15249
dc.language.isoen
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.dcmiText
dc.type.genreThesis
thesis.degree.collegeCollege of Natural Sciences and Mathematics
thesis.degree.departmentComputer Science, Department of
thesis.degree.disciplineComputer Science
thesis.degree.grantorUniversity of Houston
thesis.degree.levelMasters
thesis.degree.nameMaster of Science

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Chen_1985_13547504.pdf
Size:
1.81 MB
Format:
Adobe Portable Document Format