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.

In situ characterization of stickiness of sugar-rich foods using a linear actuator driven stickiness testing device

A stickiness testing device based on the probe tack test has been designed and tested. It was used to perform in situ characterization of drying hemispherical drops with an initial radius 3.5 mm. Tests were carried out in two drying temperatures, 63 and 95 degreesC. Moisture and temperature histories of the drying drops of fructose, honey, sucrose, maltodextrin and sucrose-maltodextrin mixtures were determined. The rates of moisture evaporation of the fructose solution was the fastest while those of the maltodextrin solution was the lowest. A profile reversal was observed when the temperature profiles of these materials were compared. Different modes of failure were observed during the stickiness tests. Pure fructose and honey solutions remained completely sticky and failed cohesively until the end of drying. Pure sucrose solution remained sticky and failed cohesively until complete crystallization occurred. The surface of the maltodextrin drops formed a skin shortly after the start of drying. It exhibited adhesive failure and reached a state of non-adhesion. Addition of maltodextrin significantly altered the stickiness of sucrose solution. (C) 2002 Elsevier Science Ltd. All rights reserved.

Parvalbumin-, calbindin-, and calretinin-immunoreactive neurons in the prefrontal cortex of the owl monkey (Aotus trivirgatus): A standardized quantitative comparison with sensory and motor areas

Recent studies have revealed regional variation in the density and distribution of inhibitory neurons in different cortical areas, which are thought to reflect area-specific specializations in cortical circuitry. However, there are as yet few standardized quantitative data regarding how the inhibitory circuitry in prefrontal cortex (PFC), which is thought to be involved in executive functions such as cognition, emotion and decision making, compares to that in other cortical areas. Here we used immunohistochemical techniques to determine the density and distribution of parvalbumin (PV)-, calbindin (CB)-, and calretinin (CR)-immunoreactive (ir) neurons and axon terminals in the dorsolateral and orbital PFC of the owl monkey (Aotus trivirgatus), and compared them directly with data obtained using the same techniques in 11 different visual, somatosensory and motor areas. We found marked differences in the density of PV-ir, CB-ir, and CR-ir interneurons in several cortical areas. One hundred and twenty eight of all 234 possible between-area pairwise comparisons were significantly different. The density of specific subpopulations of these cells also varied among cortical areas, as did the density of axon terminals. Comparison of PFC with other cortical areas revealed that 40 of all 66 possible statistical comparisons of the density of PV-ir, CB-ir, and CR-ir cells were significantly different. We also found evidence for heterogeneity in the pattern of labeling of PV-ir, CB-ir, and CR-ir cells and axon terminals between the dorsolateral and orbital subdivisions of PFC. These data are likely to reflect basic differences in interneuron circuitry, which are likely to influence inhibitory function in the cortex. Copyright (C) 2003 S. Karger AG, Basel.

Tympanometry and TEOAE testing of children with Down Syndrome in Special Schools

Despite widespread awareness that children with Down syndrome are particularly susceptible to hearing pathologies, the audiological status of students with Down syndrome in special schools is all too often unknown. Unfortunately, hearing screening for this population is unable to rely on standard, behavioural test batteries. To facilitate future improvements in screening protocols, this study investigated the results of tympanometry and transient evoked otoacoustic emission (TEOAE) testing for a group of children with Down syndrome. Assessments were not conducted in the artificial context of a clinic or laboratory, but within the school environment. Outcomes are reported for 27 subjects with a mean age of 10 years 5 months (SD = 4;11). Tympanometry testing was failed in at least one ear by 41.7% of subjects, while a failure rate of 81.5% of subjects was observed for TEOAE testing. Therefore, it is concluded that immediate review of hearing screening programs for students with Down syndrome is highly advisable.

UN Security Council decision-making: testing the bribery hypothesis

Liberal-Institutionalism and Structural Realism expectations about international organizations are confronted by looking at if and how US-controlled international aid is granted, and particularly if it is related or not to political affinity and to United Nations Security Council (UNSC) non-permanent membership. A preliminary assessment suggests that these relations only hold for the period of the Cold War, and, even then, only when UNSC non-permanent membership is in years in which the Security Council was deemed very important.

Molecular dynamics computer simulation of scratch resistance testing of polymers: visualization

Experimental scratch resistance testing provides two numbers: the penetration depth Rp and the healing depth Rh. In molecular dynamics computer simulations, we create a material consisting of N statistical chain segments by polymerization; a reinforcing phase can be included. Then we simulate the movement of an indenter and response of the segments during X time steps. Each segment at each time step has three Cartesian coordinates of position and three of momentum. We describe methods of visualization of results based on a record of 6NX coordinates. We obtain a continuous dependence on time t of positions of each of the segments on the path of the indenter. Scratch resistance at a given location can be connected to spatial structures of individual polymeric chains.

The need for standardized tests to evaluate the reliability of data transport in wireless medical systems

Wireless medical systems are comprised of four stages, namely the medical device, the data transport, the data collection and the data evaluation stages. Whereas the performance of the first stage is highly regulated, the others are not. This paper concentrates on the data transport stage and argues that it is necessary to establish standardized tests to be used by medical device manufacturers to provide comparable results concerning the communication performance of the wireless networks used to transport medical data. Besides, it suggests test parameters and procedures to be used to produce comparable communication performance results.

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.

Integration of Standardized Management Systems: A Dilemma?

Abstract: The growing proliferation of management systems standards (MSSs), and their individualized implementation, is a real problem faced by organizations. On the other hand, MSSs are aimed at improving efficiency and effectiveness of organizational responses in order to satisfy the requirements, needs and expectations of the stakeholders. Each organization has its own identity and this is an issue that cannot be neglected; hence, two possible approaches can be attended. First, continue with the implementation of individualized management systems (MSs); or, integrate the several MSSs versus related MSs into an integrated management system (IMS). Therefore, in this context, organizations are faced with a dilemma, as a result of the increasing proliferation and diversity of MSSs. This paper takes into account the knowledge gained through a case study conducted in the context of a Portuguese company and unveils some of the advantages and disadvantages of integration. A methodology is also proposed and presented to support organizations in developing and structuring the integration process of their individualized MSs, and consequently minimize problems that are generators of inefficiencies, value destruction and loss of competitiveness. The obtained results provide relevant information that can support Top Management decision in solving that dilemma and consequently promote a successful integration, including a better control of business risks associated to MSSs requirements and enhancing sustainable performance, considering the context in which organizations operate.

The internationally standardized process of public accounting: the perspective of different stakeholders in Portugal

New Public Management (NPM) led to great pressures for to introduce and adapt businesslike accounting in the public sector (Hood, 1995; Lapsley, 2008; Lapsley et al., 2009), specially the transition from cash basis to accrual-based accounting. In consequence, since the last 20 years we assist to a movement towards internationally standardized of public sector accounting that led to the publication of 32 International Public Sector Accounting Standards (IPSAS) for all public sector entities from national central governments to local governments (IFAC, 2008). These standards are accrual-basis and they emphasize the balance sheet approach, the fair value measurement and the revenue-expense approach (Hints, 2007). The main innovations are associated with the use of the balance sheet approach and the fair value measurement because, traditionally, public accounting systems are mainly focused on the revenue-expense approach and on historical cost valuation (Oulasvirta, 2014).

A System Dynamics-Based Simulation Experiment for Testing Mental Model and Performance Effects of Using the Balanced Scorecard

This study develops a theoretical model that explains the effectiveness of the balanced scorecard approach by means of a system dynamics and feedback learning perspective. Presumably, the balanced scorecard leads to a better understanding of context, allowing managers to externalize and improve their mental models. We present a set of hypotheses about the influence of the balanced scorecard approach on mental models and performance. A test based on a simulation experiment that uses a system dynamics model is performed. The experiment included three types of parameters: financial indicators; balanced scorecard indicators; and balanced scorecard indicators with the aid of a strategy map review. Two out of the three hypotheses were confirmed. It was concluded that a strategy map review positively influences mental model similarity, and mental model similarity positively influences performance.

Tools for testing the Solvency Capital Requirement for life insurance

Longevity risk is one of the major risks that an insurance company or a pension fund has to deal with and it is expected that its importance will grow in the near future. In agreement with these considerations, in Solvency II regulation the Standard formula furnished for calculating the Solvency Capital Requirement explicitly considers this kind of risk. According to the new European rules in our paper we suggest a multiperiod approach to evaluate the SCR for longevity risk. We propose a backtesting framework for measuring the consistency of SCR calculations for life insurance policies.

Long-term monitoring across elevational gradients to assess ecological hypothesis : a description of standardized sampling methods in oceanic islands and first results

We are launching a long-term study to characterize the biodiversity at different elevations in several Azorean Islands. Our aim is to use the Azores as a model archipelago to answer the fundamental question of what generates and maintains the global spatial heterogeneity of diversity in islands and to be able to understand the dynamics of change across time. An extensive, standardized sampling protocol was applied in most of the remnant forest fragments of five Azorean Islands. Fieldwork followed BRYOLAT methodology for the collection of bryophytes, ferns and other vascular plant species. A modified version of the BALA protocol was used for arthropods. A total of 70 plots (10 m x 10 m) are already established in five islands (Flores, Pico, São Jorge, Terceira and São Miguel), all respecting an elevation step of 200 m, resulting in 24 stations examined in Pico, 12 in Terceira, 10 in Flores, 12 in São Miguel and 12 in São Jorge. The first results regarding the vascular plants inventory include 138 vascular species including taxa from Lycopodiophyta (N=2), Pteridophyta (N=27), Pinophyta (N=2) and Magnoliophyta (N=107). In this contribution we also present the main research question for the next six years within the 2020 Horizon.

HIV testing among pregnant women in Brazil: rates and predictors

OBJECTIVE: To assess rates of offering and uptake of HIV testing and their predictors among women who attended prenatal care. METHODS: A population-based cross-sectional study was conducted among postpartum women (N=2,234) who attended at least one prenatal care visit in 12 cities. Independent and probabilistic samples were selected in the cities studied. Sociodemographic data, information about prenatal care and access to HIV prevention interventions during the current pregnancy were collected. Bivariate and multivariate analyses were carried out to assess independent effects of the covariates on offering and uptake of HIV testing. Data collection took place between November 1999 and April 2000. RESULTS: Overall, 77.5% of the women reported undergoing HIV testing during the current pregnancy. Offering of HIV testing was positively associated with: previous knowledge about prevention of mother-to-child transmission of HIV; higher number of prenatal care visits; higher level of education and being white. HIV testing acceptance rate was 92.5%. CONCLUSIONS: The study results indicate that dissemination of information about prevention of mother-to-child transmission among women may contribute to increasing HIV testing coverage during pregnancy. Non-white women with lower level of education should be prioritized. Strategies to increase attendance of vulnerable women to prenatal care and to raise awareness among health care workers are of utmost importance.