Tool support for testing concurrent Java components

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

Gravitational waves : a 100-year tool applied to the dark energy problem

Recent observations from type Ia Supernovae and from cosmic microwave background (CMB) anisotropies have revealed that most of the matter of the Universe interacts in a repulsive manner, composing the so-called dark energy constituent of the Universe. Determining the properties of dark energy is one of the most important tasks of modern cosmology and this is the main motivation for this work. The analysis of cosmic gravitational waves (GW) represents, besides the CMB temperature and polarization anisotropies, an additional approach in the determination of parameters that may constrain the dark energy models and their consistence. In recent work, a generalized Chaplygin gas model was considered in a flat universe and the corresponding spectrum of gravitational waves was obtained. In the present work we have added a massless gas component to that model and the new spectrum has been compared to the previous one. The Chaplygin gas is also used to simulate a L-CDM model by means of a particular combination of parameters so that the Chaplygin gas and the L-CDM models can be easily distinguished in the theoretical scenarios here established. We find that the models are strongly degenerated in the range of frequencies studied. This degeneracy is in part expected since the models must converge to each other when some particular combinations of parameters are considered.

Avaliação assistida informatizada : indicadores do potencial cognitivo de crianças com deficiência

A identificação e a avaliação de crianças com desenvolvimento atípico configuram um processo muito importante para subsidiar as estratégias de ensino voltadas para a promoção do potencial de aprendizagem. O interesse em relação ao prognóstico de crianças com deficiência tem impulsionado o desenvolvimento de novas tecnologias e pesquisas relacionadas à avaliação, prevenção e intervenção. Nesse contexto, torna-se relevante verificar com instrumentos adequados indicadores linguísticos, cognitivos e comportamentais, para assim traçar metas a partir daquilo que as crianças podem aprender. Dessa forma, esta pesquisa teve por objetivo verificar se a avaliação assistida informatizada se apresenta como uma modalidade de diagnóstico mais prescritivo do desenvolvimento cognitivo, quando comparada à avaliação psicométrica, na aplicação em crianças com deficiência. Na modalidade assistida há ajuda do examinador para conduzir a criança a um melhor nível de desempenho cognitivo. Participaram 11 crianças que frequentam uma instituição de atendimento clínico, em saúde, para crianças com deficiência, na Grande Vitória. Na avaliação psicométrica foram utilizados a Escala de Maturidade Mental Colúmbia computadorizada – Colúmbiacomp e o Teste de Vocabulário por Imagens Peabody - TVIPcomp. Na avaliação assistida informatizada foram aplicadas três provas voltadas para as habilidades de classificação e raciocínio analógico: Exclusão de Objetos, Exclusão de Figuras Geométricas e Jogo de Analogia de Figuras, no ambiente informatizado SINDAPSI. Protocolos de registro de fatores afetivo-motivacionais e de operações cognitivas foram utilizados durante as tarefas assistidas. Na avaliação do comportamento, o Child Behavior Checklist – CBCL foi respondido pelas mães. Dados documentais e dos instrumentos foram submetidos à análise estatística descritiva para verificar o desempenho das crianças nas duas formas de avaliação informatizada (psicométrica e assistida). Nos testes psicométricos, 64% das crianças alcançaram índice “abaixo da média” no TVIPcomp, e 55% “médio-inferior” no Colúmbiacomp. Em relação ao perfil de desempenho cognitivo, na Prova de Exclusão de Objetos computadorizada 55% das crianças foram avaliadas como “não-mantenedoras”. Na Prova de Exclusão de Figuras Geométricas computadorizada 55% da amostra foi classificada no perfil “alto-escore”, e no Jogo de Analogias de Figuras computadorizado 45% apresentou o perfil “ganhador”. A amostra demonstrou níveis de dificuldade na realização dos testes,tanto na modalidade psicométrica quanto assistida. Contudo, o desempenho nos testes assistidos foi relativamente melhor, evidenciando que o grupo se beneficiou da mediação,implementada na fase de assistência, para melhorar as habilidades cognitivas. Além disso, a apresentação informatizada dos testes apresentou-se como fator motivador para a realização e persistência nas tarefas.

Economic Analysis of Occupational Risk Prevention in the Construction Sector

The construction sector has one of the worst occupational safety and health records in Europe. The costs of this scenario are very high, namely costs for workers and their families, costs to organizations, resulting from the absence of workers due to illness, insurance premiums, costs resulting from reduced productivity, cost of replacement and training of workers, etc., and costs to society, which in turn increases the costs of health systems. This paper presents and discusses the development of a methodology for economic evaluation in the context of risk management, which will allow senior management to support decision making. The possible application of this methodology to the construction sector is discussed.

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.

COORDINSPECTOR: a tool for extracting coordination data from legacy code

More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coordination data is deeply entangled in the code and, therefore, difficult to isolate and analyse separately. COORDINSPECTOR is a software tool which combines slicing and program analysis techniques to isolate all coordination elements from the source code of an existing application. Such a reverse engineering process provides a clear view of the actually invoked services as well as of the orchestration patterns which bind them together. The tool analyses Common Intermediate Language (CIL) code, the native language of Microsoft .Net Framework. Therefore, the scope of application of COORDINSPECTOR is quite large: potentially any piece of code developed in any of the programming languages which compiles to the .Net Framework. The tool generates graphical representations of the coordination layer together and identifies the underlying business process orchestrations, rendering them as Orc specifications

Virtual simulation of the postsurgical cosmetic outcome in patientswith pectus excavatum

Pectus excavatum is the most common congenital deformity of the anterior chest wall, in which several ribs and the sternum grow abnormally. Nowadays, the surgical correction is carried out in children and adults through Nuss technic. This technic has been shown to be safe with major drivers as cosmesis and the prevention of psychological problems and social stress. Nowadays, no application is known to predict the cosmetic outcome of the pectus excavatum surgical correction. Such tool could be used to help the surgeon and the patient in the moment of deciding the need for surgery correction. This work is a first step to predict postsurgical outcome in pectus excavatum surgery correction. Facing this goal, it was firstly determined a point cloud of the skin surface along the thoracic wall using Computed Tomography (before surgical correction) and the Polhemus FastSCAN (after the surgical correction). Then, a surface mesh was reconstructed from the two point clouds using a Radial Basis Function algorithm for further affine registration between the meshes. After registration, one studied the surgical correction influence area (SCIA) of the thoracic wall. This SCIA was used to train, test and validate artificial neural networks in order to predict the surgical outcome of pectus excavatum correction and to determine the degree of convergence of SCIA in different patients. Often, ANN did not converge to a satisfactory solution (each patient had its own deformity characteristics), thus invalidating the creation of a mathematical model capable of estimating, with satisfactory results, the postsurgical outcome

Automatic segmentation and 3D feature extraction of protein aggregates in Caenorhabditis Elegans

In the last years, it has become increasingly clear that neurodegenerative diseases involve protein aggregation, a process often used as disease progression readout and to develop therapeutic strategies. This work presents an image processing tool to automatic segment, classify and quantify these aggregates and the whole 3D body of the nematode Caenorhabditis Elegans. A total of 150 data set images, containing different slices, were captured with a confocal microscope from animals of distinct genetic conditions. Because of the animals’ transparency, most of the slices pixels appeared dark, hampering their body volume direct reconstruction. Therefore, for each data set, all slices were stacked in one single 2D image in order to determine a volume approximation. The gradient of this image was input to an anisotropic diffusion algorithm that uses the Tukey’s biweight as edge-stopping function. The image histogram median of this outcome was used to dynamically determine a thresholding level, which allows the determination of a smoothed exterior contour of the worm and the medial axis of the worm body from thinning its skeleton. Based on this exterior contour diameter and the medial animal axis, random 3D points were then calculated to produce a volume mesh approximation. The protein aggregations were subsequently segmented based on an iso-value and blended with the resulting volume mesh. The results obtained were consistent with qualitative observations in literature, allowing non-biased, reliable and high throughput protein aggregates quantification. This may lead to a significant improvement on neurodegenerative diseases treatment planning and interventions prevention

Qualifound – a modular tool developed for quality improvement in foundries

Purpose – Castings defects are usually easy to characterize, but to eradicate them can be a difficult task. In many cases, defects are caused by the combined effect of different factors, whose identification is often difficult. Besides, the real non-quality costs are usually unknown, and even neglected. This paper aims to describe the development of a modular tool for quality improvement in foundries, and its main objective is to present the application potential and the foundry process areas that are covered and taken into account. Design/methodology/approach – The integrated model was conceived as an expert system, designated Qualifound, which performs both qualitative and quantitative analyses. For the qualitative analyses mode, the nomenclature and the description of defects are based on the classification suggested by the International Committee of the Foundry Technical Association. Thus, a database of defects was established, enabling one to associate the defects with the relevant process operations and the identification of their possible causes. The quantitative analysis mode deals with the number of produced and rejected castings and includes the calculation of the non-quality costs. Findings – The validation of Qualifound was carried out in a Portuguese foundry, whose quality system had been certified according to the ISO 9000 standards. Qualifound was used in every management area and it was concluded that the application had the required technological requisites to provide the necessary information for the foundry management to improve process quality. Originality/value – The paper presents a successful application of an informatics tool on quality improvement in foundries.

Economic analysis of occupational risk prevention: a case study in a textile company

Work accidents affect business and society as a whole. Fewer accidents mean fewer sick leaves, which results in lower costs and less disruption in the production process, with clear advantages for the employer. But workers and their households bear also a significant burden following a work accident, only partially compen-sated by insurance systems. Furthermore, the consequences of work accidents to the State and Society need also to be considered. When an organization performs an integrated risk analysis in evaluating its Occupational Health and Safety Management System, several steps are suggested to address the identified risk situations. Namely, to avoid risks, a series of preventive measures are identified. The organization should make a detailed analysis of the monetary impact (positive or negative) for the organization of each of the measures considered. Particularly, it is also important to consider the impact of each measure on society, involving an adequate eco-nomic cost-benefit analysis. In the present paper, a case study in a textile finishing company is presented. The study concentrates on the dyeing and printing sections. For each of the potential risks, several preventive measures have been identified and the corresponding costs and benefits have been estimated. Subsequently, the Benefit/Cost ratio (B/C) of these measures has been calculated, both in financial terms (from the organisa-tion’s perspective) and in economic terms (including the benefits for the worker and for the Society). Results show that, while the financial analysis in terms of the company does not justify the preventive measures, when the externalities are taken into account, the B/C ratio increases significantly and investments are fully justified.

Financial and economic analysis of prevention of needlesticks in the hospital sector

This paper discusses the financial and economic analysis of prevention of needlestick accidents related to Occupational Health and Safety projects and presents the application to a case study involving a Hospital.