The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2004)
Linz, Austria
Sept. 20, 2004 to Sept. 24, 2004
ISSN: 1068-3062
ISBN: 0-7695-2131-2
pp: 154-163
Willem Visser , NASA Ames Research Center, Moffett Field, CA
Oksana Tkachuk , Kansas State University, Manhattan, KS
Matthew B. Dwyer , Kansas State University, Manhattan, KS
Robby , Kansas State University, Manhattan, KS
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.<div></div> 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™. 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 preserve 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.
INDEX TERMS
null
CITATION
Willem Visser, Oksana Tkachuk, Matthew B. Dwyer, Robby , "Analyzing Interaction Orderings with Model Checking", 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), vol. 00, no. , pp. 154-163, 2004, doi:10.1109/ASE.2004.10067
104 ms
(Ver 3.3 (11022016))