Dynamic, incremental assertion propagation in end-user programming Public Deposited

http://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/wh246v20c

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • End-user programming is growing at a rapid rate, but there has been little in the way of tools or environments to improve the correctness of programs created by end users. We present an approach to dynamic assertions in one of the most widely used end-user programming paradigms - namely the spreadsheet paradigm. Our approach does not assume any formal knowledge of, or interest in, software engineering practices. Dynamic assertions, which can be entered incrementally, feature deductive propagation from user-entered assertions through spreadsheet formulas. These propagated dynamic assertions can then be compared with other user-entered dynamic assertions and - in the event of a conflict - alert the user to the possibility of a bug in the spreadsheet formulas. Deductive propagation, however, is not necessarily viable in all situations. We present algorithms for a set of spreadsheets that obey a particular set of restrictions, and evaluate these algorithms in regard to four properties: Reliability, Correctness, Responsiveness and Usefulness. We present lower bounds on the classification of the propagation problem for the case where When propagation is not viable. We also empirically examine the occurrence of these difficult situations in a corpus of real-world spreadsheets, determining that our approach is capable of propagation through common situations present in real-world spreadsheets.
Resource Type
Date Available
Date Copyright
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Academic Affiliation
Non-Academic Affiliation
Subject
Rights Statement
Peer Reviewed
Language
Digitization Specifications
  • File scanned at 300 ppi (Monochrome, 256 Grayscale) using Capture Perfect 3.0.82 on a Canon DR-9080C in PDF format. CVista PdfCompressor 4.0 was used for pdf compression and textual OCR.
Replaces
Additional Information
  • description.provenance : Submitted by Eric Vanderwall (ewscanner@gmail.com) on 2011-08-23T19:16:56Z No. of bitstreams: 1 CreswickEugeneRogan2005.pdf: 2083245 bytes, checksum: e9453c164185ac5287638e264f310475 (MD5)
  • description.provenance : Approved for entry into archive by Anna Opoien(anna.opoien@oregonstate.edu) on 2011-08-26T20:32:40Z (GMT) No. of bitstreams: 1 CreswickEugeneRogan2005.pdf: 2083245 bytes, checksum: e9453c164185ac5287638e264f310475 (MD5)
  • description.provenance : Made available in DSpace on 2011-08-26T20:32:41Z (GMT). No. of bitstreams: 1 CreswickEugeneRogan2005.pdf: 2083245 bytes, checksum: e9453c164185ac5287638e264f310475 (MD5) Previous issue date: 2004-06-07
  • description.provenance : Approved for entry into archive by Anna Opoien(anna.opoien@oregonstate.edu) on 2011-08-26T18:01:59Z (GMT) No. of bitstreams: 1 CreswickEugeneRogan2005.pdf: 2083245 bytes, checksum: e9453c164185ac5287638e264f310475 (MD5)

Relationships

Parents:

This work has no parents.

Last modified

Downloadable Content

Download PDF

Items