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

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.

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.

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. 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 describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the 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 open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular 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.

Contributo do design nos dispositivos de intervenção cirúrgica

Hoje em dia a técnica de cirurgia laparoscópica é bastante comum no tratamento de várias doenças ao nível do abdómen. Um ponto forte em relação a outras técnicas cirúrgicas é a rápida recuperação do paciente após a cirurgia, como também o fato de as marcas provocadas pela cirurgia serem bastante mais discretas. Sendo assim, é de elevada importância que esta técnica evolua e seja aperfeiçoada para que o erro humano seja minimizado e o tratamento dos pacientes melhorado. As dificuldades encontradas na realização destas cirurgias são causa direta dos tipos de instrumentos utilizados, sendo a interação com os aparelhos um fator importante para que a intervenção cirúrgica seja realizada com sucesso. Como tal, devido a natureza ergonómica dos instrumentos, os cirurgiões sentem dificuldades na execução das suas tarefas ao longo da cirurgia, acusando dores musculares nas mãos e nos braços. Este trabalho tem como principal objetivo melhorar este tipo de cirurgia através do design aliado à ergonomia de aparelhos manuais, tendo as formas e funções dos instrumentos existentes como base de estudo para a criação de um aparelho mais ergonómico e eficaz. Também a existência de tecnologias capazes de reproduzir os conceitos criados pelo designer são uma mais valia para a criação das formas desenvolvidas. Desta forma, ao longo do desenvolvimento do produto são tidas em conta questões de ergonomia, mas também a higiene é considerada de relativa importância devido a facilidade de transmissão de doenças através do toque, sendo assim pertinente ter em consideração os pré requisitos necessários para a criação de um aparelho de natureza cirúrgica. O protótipo criado possui um componente eletromecânico já desenvolvido para este tipo de intervenção cirúrgica, desta forma o desenvolvimento da carcaça tem a forma do corpo eletromecânico como base para a criação da melhor ergonomia possível. Esta segue um conceito minimalista e orgânico, procurando adaptar-se à mão do utilizador com o intuito de proporcionar um melhor manuseio do aparelho e através das interfaces conferir uma utilização intuitiva, mais eficaz e menos demorada.

Contributo do design nos dispositivos de intervenção cirúrgica

Hoje em dia a técnica de cirurgia laparoscópica é bastante comum no tratamento de várias doenças ao nível do abdómen. Um ponto forte em relação a outras técnicas cirúrgicas é a rápida recuperação do paciente após a cirurgia, como também o fato de as marcas provocadas pela cirurgia serem bastante mais discretas. Sendo assim, é de elevada importância que esta técnica evolua e seja aperfeiçoada para que o erro humano seja minimizado e o tratamento dos pacientes melhorado. As dificuldades encontradas na realização destas cirurgias são causa direta dos tipos de instrumentos utilizados, sendo a interação com os aparelhos um fator importante para que a intervenção cirúrgica seja realizada com sucesso. Como tal, devido a natureza ergonómica dos instrumentos, os cirurgiões sentem dificuldades na execução das suas tarefas ao longo da cirurgia, acusando dores musculares nas mãos e nos braços. Este trabalho tem como principal objetivo melhorar este tipo de cirurgia através do design aliado à ergonomia de aparelhos manuais, tendo as formas e funções dos instrumentos existentes como base de estudo para a criação de um aparelho mais ergonómico e eficaz. Também a existência de tecnologias capazes de reproduzir os conceitos criados pelo designer são uma mais valia para a criação das formas desenvolvidas. Desta forma, ao longo do desenvolvimento do produto são tidas em conta questões de ergonomia, mas também a higiene é considerada de relativa importância devido a facilidade de transmissão de doenças através do toque, sendo assim pertinente ter em consideração os pré requisitos necessários para a criação de um aparelho de natureza cirúrgica. O protótipo criado possui um componente eletromecânico já desenvolvido para este tipo de intervenção cirúrgica, desta forma o desenvolvimento da carcaça tem a forma do corpo eletromecânico como base para a criação da melhor ergonomia possível. Esta segue um conceito minimalista e orgânico, procurando adaptar-se à mão do utilizador com o intuito de proporcionar um melhor manuseio do aparelho e através das interfaces conferir uma utilização intuitiva, mais eficaz e menos demorada.

A Caregiver Support Platform within the Scope of an Ambient Assisted Living Ecosystem

The Ambient Assisted Living (AAL) area is in constant evolution, providing new technologies to users and enhancing the level of security and comfort that is ensured by house platforms. The Ambient Assisted Living for All (AAL4ALL) project aims to develop a new AAL concept, supported on a unified ecosystem and certification process that enables a heterogeneous environment. The concepts of Intelligent Environments, Ambient Intelligence, and the foundations of the Ambient Assisted Living are all presented in the framework of this project. In this work, we consider a specific platform developed in the scope of AAL4ALL, called UserAccess. The architecture of the platform and its role within the overall AAL4ALL concept, the implementation of the platform, and the available interfaces are presented. In addition, its feasibility is validated through a series of tests.

Direct communication versus virtual communication in virtual teams

Several studies suggest that computer-mediated communication can lead to decreases in group effectiveness and reduce satisfaction levels in terms of trust and comfort of its users. Supported by an experiment, where the emotional or affective aspects of communication were tested with the experimentation of two architectures, Direct Communication Architecture (DCA) and the Virtual Communication Architecture (VCA) this paper validates the thesis that, from the users’ perspective, there is no opposition to the acceptance of virtual environments and interfaces for communication, and that these environments are able to cope with the reconfiguration dynamics requirements of virtual teams or client-server relations in a virtual enterprise operation.

Towards a Catalog of Usability Smells

This paper presents a catalog of smells in the context of interactive applications. These so-called usability smells are indicators of poor design on an application’s user interface, with the potential to hinder not only its usability but also its maintenance and evolution. To eliminate such usability smells we discuss a set of program/usability refactorings. In order to validate the presented usability smells catalog, and the associated refactorings, we present a preliminary empirical study with software developers in the context of a real open source hospital management application. Moreover, a tool that computes graphical user interface behavior models, giving the applications’ source code, is used to automatically detect usability smells at the model level.

Busca da informação em marketing: a perspectiva da ciência da informação

Com base nas perspectivas do marketing a da ciência da informação, o artigo relata os resultados de uma pesquisa sobre o processo de inovação em três indústrias brasileiras. Os objetivos do estudo foram: a) descrever os processos internos associados à concepção e ao desenvolvimento de inovações incrementais de produtos; b) identificar os atores envolvidos em cada etapa desses processos; c) descrever os contextos nos quais esses atores interagem; d) identificar e descrever as interfaces existentes entre esses atores; e) identificar e descrever os comportamentos de busca e uso da informação em cada etapa dos processos de inovação incremental de produto; e f) descrever as fontes de informação utilizadas em cada etapa. Os resultados demonstraram, dentre outros aspectos, a influência de aspectos relativos à tarefa sobre a extensão e o número de ciclos de busca, bem como o tipo de informação procurada.

Gestão integrada de sistemas de execução de processos WS-BPEL

O trabalho de projecto consiste numa proposta de solução para gestão integrada de sistemas de execução de processos de negócio. Os processos de negócio definem um quadro de realização de tarefas numa organização. Perante a constante evolução dos parâmetros do negócio, as organizações necessitam de adoptar metodologias que permitam ter mais controlo sobre a definição e execição dos seus processos, contribuindo para a sua automatização. Paralelamente a esta evolução, surgem iniciativas de linguagens para definição de processos e sistemas de execução provenientes de diversos fornecedores. Todos ele apresentam funcionalidades que permitem o acesso à informação de gestão de processos, mas, na sua generalidade, através de aplicações ou interfaces programáticas proprietárias. Esta abordagem constitui um problema de dependência das aplicações de gestão de processos relativamente à especificidade da gestão em diversos sistemas de execução de uma organização. O desenvolvimento deste projecto, com a elaboração de um protótipo demonstrador, visa a validação de um modelo uniforme para representação e acesso á informação de gestão dos processos de negócio. A estratégia elaborada segue uma abordagem de gestão integrada que permite unificar a gestão de processos em diversos sistemas de execução, usufruindo de outros modelos de referência para sustentar a proposta apresentada.

Direito de viver e dignidade da pessoa humana: breves reflexões sobre a eutanásia passiva (Um estudo do contexto jurídico brasileiro)

A morte descrita por Shakespeare, cujo fragmento se encontra supramencionado, é desejada por muitos no mundo contemporâneo, porquanto esta mudou seu caráter, não é mais uma morte domiciliar rodeada das pessoas queridas. Atualmente, a morte dá-se ora antes de termos um tratamento digno; ora em meio a tratamentos que gostaríamos de nos furtar. No contexto brasileiro, as pessoas menos afortunadas financeiramente, que, raramente têm acesso às modernas tecnologias, morrem, muitas vezes, na espera de uma chance de consultar um médico; é a “eutanásia social”, a mistanásia. Os mais privilegiados economicamente têm à sua disposição uma larga gama de tratamentos, que, por vezes, são extremamente úteis, outras, acarretam apenas a morte longe da família, longe dos amigos, longe do calor humano e próximo do frio das máquinas hospitalares. Esse paradoxo deve-se, em boa parte, ao progresso geométrico da ciência e tecnologia na área médica e das demais ciências da vida. Para muitas pessoas, a disponibilidade da medicina de alta tecnologia para “consertar” as marcas da vida é uma fonte de esperança e consolo. Para outras, são tratamentos fúteis que podem acarretar males maiores do que benefícios. Porém, é comum a recusa a abrir mão de tratamentos desproporcionais por parte de alguns médicos e familiares na busca incessante da “vida”. Essas pessoas agem como se a “vida” não fosse também morte. Vida é nascimento, desenvolvimento e morte; por vezes o desenvolvimento é menor do que esperávamos, e a morte chega antes do que almejávamos, mas ela também é parte da vida. A não consideração da morte como uma dimensão da existência humana e do conseqüente desafio de lidar com ela como um dos objetivos da medicina faz com que sejam introduzidos tratamentos agressivos que somente prolongarão o processo de morrer. A postura a ser pautada diante desse processo traz implicações éticas e jurídicas que deverão ser analisadas em cada caso, é uma exigência introduzida pelos novos paradigmas científicos, traduzindo a complexidade das interfaces da problemática da (in)admissibilidade de práticas eutanásicas. Todavia, em face da limitação espacial deste ensaio optamos por discorrer apenas sobre a modalidade passiva, a qual será diferenciada das outras modalidades para, posteriormente, serem analisadas as implicações no campo da bioética e do direito.

WPAC: wireless payment and access control: dispositivos móveis no pagamento de serviços e controlo de acessos

A rápida evolução dos dispositivos móveis e das tecnologias de comunicação sem fios transformou o telemóvel num poderoso dispositivo de computação móvel. A necessidade de estar sempre contactável, comum à civilização moderna, tem aumentado a dependência deste dispositivo, sendo transportado pela maioria das pessoas num ambiente urbano e assumindo um papel talvez mais importante que a própria carteira. A ubiquidade e capacidade de computação dos telemóveis aumentam o interesse no desenvolvimento de serviços móveis, além de tradicionais serviços de voz. Um telemóvel pode em breve tornar-se um elemento activo nas nossas tarefas diárias, servindo como um instrumento de pagamento e controlo de acessos, proporcionando assim novas interfaces para serviços existentes. A unificação de vários serviços num único dispositivo é um desafio que pode simplificar a nossa rotina diária e aumentar o conforto, no limite deixaremos de necessitar de dinheiro físico, cartões de crédito ou débito, chaves de residência e de veículos automóveis, ou inclusive documentos de identificação como bilhetes de identidade ou passaportes. O interesse demonstrado pelos intervenientes, desde os fabricantes de telemóveis e operadores de rede móvel até às instituições financeiras, levaram ao aparecimento de múltiplas soluções de serviços móveis. Porém estas soluções respondem geralmente a problemas específicos, apenas contemplando um fornecedor de serviços ou uma determinada operação de pagamento, como seja a compra de bilhetes ou pagamento de estacionamento. Estas soluções emergentes consistem também tipicamente em especificações fechadas e protocolos proprietários. A definição de uma arquitectura genérica, aberta interoperável e extensível é necessária para que os serviços móveis possam ser adoptados de uma forma generalizada por diferentes fornecedores de serviços e para diversos tipos de pagamento. A maior parte das soluções actuais de pagamento móvel depende de comunicações através da rede móvel, algumas utilizam o telemóvel apenas como uma interface de acesso à internet enquanto outras possibilitam o envio de um SMS (Short Message Service) para autorizar uma transacção, o que implica custos de comunicação em todas as operações de pagamento. Este custo de operação torna essas soluções inadequadas para a realização de micropagamentos e podem por isso ter uma aceitação limitada por parte dos clientes. As soluções existentes focam-se maioritariamente em pagamentos à distância, não tirando partido das características do pagamento presencial e não oferecendo por isso uma verdadeira alternativa ao modelo actual de pagamento com cartões de crédito/débito. As capacidades computacionais dos telemóveis e suporte de diversos protocolos de comunicação sem fio local não têm sido aproveitadas, vendo o telemóvel apenas como um terminal GSM (Global System for Mobile Communications) e não oferecendo serviços adicionais como seja a avaliação dinâmica de risco ou controlo de despesas. Esta dissertação propõe e valida, através de um demonstrador, uma aquitectua aberta para o pagamento e controlo de acesso baseado em dispositivos móveis, intitulada WPAC (Wireless Payment and Access Control). Para chegar à solução apresentada foram estudadas outras soluções de pagamento, desde o aparecimento dos cartões de débito até a era de pagamentos electrónicos móveis, passando pelas soluções de pagamento através da internet. As capacidades dos dispositivos móveis, designadamente os telemóveis, e tecnologias de comunicação sem fios foram também analisadas a fim de determinar o estado tecnológico actual. A arquitectura WPAC utiliza padrões de desenho utilizados pela indústria em soluções de sucesso, a utilização de padrões testados e a reutilização de soluções com provas dadas permite aumentar a confiança nesta solução, um destes exemplos é a utilização de uma infra-estrutura de chave pública para o estabelecimento de um canal de comunicação seguro. Esta especificação é uma arquitectura orientada aos serviços que utiliza os Web Services para a definição do contracto do serviço de pagamento. A viabilidade da solução na orquestração de um conjunto de tecnologias e a prova de conceito de novas abordagens é alcançada com a construção de um protótipo e a realização de testes. A arquitectura WPAC possibilita a realização de pagamentos móveis presenciais, isto é, junto do fornecedor de bens ou serviços, seguindo o modelo de pagamento com cartões de crédito/débito no que diz respeito aos intervenientes e relações entre eles. Esta especificação inclui como aspecto inovador a avaliação dinâmica de risco, que utiliza o valor do pagamento, a existência de pagamentos frequentes num período curto de tempo, e a data, hora e local do pagamento como factores de risco; solicitando ao cliente o conjunto de credenciais adequado ao risco avaliado, desde códigos pessoais a dados biométricos. É também apresentada uma alternativa ao processo normal de pagamento, que apesar de menos cómoda permite efectuar pagamentos quando não é possível estabelecer um canal de comunicação sem fios, aumentando assim a tolerância a falhas. Esta solução não implica custos de operação para o cliente na comunicação com o ponto de venda do comerciante, que é realizada através de tecnologias de comunicação local sem fios, pode ser necessária a comunicação através da rede móvel com o emissor do agente de pagamento para a actualização do agente de software ou de dados de segurança, mas essas transmissões são ocasionais. O modelo de segurança recorre a certificados para autenticação dos intervenientes e a uma infra-estrutura de chave pública para cifra e assinatura de mensagens. Os dados de segurança incluídos no agente de software móvel, para desabilitar a cópia ou corrupção da aplicação mas também para a comparação com as credenciais inseridas pelo cliente, devem igualmente ser encriptados e assinados de forma a garantir a sua confidencialidade e integridade. A arquitectura de pagamento utiliza o standard de Web Services, que é amplamente conhecido, aberto e interoperável, para definição do serviço de pagamento. Existem extensões à especificação de Web Services relativas à segurança que permitem trocar itens de segurança e definem o modo de cifra e assinatura de mensagens, possibilitando assim a sua utilização em aplicações que necessitem de segurança como é o caso de serviços de pagamento e controlo de acesso. O contracto de um Web Service define o modo de invocação dos serviços, transmissão de informação e representação de dados, sendo normalmente utilizado o protocolo SOAP que na prática não é mais que um protocolo de troca de mansagens XML (eXtensible Markup Language). O envio e recepção de mensagens XML; ou seja, a transmissão de simples sequências de caracteres, é suportado pela maioria dos protocolos de comunicação, sendo portanto uma solução abrangente que permite a adopção de diversas tecnologias de comunicação sem fios. O protótipo inclui um agente de software móvel, implementado sobre a forma de uma MIDlet, aplicação Java para dispositivos móveis, que implementa o protocolo de pagamento comunicando sobre uma ligação Bluetooth com o ponto de venda do comerciante, simulado por uma aplicação desenvolvida sobre a plataforma .NET e que por isso faz prova da heterogeneidade da solução. A comunicação entre o comerciante e o seu banco para autorização do pagamento e transferência monetária utiliza o protocolo existente para a autorização de pagamentos, com base em cartões de crédito/débito. A definição desta especificação aberta e genérica em conjunto com o forte interesse demonstrado pelos intervenientes, proporciona uma boa perspectiva em termos de adopção da solução, o que pode impulsionar a implementação de serviços móveis e dessa forma simplificar as rotinas diárias das pessoas. Soluções móveis de pagamento reduzem a necessidade de transportar vários cartões de crédito/débito na nossa carteira. A avaliação dinâmica de risco permite aumentar a segurança dos pagamentos, com a solicitação de mais credenciais ao cliente para pagamentos com um maior risco associado, sendo um ponto importante quer para os clientes quer para as instituições financeiras pois diminui o risco de fraude e aumenta a confiança no sistema. Esta solução de pagamento electrónico pode também facilitar a consulta de pagamentos efectuados e saldos, mantendo um histórico dos movimentos, o que não é possível nos cartões de crédito/débito sem uma visita a uma ATM (Automated Teller Machine) ou utilização de homebanking.

A 3-phase model for VIS/NIR mu C-Si : H p-i-n detectors

The spectral response and the photocurrent delivered by entirely microcrystalline p-i-n-Si:H detectors an analysed under different applied bias and light illumination conditions. The spectral response and the internal collection depend not only on the energy range but also on the illumination side. Under [p]- and [n]-side irradiation, the internal collection characteristics have an atypical shape. It is high for applied bias and lower than the open circuit voltage, shows a steep decrease near the open circuit voltage (higher under [n]-side illumination) and levels off for higher voltages. Additionally, the numerical modeling of the VIS/NIR detector, based on the band discontinuities near the grain boundaries and interfaces, complements the study and gives insight into the internal physical process.

Laser scanned photodiodes (LSP) for Image sensing

An optimized ZnO:Al/a-pin SixCl1-x:H/Al configuration for the laser scanned photodiode (LSP) imaging detector is proposed. The LSP utilizes light induced depletion layers as detector and a laser beam for readout. The effect of the sensing element structure, cell configuration and light source flux are investigated and correlated with the sensor output characteristics. Experimental data reveal that the large optical gap and the low conductivity of the doped a-SixC1-x:H layers are responsible by an induced inversion layer at the illuminated interfaces which blocks the carrier collection. These insulator-like layers act as MIS gates preventing image smearing. The physical background of the LSP is discussed.