Improved software verification through program path-based analysis
Sagdeo, Parth
Loading…
Permalink
https://hdl.handle.net/2142/42281
Description
Title
Improved software verification through program path-based analysis
Author(s)
Sagdeo, Parth
Issue Date
2013-02-03T19:30:11Z
Director of Research (if dissertation) or Advisor (if thesis)
Vasudevan, Shobha
Department of Study
Electrical & Computer Eng
Discipline
Electrical & Computer Engr
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
M.S.
Degree Level
Thesis
Keyword(s)
Fault Detection
Fault Tolerance
Bug Localization
Software Maintenance
Software Reliability
Invariant Generation
Assertion Generation
Abstract
This thesis describes the generation and use of program invariants to improve software reliability. It introduces PRECIS, a technique for automatic invariant generation based on program path guided clustering. The invariants
generated by PRECIS can be directly used by programmers for regression testing and improved code documentation. The generated invariants can also be used as part of hardware error detectors, by checking variables key to program output. PREAMBL, a bug localization technique, is introduced as away of providing increased utility to the generated invariants in diagnosing post-release bugs.
The benefi ts of these uses of the generated invariants are shown through experiments. The high control-flow coverage of generated invariants is demonstrated for the Siemens benchmark suite, and higher quality is indicated when compared with Daikon, a prior technique. Fault injection experiments show high error detection coverage for several types of manifested errors. Results for PREAMBL show higher scoring for localized paths than previous approaches.
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.