• Corpus ID: 16221136

Visual Checking of Spreadsheets

@article{Chen2008VisualCO,
  title={Visual Checking of Spreadsheets},
  author={Ying Chen and Hock Chuan Chan},
  journal={ArXiv},
  year={2008},
  volume={abs/0805.2189}
}
The difference between surface and deep structures of a spreadsheet is a major cause of difficulty in checking spreadsheets. After a brief survey of current methods of checking (or debugging) spreadsheets, new visual methods of showing the deep structures are presented. Illustrations are given on how these visual methods can be employed in various interactive local and global debugging strategies. 

Tables from this paper

On the Usage of Dependency-based Models for Spreadsheet Debugging
TLDR
Different shortcomings of these forms of evaluations are summarized and possible remedies including the development of a publicly available spreadsheet corpus for benchmarking as well as user and field studies to assess the true value of the proposed techniques are sketched.
Ensuring Spreadsheet Integrity with Model Master
TLDR
The Model Master (MM) language for describing spreadsheets, and tools for converting MM programs to and from spreadsheet, which makes possible a new style of development, in which spreadsheets are generated from textual specifications.
A User-Centered Approach for Testing Spreadsheets
TLDR
This paper presents an approach for checking spreadsheets on the premises that their developers are not software professionals and takes inherent characteristics of spreadsheets as well as the conceptual models of spreadsheet programmers into account and incorporates ideas from symbolic testing and interval analysis.
Automated model-based spreadsheet debugging
TLDR
Several new algorithmic enhancements of the general MBD approach are combined in this thesis to allow spreadsheet users to debug their spreadsheets and to efficiently find the reason of the observed unexpected output values.
Dependence tracing techniques for spreadsheets: An investigation
TLDR
This paper aims to report the results of an investigative study of cell-to-cell inter-relation or dependence tracing techniques from the point of view of their benefits and effectiveness in the context of real world spreadsheet users.
A Spreadsheet Auditing Tool Evaluated in an Industrial Context
TLDR
The evaluated auditing tool offers the auditor a new view on the formula structure of the spreadsheet by grouping similar formulas into equivalence classes, and the auditing approach helps to find irregularities in the geometrical pattern of similar formulas.
Spreadsheet Auditing Software
TLDR
This paper documents and tests office software tools designed to assist in the audit of spreadsheets to identify the success of software tools in detecting different types of errors, to identify how the software tools assist the auditor and to determine the usefulness of the tools.
The Deductive Spreadsheet
This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the
A methodology for constructing the calculation model of scientific spreadsheets
TLDR
A methodology for semi-automatically deriving the calculation workflow underlying a set of spreadsheets, and constructed calculation models approximate the ground truth calculation workflows, both in terms of content and size, but are not a perfect match.
...
...

References

SHOWING 1-10 OF 13 REFERENCES
Tools for spreadsheet auditing
  • J. Davis
  • Computer Science
    Int. J. Hum. Comput. Stud.
  • 1996
TLDR
Two interactive tools which aid in investigating data dependencies, an on-line flowchart-like diagram and a tool which represents dependencies by drawing arrows among cells on the display of the spreadsheet are developed and evaluated.
Fluid visualization of spreadsheet structures
TLDR
This work presents a set of techniques that make these formulas and their resulting dataflow structure easily accessible while maintaining the natural appearance of the spreadsheet, and uses animation and lightweight interaction for rapid and non-intrusive visualization.
Extracting implicit tree structures in spreadsheet calculation
TLDR
The analysis shows that subjects base their information search almost totally on the surface structure of spreadsheets, and have great difficulties with spreadsheets where thesurface structure is very inconsistent with the deep structure.
Spreadsheet analysis and design
TLDR
Several different contexts for the development of spreadsheet models are discussed and structured design techniques for these models are presented.
Spreadsheet Presentation and Error Detection: An Experimental Study
The pervasiveness and impact of electronic spreadsheets have generated serious concerns about their integrity and validity when used in significant decision-making settings. Previous studies have
Toward a logical/physical theory of spreadsheet modeling
TLDR
This work identifies four principal components that characterize any spread sheet model: schema, data, editorial, and binding and presents a factoring algorithm for identifying and extracting these components from conventional spreadsheets with minimal user intervention, and a synthesis algorithm that assists users in the construction of executable spreadsheets from reusable model components.
Visual Information Chunking in Spreadsheet Calculation
...
...