Skip to main content
Article thumbnail
Location of Repository

Generalizing WYSIWYT for use in the screen transition paradigm



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

Year: 2003
OAI identifier:
Provided by: ScholarsArchive@OSU

Suggested articles


  1. (1993). A data flow oriented program testing strategy. doi
  2. (2001). A proposal for intention engineering.
  3. (2001). A testing methodology for a dataflow based visual programming language. In doi
  4. (1998). Altaira: A rule-based visual language for small mobile robots. doi
  5. (1988). An applicable family of data flow criteria. doi
  6. (2002). Automated Test Generation for Spreadsheets. doi
  7. (2002). Bringing HCI research to bear upon end-user requirement specification. doi
  8. (1997). Cocoa at the visual programming challenge doi
  9. (2001). Development using LYEE: A case study with LYEEALL.
  10. (2001). Does a visual 'testedness' methodology aid debugging.
  11. (1999). End-user programmable simulations. doi
  12. (2003). End-user testing for the Lyee methodology using the screen transition paradigm and WYSIWYT. doi
  13. (2001). FAR: An end-user language to support cottage e-services. doi
  14. (2001). finite state machines, and the case for programming as part of general education. doi
  15. (2001). Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm.
  16. (2003). Generalizing WYSIWYT visual testing to screen tranition languages. doi
  17. (1998). Graphical definitions: Expanding spreadsheet languages through direct manipulation and gestures. doi
  18. (2000). Helping people find what they don't know. doi
  19. (2001). Incorporating incremental validation and impact analysis into spreadsheet maintenance: An empirical study. doi
  20. (1996). Interactive Sketching for the Early Stages of User Interface Design. doi
  21. (1999). Investment of Attention as an Analytic Approach to Cognitive Dimensions. In
  22. (1996). Reducing and estimating the cost of test coverage criteria. doi
  23. (2001). Requirements modeling in Lyee.
  24. (1985). Selecting software test data using data flow information. doi
  25. (2001). Sketching interfaces: Toward more human interface design. doi
  26. (2000). Tabular and textual methods for selecting objects from a group. doi
  27. (2002). Testing homogeneous spreadsheet grids with the 'what you see is what you test' methodology. doi
  28. (1997). Testing strategies for form-based visual programs. doi
  29. (2001). Trust in the online environment. doi
  30. (1996). Unconstrained duas and their use in achieving all-uses coverage. doi
  31. (2002). Using HCI techniques to design a more usable programming system. doi
  32. (2001). Visually testing recursive programs in spreadsheet languages. doi
  33. (1998). What you see is what you test: A methodology for testing form-based visual programs. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.