DocumentCode
492658
Title
Tool support for data validation by end-user programmers
Author
Scaffidi, Christopher ; Myers, Brad ; Shaw, Mary
Author_Institution
Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburg, PA
fYear
2008
fDate
10-18 May 2008
Firstpage
867
Lastpage
870
Abstract
End-user programming tools for creating spreadsheets and webforms offer no data types except "string" for storing many kinds of data, such as person names and street addresses. Consequently, these tools cannot automatically validate these data. To address this problem, we have developed a new userextensible model for string-like data. Each "tope" in this model is a user-defined abstraction that guides the interpretation of strings as a particular kind of data, such as a mailing address. Specifically, each tope implementation contains software functions for recognizing and reformatting that tope\´s kind of data. With our tools, end-user programmers define new topes and associate them with fields in spreadsheets, webforms, and other programs. This makes it possible at runtime to distinguish between invalid data, valid data, and questionable data that could be valid or invalid. Once identified, questionable and/or invalid data can be double-checked and possibly corrected, thereby increasing the overall reliability of the data.
Keywords
program verification; software tools; spreadsheet programs; data validation; end-user programming tools; software functions; spreadsheets; user-defined abstraction; Application software; Books; Computer science; Electronic mail; Programming profession; Robustness; Runtime; Software engineering; Software reusability; Software tools; data; end-user programming; validation;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2008. ICSE '08. ACM/IEEE 30th International Conference on
Conference_Location
Leipzig
ISSN
0270-5257
Print_ISBN
978-1-4244-4486-1
Electronic_ISBN
0270-5257
Type
conf
DOI
10.1145/1368088.1368226
Filename
4814212
Link To Document