End-user software engineering with assertions in the spreadsheet paradigm
- 1 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program development may be critical, however, because research shows that a large proportion of the programs written by end users contain faults. Toward this end, we have been working on ways to provide formal "software engineering" methodologies to end-user programmers. This paper describes an approach we have developed for supporting assertions in end-user software, focusing on the spreadsheet paradigm. We also report the results of a controlled experiment, with 59 end-user subjects, to investigate the usefulness of this approach. Our results show that the end users were able to use the assertions to reason about their spreadsheets, and that doing so was tied to both greater correctness and greater efficiency.Keywords
This publication has 23 references indexed in Scilit:
- Automated test case generation for spreadsheetsPublished by Association for Computing Machinery (ACM) ,2002
- Outlier findingPublished by Association for Computing Machinery (ACM) ,2001
- Studying the language and structure in non-programmers' solutions to programming problemsInternational Journal of Human-Computer Studies, 2001
- A methodology for testing spreadsheetsACM Transactions on Software Engineering and Methodology, 2001
- Helping people find what they don't knowCommunications of the ACM, 2000
- Gaining intellectual control of software development [Perspectives]Computer, 2000
- What We Know About Spreadsheet ErrorsJournal of Organizational and End User Computing, 1998
- A practical approach to programming with assertionsIEEE Transactions on Software Engineering, 1995
- Analyses of factors related to positive test bias in software testingInternational Journal of Human-Computer Studies, 1994
- Error detection processes in statistical problem solvingCognitive Science, 1984