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.

Interaction of directional, neuromuscular and egocentric constraints on the stability of preferred bimanual coordination patterns

We investigated how the relative direction of limb movements in external space (iso- and non-isodirectionality), muscular constraints (the relative timing of homologous muscle activation) and the egocentric frame of reference (moving simultaneously toward/away the longitudinal axis of the body) contribute to the stability of coordinated movements. In the first experiment, we attempted to determine the respective stability of isodirectional and non-isodirectional movements in between-persons coordination. In a second experiment, we determined the effect of the relative direction in external space, and of muscular constraints, on pattern stability during a within-person bimanual coordination task. In the third experiment we dissociated the effects on pattern stability of the muscular constraints, relative direction and egocentric frame of reference. The results showed that (1) simultaneous activation of homologous muscles resulted in more stable performance than simultaneous activation of non-homologous muscles during within-subject coordination, and that (2) isodirectional movements were more stable than non-isodirectional movements during between-persons coordination, confirming the role of the relative direction of the moving limbs in the stability of bimanual coordination. Moreover, the egocentric constraint was to some extent found distinguishable from the effect of the relative direction of the moving limbs in external space, and from the effect of the relative timing of muscle activation. In summary, the present study showed that relative direction of the moving limbs in external space and muscular constraints may interact either to stabilize or destabilize coordination patterns. (C) 2003 Published by Elsevier B.V.

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.

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.

Recombinant expression of Munc18c in a baculovirus system and interaction with syntaxin4

Two protein families that are critical for vesicle transport are the Syntaxin and Munc18/Sec1. families of proteins. These two molecules form a high affinity complex and play an essential role in vesicle docking and fusion. Munc18c was expressed as an N-terminally His-tagged fusion protein from recombinant baculovirus in Sf9 insect cells. His-tagged Munc18c was purified to homogeneity using both cobalt-chelating affinity chromatography and gel filtration chromatography. With this simple two-step protocol, 3.5 mg of purified Munc18c was obtained from a 1 L culture. Further, the N-terminal His-tag could be removed by thrombin cleavage while the tagged protein was bound to metal affinity resin. Recombinant Munc18c produced in this way is functional, in that it forms a stable complex with the SNARE interacting partner, syntaxin4. Thus we have developed a method for producing and purifying large amounts of functional Munc18c-both tagged and detagged-from a baculovirus expression system. We have also developed a method to purify the Munc18c:syntaxin4 complex. These methods will be employed for future functional and structural studies. Crown copyright (C) 2003 Published by Elsevier Inc. All rights reserved.

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.

Towards Emotional Interaction: Using Movies to Automatically Learn Users' Emotional States

The HCI community is actively seeking novel methodologies to gain insight into the user’s experience during interaction with both the application and the content. We propose an emotional recognition engine capable of automatically recognizing a set of human emotional states using psychophysiological measures of the autonomous nervous system, including galvanic skin response, respiration, and heart rate. A novel pattern recognition system, based on discriminant analysis and support vector machine classifiers is trained using movies’ scenes selected to induce emotions ranging from the positive to the negative valence dimension, including happiness, anger, disgust, sadness, and fear. In this paper we introduce an emotion recognition system and evaluate its accuracy by presenting the results of an experiment conducted with three physiologic sensors.

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.

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.

The host-tourist interaction in a world heritage site: the case of Guimarães

Guimarães, in the northwest of Portugal, is a city of strong symbolic and cultural significance and its nomination by UNESCO as world heritage, in 2001, enlarged its tourism potential. In this paper we present a few results of a survey that envisaged capturing the Guimarães residents’ perceptions of tourism impacts and their attitudes towards tourists. Specifically, one analyzes the type of relationship that exists between some socio-demographic groups and the perceived tourism impacts, as well as their socio-characteristics and the existing level of interaction between residents and tourists. The survey was implemented between January and March 2010 to a convenience sample of 540 inhabitants of the municipality of Guimarães resulting in 400 questionnaires with complete data. For this, we made use of various statistical techniques. Using a factorial analysis, we can conclude that the three factors used explain 52.3% of the variance contained in the original variables obtained from the survey. By another side, using a logit model in the analysis and taking as the dependent variable the frequent or very frequent contact with tourists, we found that only the variables referred to perceived positive impacts of tourism, education and the place of residence in urban areas have shown to be statistically significant. We are aware of the multiple ways the issue of residents’ perceptions and attitudes towards tourism can be approached and of the difficulties to get useful policy-oriented insights. This paper is a step in that trail.

Access to information: assessment of the use of automated interaction technologies in call centers

With the purpose of at lowering costs and reendering the demanded information available to users with no access to the internet, service companies have adopted automated interaction technologies in their call centers, which may or may not meet the expectations of users. Based on different areas of knowledge (man-machine interaction, consumer behavior and use of IT) 13 propositions are raised and a research is carried out in three parts: focus group, field study with users and interviews with experts. Eleven automated service characteristics which support the explanation for user satisfaction are listed, a preferences model is proposed and evidence in favor or against each of the 13 propositions is brought in. With balance scorecard concepts, a managerial assessment model is proposed for the use of automated call center technology. In future works, the propositions may become verifiable hypotheses through conclusive empirical research.

Interaction between information systems and work in the Brazilian banking sector

This article presents the results of a research to understand the conditions of interaction between work and three specific information systems (ISs) used in the Brazilian banking sector. We sought to understand how systems are redesigned in work practices, and how work is modified by the insertion of new systems. Data gathering included 46 semi-structured interviews, together with an analysis of system-related documents. We tried to identify what is behind the practices that modify the ISs and work. The data analysis revealed an operating structure: a combination of different practices ensuring that the interaction between agents and systems will take place. We discovered a structure of reciprocal conversion caused by the increased technical skills of the agent and the humanization of the systems. It is through ongoing adjustment between work and ISs that technology is tailored to the context and people become more prepared to handle with technology.

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.

Studies in search of a suitable experimental insect model for xenodiagnosis of hosts with Chagas' disease: 3 - On the interaction of vector species and parasite strain in the reaction of bugs to infection by Trypanosoma cruzi

The reaction of nine vector species of Chagas' disease to infection by seven different Trypanosoma cruzi strains; Berenice, Y, FL, CL, S. Felipe, Colombiana and Gávea, are examined and compared. On the basis of the insects' ability to establish and maintain the infection, vector species could be divided into two distinct groups which differ in their reaction to an acute infection by T. cruzi. While the proportion of positive bugs was found to be low in Triatoma infestans and Triatoma dimidiata it was high, ranging from 96.9% to 100% in the group of wild (Rhodnius neglectus, Triatoma rubrovaria)and essentially sylvatic vectors in process of adaptation to human dwellings, maintained under control following successful insecticidal elimination of Triatoma infestans (Panstrongylus megistus, Triatoma sordida and Triatoma pseudomaculata). An intermediate position is held by Triatoma brasiliensis and Rhodnius prolixus. This latter has been found to interchange between domestic and sylvatic environments. The most important finding is the strikingly good reaction between each species of the sylvatic bugs and practically all T. cruzi strains herein studied, thus indicating that the factors responsible for the excellent reaction of P.megistus to infection by Y strain, as previously reported also come into operation in the reaction of the same vector species to acute infections by five of the remaining T.cruzi strains. Comparison or data reported by other investigators with those herein described form the basis of the discussion of Dipetalogaster maximus as regards its superiority as a xenodiagnostic agent.

Studies in search of a suitable experimental insect model for xenodiagnosis of hosts with Chagas' disease: 4 - The reflection of parasite stock in the responsiveness of different vector species to chronic infection with different Trypanosoma cruzi stocks

Previous studies (1982,1987) have emphasized the superiority of sylvatic vector species over domestic species as xenodiagnostic agents in testing hosts with acute or chronic infections by T. cruzi "Y" stock. The present study, which is unique in that it contains data on both infectivity rates produced by the same stock in 11 different vector species and also the reaction of the same vector species to seven different parasite stocks, establishes the general validity of linking efficiency of xenodiagnosis to the biotope of its agent. For example, infectivity rates produced by "São Felipe" stock varied from 82.5% to 98.3% in sylvatic vectors but decreased to 42.5% to 71.3% in domestic species. "Colombiana" stock produced in the same sylvatic vectors infectivity rates ranging from 12.5% to 45%. These shrank to 5%-22.5% in domestic bugs. The functional role of the biotope in the vector-parasite interaction has not been eluddated. But since this phenomenon has been observed to be stable and easy to reproduce, it leads us to believe that the results obtained are valid. Data presented also provide increasing evidence that the infectivity rates exhibited by bugs from xenodiagnosis in chronic hosts, are parasite stock specific. For example, infectivity rates produced by "Berenice", "Y", "FL" and "CL" varied in R. neglectus from 26.3% to 75%; in P. megistus from 56.3% to 83.8%; in T. sordida from 28.8% to 58.8% in T. pseudomaculata from 41.3% to 66.3% and in T. rubrovaria from 48.8% to 85%. Data from xenodiagnosis in the same hosts, carrying acute infections by the same parasite stocks, gave the five sylvatic vectors a positive rating of approximately 100%, thus suggesting that the heavy loads of parasites circulating in the acute hosts obscured the characteristic interspecific differences for the parasite stock. Nonetheless these latter were revealed in the same hosts with chronic infections stimulated by very low numbers of the same parasite stocks. Certain observations here described lead us to speculate as to the possibility of further results from other parasite stocks, allowing the association of the infectivity rates produced in bugs by different parasite stocks with the isoenzymic patterns revealed by these stocks.