The GUISurfer tool: towards a language independent approach to reverse engineering GUI code

ABSTRACT

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

References

1. Claessen, K., and Hughes, J. QuickCheck: A light-weight tool for random testing of Haskell programs. In ICFP, ACM SIGPLAN, 2000, 2000.
2. Fowler, M., and Scott, K. UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison-Wesley, 2003.
3. Harrison, M.D., Campos, J.C., and Loer K. Formal analysis of interactive systems: opportunities and weaknesses. In Research Methods in Human Computer Interaction, pp 88--111. CUP, 2008.
4. Loy, M., Eckstein, R., Wood, D., Elliott, J., and Cole, B. Java Swing, 2nd Edition. O Reilly, 2002.
5. Moore, M. A survey of representations for recovering user interface specifications for reengineering. Technical report, Institute of Technology, Atlanta, 1996.
6. Paternò, F. Model-based Design and Evaluation of Interactive Applications. Springer, November 1999.
7. Silva, J.C., Campos, J.C., and Saraiva, J. Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. In vol. 4323 of LNCS, pp 137--150. Springer, 2007.
8. Silva, J.C., Saraiva J., and Campos, J.C. A Generic Library for GUI Reasoning and Testing. In ACM Symposium on Applied Computing, pp 121--128. ACM, 2009.
9. Thimbleby, H., and Gow, J.. Applying graph theory to interaction design. pp 501--519, 2008.
10. Tip, F. A survey of program slicing techniques. Journal of Programming Languages, September 1995.
11. Visser, E. Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. 2003.
12. Visser, J., and Saraiva, J.. Tutorial on strategic programming across programming paradigms. In 8th Brazilian Symposium on Programming Languages, Niteroi, Brazil, May 2004.

Index Terms

• Human-centered computing

  • Human computer interaction (HCI)

    • Interaction paradigms

      • Graphical user interfaces

• Software and its engineering

  • Software creation and management

    • Software post-development issues

      • Software reverse engineering