The size of software applications is growing. It is no longer possible to achieve full coverage in pre-release testing, and in many cases it is not even possible to provide significant partial coverage. Automatic methods such as formal modeling are a possible solution, but they are far too expensive to apply to every piece of developed code. Static code defect detectors provide a solid and dependable means for selecting high risk sections of code for more expensive review, such as formal modeling or manual inspection. Historically, static code defect detectors have been vilified in academic and industrial domains on the basis that they are unstable and uncorrelated with defect data. This vilification is an unfair characterization of these detectors, and is based largely on an assessment criteria that can be demonstrated to be inadequate for selecting and cataloging produced detectors. This study introduces a new mechanism for assessing detectors, called PACE, which is used to demonstrate that acceptable detectors can be produced with relative ease, and that those detectors are stable enough to be used in a general environment. Furthermore, this thesis presents a study in producing a viable commercial application for streamlining this type of analysis, and discusses how that application has been received in commercial and government domains.
|School:||West Virginia University|
|School Location:||United States -- West Virginia|
|Source:||MAI 47/04M, Masters Abstracts International|
Copyright in each Dissertation and Thesis is retained by the author. All Rights Reserved
The supplemental file or files you are about to download were provided to ProQuest by the author as part of a
dissertation or thesis. The supplemental files are provided "AS IS" without warranty. ProQuest is not responsible for the
content, format or impact on the supplemental file(s) on our system. in some cases, the file type may be unknown or
may be a .exe file. We recommend caution as you open such files.
Copyright of the original materials contained in the supplemental file is retained by the author and your access to the
supplemental files is subject to the ProQuest Terms and Conditions of use.
Depending on the size of the file(s) you are downloading, the system may take some time to download them. Please be