Abstract

This paper will discuss a study of parameter errors that occurred in a software product developed using the "C" language. Through the use of a parameter checker that was developed from an existing compiler, the frequency and type of parameter errors over several releases of an application are studied. In addition to parameter checking, other static analysis data was collected concerning function usage (or non-usage) and function return value comparisons. This paper may serve as a useful complement to previous static analyses done for the FORTRA, COBOL and Pascal languages. The study presents statistics that show the large number of parameter errors caused by the weak type-checking of the "C" language. This paper also discusses the cost associated with detecting and repairing parameter errors that might otherwise have been detected by static analysis methods. In summing up the presence of these parameter errors the author discusses the impact of the ANSI "C" standard on this issue. The code used to build the data analysis portion of the Parameter Checker is presented in the appendices.

Library of Congress Subject Headings

Debugging in computer science; Computer software--Testing; C (Computer program language)

Publication Date

1989

Document Type

Thesis

Student Type

Graduate

Department, Program, or Center

Computer Science (GCCIS)

Advisor

Not Listed

Comments

Note: imported from RIT’s Digital Media Library running on DSpace to RIT Scholar Works in December 2013.

Campus

RIT – Main Campus

Download

Share

COinS