Graduate Thesis Or Dissertation
 

Dynamic, incremental assertion propagation in end-user programming

Público Deposited

Conteúdo disponível para baixar

Baixar PDF
https://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/wh246v20c

Descriptions

Attribute NameValues
Creator
Abstract
  • 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.
License
Resource Type
Date Available
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Academic Affiliation
Non-Academic Affiliation
Subject
Declaração de direitos
Publisher
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

Relações

Parents:

This work has no parents.

Em Collection:

Itens

Miniatura Título Data de carga Acesso Ações
file details CreswickEugeneRogan2005.pdf 2017-08-02 Público Baixar