Graduation date: 2004Best scan available for figures. Original is blurry.How can rigorous forms of testing be supported in a way that is both compatible\ud with the visual aspect of visual programming languages, and usable by the\ud audiences using those languages - even when the audience has no background\ud in software engineering? Visual programs are likely to contain at least some\ud errors, and supporting a visual form of testing would give users a way to spot\ud those errors early in the program's life. In previous work, we have developed\ud a visual testing methodology known as WYSIWYT, for use in visual spreadsheet\ud languages, and in this work, we show formally that this methodology can\ud be generalized to screen transition diagrams. The algorithms and accompanying\ud proof of the coverage equivalence that they ensure provide the mechanisms\ud needed for the screen transition paradigm to incorporate WYSIWYT testing\ud for both professional and end-user programming audiences
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.