Models for the Reverse Engineering of Java/Swing Applications

Abstract. Interest in design and development of graphical user interface (GUIs) is growing in the last few years. However, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineering abstract GUI models directly from the Java/Swing code.

Desenvolvimento de um dispensador automático de medicamentos e controlo através de uma plataforma móvel Android

O incumprimento na ingestão da medicação é um dos principais fatores para o insucesso no tratamento de diversas doenças e uma das principais dificuldades para controlar enfermidades crónicas [1], cardiovasculares [1, 3, 4] e psiquiátricas [4] que necessitam de uma ingestão correta e constante dos medicamentos. Estas tomas irregulares acabam por provocar desperdícios e gastos adicionais em tratamentos complementares e mais exames para análise do atual estado da doença [5]. De forma a prevenir falhas de adesão à terapêutica, foram desenvolvidos diversos equipamentos que ajudam os pacientes a gerir a sua medicação diária. No entanto estes dispositivos apresentam ainda algumas limitações, nomeadamente, ao permitirem apenas um utilizador e necessitarem da preparação prévia das tomas. Ao longo deste projeto foi desenvolvido um sistema de dispensa automática de medicamentos, assim como a plataforma de controlo através de um dispositivo móvel Android. As principais vantagens deste equipamento são o seu funcionamento em modo multiutilizador e a combinação automática de medicamentos para cumprir as tomas prescritas pelo médico. O dispositivo desenvolvido e a sua utilização foi validado durante 5 dias no Centro Clínico-Académico do Hospital de Braga recorrendo a utentes de várias faixas etárias, bem como em casa de 2 participantes num caso de estudo. O sistema de dispensa automático de medicamentos foi testado em ambos os perfis de utilizadores: utente e cuidador. Foram criados registos de novos utentes e efetuadas várias dispensas de medicamentos de forma a testar a fiabilidade do dispositivo para utilização em contexto real. Os resultados destes testes permitiram comprovar a funcionalidade e fiabilidade do sistema desenvolvido.

GUI Behavior from Source Code Analysis

When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.

A Generic Library for GUI Reasoning and Testing

Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.