Specification-Based Testing of Interactive Systems
Ian MacColl · 1997
Achieving correct user interface software is difficult because such software is complex, highly interactive, modeless, concurrent, graphical, and has user-based real-time requirements. In this paper I propose developing a framework for applying formal methods to testing of user interface software. I survey relevant work in the areas of formal development of user interface software and specification-based testing. I then outline a case study based research plan to extend an existing specification-based testing framework to incorporate multiparadigm user interface specifications.