An approach for graphical user interface bad smells detection

In the context of an e ort to develop methodologies to support the evaluation of interactive system, this paper investigates an approach to detect graphical user interface bad smells. Our approach consists in detecting user interface bad smells through model-based reverse engineering from source code. Models are used to de ne which widgets are present in the interface, when can particular graphical user interface (GUI) events occur, under which conditions, which system actions are executed, and which GUI state is generated next.

Improving fECG signal acquisition in the evaluation of fetal well-being

The ability to monitor fetal heart rate is vital during late pregnancy and labor in order to evaluate fetal well-being. Current monitoring practice is essentially based on external cardiotocography and, less frequently, during labor, invasive fetal scalp electrocardiography. Many current and envisaged applications could benefi t from simpler devices using a 3-lead ECG confi guration. We are designing a maternity support belt with an embedded wireless 3-lead ECG sensor, and have investigated the infl uence of the ground electrode position on signal quality. Data from over 100 pregnant women was collected with the ground electrode placed in 3 locations in order to determine optimum electrode placement and belt form factor.

Conditioning information in mutual fund performance evaluation: Portuguese evidence

We estimate and compare the performance of Portuguese-based mutual funds that invest in the domestic market and in the European market using unconditional and conditional models of performance evaluation. Besides applying both partial and full conditional models, we use European information variables, instead of the most common local ones, and consider stochastically detrended conditional variables in order to avoid spurious regressions. The results suggest that mutual fund managers are not able to outperform the market, presenting negative or neutral performance. The incorporation of conditioning information in performance evaluation models is supported by our findings, as it improves the explanatory power of the models and there is evidence of both time-varying betas and alphas related to the public information variables. It is also shown that the number of lags to be used in the stochastic detrending procedure is a critical choice, as it will impact the significance of the conditioning information. In addition, we observe a distance effect, since managers who invest locally seem to outperform those who invest in the European market. However, after controlling for public information, this effect is slightly reduced. Furthermore, the results suggest that survivorship bias has a small impact on performance estimates.

Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos

Abstract — The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

GUIsurfer: A Reverse Engineering Framework for User Interface Software

GUIsurfer: A Reverse Engineering Framework for User Interface Software

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.

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.

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.

Real-time 3D interactive segmentation of echocardiographic data through user-based deformation of B-spline explicit active surfaces

Image segmentation is an ubiquitous task in medical image analysis, which is required to estimate morphological or functional properties of given anatomical targets. While automatic processing is highly desirable, image segmentation remains to date a supervised process in daily clinical practice. Indeed, challenging data often requires user interaction to capture the required level of anatomical detail. To optimize the analysis of 3D images, the user should be able to efficiently interact with the result of any segmentation algorithm to correct any possible disagreement. Building on a previously developed real-time 3D segmentation algorithm, we propose in the present work an extension towards an interactive application where user information can be used online to steer the segmentation result. This enables a synergistic collaboration between the operator and the underlying segmentation algorithm, thus contributing to higher segmentation accuracy, while keeping total analysis time competitive. To this end, we formalize the user interaction paradigm using a geometrical approach, where the user input is mapped to a non-cartesian space while this information is used to drive the boundary towards the position provided by the user. Additionally, we propose a shape regularization term which improves the interaction with the segmented surface, thereby making the interactive segmentation process less cumbersome. The resulting algorithm offers competitive performance both in terms of segmentation accuracy, as well as in terms of total analysis time. This contributes to a more efficient use of the existing segmentation tools in daily clinical practice. Furthermore, it compares favorably to state-of-the-art interactive segmentation software based on a 3D livewire-based algorithm.

A model for the evaluation of data quality in health unit website

This article presents a research work, the goal of which was to achieve a model for the evaluation of data quality in institutional websites of health units in a broad and balanced way. We have carried out a literature review of the available approaches for the evaluation of website content quality, in order to identify the most recurrent dimensions and the attributes, and we have also carried out a Delphi method process with experts in order to reach an adequate set of attributes and their respective weights for the measurement of content quality. The results obtained revealed a high level of consensus among the experts who participated in the Delphi process. On the other hand, the different statistical analysis and techniques implemented are robust and attach confidence to our results and consequent model obtained.

Ex-ante evaluation by the media of the Guimarães 2012 European Capital of Culture

The nomination of Guimarães to host the 2012 European Capital of Culture (ECC) has put on the agenda of the city the need of measuring the effects that the implementation of this mega event could have in it and in the municipality a whole. The balance of the benefits and costs and an extended community involvement tend to reduce negative impacts and enhance positive ones. This chapter analyzes the involvement of population and local associations in the planning and organization of the 2012 Guimarães European Capital of Culture, using the coverage made during 2011 by local and national press of the mega event. A content analysis of the news published covering the period between January and December 2011 and using three newspapers was conducted. From those, two were local and weekly newspapers and one was a national daily one. Looking to data results, it can be concluded that it was poor the community involvement and, also, the one of the cultural associations in the organizations of the 2012 ECC. A strong negative reaction to the model choose to plan the mega event conducted by official organizers was found, which has cast doubts on the desirable participation of the residents and, consequently, on the success of the mega event, especially in a perspective of a medium and long term effects.

Application of Gage R&R methodology for improving the training and evaluation of automatic optical inspection machine operators

The current level of demand by customers in the electronics industry requires the production of parts with an extremely high level of reliability and quality to ensure complete confidence on the end customer. Automatic Optical Inspection (AOI) machines have an important role in the monitoring and detection of errors during the manufacturing process for printed circuit boards. These machines present images of products with probable assembly mistakes to an operator and him decide whether the product has a real defect or if in turn this was an automated false detection. Operator training is an important aspect for obtaining a lower rate of evaluation failure by the operator and consequently a lower rate of actual defects that slip through to the following processes. The Gage R&R methodology for attributes is part of a Six Sigma strategy to examine the repeatability and reproducibility of an evaluation system, thus giving important feedback on the suitability of each operator in classifying defects. This methodology was already applied in several industry sectors and services at different processes, with excellent results in the evaluation of subjective parameters. An application for training operators of AOI machines was developed, in order to be able to check their fitness and improve future evaluation performance. This application will provide a better understanding of the specific training needs for each operator, and also to accompany the evolution of the training program for new components which in turn present additional new difficulties for the operator evaluation. The use of this application will contribute to reduce the number of defects misclassified by the operators that are passed on to the following steps in the productive process. This defect reduction will also contribute to the continuous improvement of the operator evaluation performance, which is seen as a quality management goal.

Economic evaluation of occupational safety preventive measures in a hospital

BACKGROUND: When an organization performs an integrated analysis of risks through its Occupational Health and Safety Management System, several steps are suggested to address the implications of the identified risks. Namely, the organization should make a detailed analysis of the monetary impact for the organization of each of the preventive measures considered. However, it is also important to perform an analysis of the impact of each measure on society (externalities). OBJECTIVE: The aim of this paper is to present a case study related to the application of the proposed economic evaluation methodology. METHODS: An analysis of the work accidents in a hospital has been made. Three of the major types of accidents have been selected: needle stings, falls and excessive strain. Following the risk assessment, some preventive measures have been designed. Subsequently, the Benefit/Cost ratio (B/C) of these measures has been calculated, both in financial terms (from the organization’s perspective) and in economic terms (including the benefits for the worker and for the Society). RESULTS: While the financial ratio is only advantageous in some cases, when the externalities are taken into account, the B/C ratio increases significantly. CONCLUSIONS: It is important to consider external benefits to make decisions concerning the implementation of preventive measures in Occupational Health and Safety projects

The use of quantitative performance information by local elected politicians in top managers’ performance evaluation: case studies

This paper studies the use of results oriented performance information (outputs and outcomes) by local elected politicians (aldermen) in top managers’ performance evaluation. The main goal is to understand the top managers’ performance evaluation process conducted by Portuguese aldermen and to identify the dominant evaluation style. In line with Bogt (2001), an exploratory field research was developed in three large municipalities: Porto, Braga and Matosinhos. We intend to answer the following research questions: to what extent are local politicians (aldermen) 1 using results information (about outputs and outcomes) to evaluate top managers’ performance? Do aldermen give any importance to quantitative output information and report them on current planning and control documents? Will the output performance information be used on performance evaluation in a different way concerning policy field (task orientation)? Based on the Hopwood evaluation styles (adapted from the private to the public sector by Bogt, 2001), we have found that the performance evaluation process of top managers is more featured by the ‘operations-conscious styles’ (or ‘implicit style’). Portuguese aldermen recognize the importance to quantify outputs and outcomes, but these days they focus on the information about activities and the realized operations when they evaluate performance. We haven´t found significant differences between different tasks (some exceptions for culture and environment areas). However, the municipality of Matosinhos paid more attention on quantitative performance information. This finding is reinforced by the quality of quantitative data on outputs reported on its management report. Generally speaking, aldermen are aware that more attention should be paid to quantitative information about results and performance, taking into account recent reforms introduced in Portuguese municipalities (PLG) on this field, but the ‘implicit’ style is dominant.