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.

A Wireless EEG Acquisition Platform based on Embedded Systems

This paper proposes a wireless EEG acquisition platform based on Open Multimedia Architecture Platform (OMAP) embedded system. A high-impedance active dry electrode was tested for improving the scalp- electrode interface. It was used the sigma-delta ADS1298 analog-to-digital converter, and developed a “kernelspace” character driver to manage the communications between the converter unit and the OMAP’s ARM core. The acquired EEG signal data is processed by a “userspace” application, which accesses the driver’s memory, saves the data to a SD-card and transmits them through a wireless TCP/IP-socket to a PC. The electrodes were tested through the alpha wave replacement phenomenon. The experimental results presented the expected alpha rhythm (8-13 Hz) reactiveness to the eyes opening task. The driver spends about 725 μs to acquire and store the data samples. The application takes about 244 μs to get the data from the driver and 1.4 ms to save it in the SD-card. A WiFi throughput of 12.8Mbps was measured which results in a transmission time of 5 ms for 512 kb of data. The embedded system consumes about 200 mAh when wireless off and 400 mAh when it is on. The system exhibits a reliable performance to record EEG signals and transmit them wirelessly. Besides the microcontroller-based architectures, the proposed platform demonstrates that powerful ARM processors running embedded operating systems can be programmed with real-time constrains at the kernel level in order to control hardware, while maintaining their parallel processing abilities in high level software applications.