Loading...
Please wait, while we are loading the content...
Similar Documents
Analyzing interaction orderings with model checking (2004)
| Content Provider | CiteSeerX |
|---|---|
| Author | Dwyer, Matthew B. Tkachuk, Oksana Visser, Willem |
| Description | In Proc. of ASE 2004 |
| Abstract | Human-Computer Interaction (HCI) systems control an ongoing interaction between end-users and computer-based systems. For software-intensive systems, a Graphic User Interface (GUI) is often employed for enhanced usability. Traditional approaches to validation of GUI aspects in HCI systems involve prototyping and live-subject testing. These approaches are limited in their ability to cover the set of possible human-computer interactions that a system may allow, since patterns of interaction may be long running and have large numbers of alternatives. In this paper, we propose a static analysis that is capable of reasoning about user-interaction properties of GUI portions of HCI applications written in Java using modern GUI Frameworks, such as Swing TM. Our approach consists of partitioning an HCI application into three parts: the Swing library, the GUI implementation, i.e., code that interacts directly with Swing, and the underlying application. We develop models of each of these parts that preserves behavior relevant to interaction ordering. We describe how these models are generated and how we have customized a model checking framework to efficiently analyze their combination. 1 |
| File Format | |
| Publisher Date | 2004-01-01 |
| Access Restriction | Open |
| Subject Keyword | Swing Library Computer-based System Gui Implementation Hci System Hci Application Interaction Ordering Possible Human-computer Interaction Underlying Application Graphic User Interface Gui Aspect Live-subject Testing Ongoing Interaction Gui Portion Long Running Software-intensive System Enhanced Usability User-interaction Property Modern Gui Framework |
| Content Type | Text |
