J. C. Silva, J. C. Campos and J. A. Saraiva
GUI Inspection from Source Code Analysis
Electronic Communications of the EASST, 33: Foundations and Techniques for Open Source Software Certification 2010). 2010.

Abstract

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

download PDF

@article{SilvaSCS:2010a,
 author = {J. C. Silva and J. C. Campos and J. A. Saraiva},
 title = {GUI Inspection from Source Code Analysis},
 journal = {Electronic Communications of the EASST},
 year = {2010},
 volume = {33: Foundations and Techniques for Open Source Software Certification 2010)},
 paperurl = {http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/459/447},
 abstract = {Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.}
}

Generated by mkBiblio 2.6.23