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.

New TTCN interfaces for WCDMA base station testing

WCDMA tukiasema (Node B) on osa UMTS-järjestelmän radioverkkoa. Node B on tärkeä verkkoelementti, jonka tarkoituksena on yhdistää mobiilikäyttäjät verkkoon. Telecom –ohjelmisto (TCOM SW) on vastuussa suuresta osasta Node B:n toiminnallisuutta. TCOM SW:n testaukseen käytetään paljon resursseja, jotta ohjelmiston oikeasta toiminnasta ja laadusta voidaan varmistua. System component testing on testausvaihe, jossa järjestelmän (Node B) osa (system component, tässä diplomityössä TCOM SW) testataan ennen sen integroimista muuhun järjestelmään. Tähän tarvitaan testityökalu ja testitapausten toteutus. Node B TTCN Tester (testeri) on työkalu, jota käytetään Node B:n ohjelmiston testauksessa. Testitapaukset toteutetaan TTCN-testinotaatiota käyttäen ja testataan testerin avulla. TCOM SW:n system component –testausvaihetta varten testeriin lisättiin uudet rajapinnat, joiden avulla voidaan simuloita Node B:n ATM-ohjelmistoa sekä WPA- ja WTR-yksiköitä. Tässä diplomityössä toteuttiin TTCN testitapaukset uusille rajapinnoille. Testitapaukset tekivät TCOM SW system component –testausvaiheen riippumattomaksi Node B:n ATM-ohjelmistosta sekä WPA- ja WTR-yksiköistä. Lisäksi TCOM SW:n toiminnan testaus näissä rajapinnoissa voidaan tästä lähtien tehdä automaattisesti. Testitapauksien toiminta varmistettiin testeriä käyttäen. Tulokset olivat hyviä, uudet testitapaukset ja TTCN rajapinnat toimivat oikein lisäten testauksen tehokkuutta.

Six-Day System Test and Component test and System Simulation for Combitanks with Internal heat Exchangers

An international standard, ISO/DP 9459-4 has been proposed to establish a uniform standard of quality for small, factory-made solar heating systerns. In this proposal, system components are tested separatelyand total system performance is calculated using system simulations based on component model parameter values validated using the results from the component tests. Another approach is to test the whole system in operation under representative conditions, where the results can be used as a measure of the general system performance. The advantage of system testing of this form is that it is not dependent on simulations and the possible inaccuracies of the models. Its disadvantage is that it is restricted to the boundary conditions for the test. Component testing and system simulation is flexible, but requires an accurate and reliable simulation model.The heat store is a key component conceming system performance. Thus, this work focuses on the storage system consisting store, electrical auxiliary heater, heat exchangers and tempering valve. Four different storage system configurations with a volume of 750 litre were tested in an indoor system test using a six -day test sequence. A store component test and system simulation was carried out on one of the four configurations, applying the proposed standard for stores, ISO/DP 9459-4A. Three newly developed test sequences for intemalload side heat exchangers, not in the proposed ISO standard, were also carried out. The MULTIPORT store model was used for this work. This paper discusses the results of the indoor system test, the store component test, the validation of the store model parameter values and the system simulations.

Aerodynamic load characteristics evaluation and tri-axial performance testing on fiber reinforced polymer connections and metal fasteners to promote hurricane damage mitigation

Damages during extreme wind events highlight the weaknesses of mechanical fasteners at the roof-to-wall connections in residential timber frame buildings. The allowable capacity of the metal fasteners is based on results of unidirectional component testing that do not simulate realistic tri-axial aerodynamic loading effects. The first objective of this research was to simulate hurricane effects and study hurricane-structure interaction at full-scale, facilitating better understanding of the combined impacts of wind, rain, and debris on inter-component connections at spatial and temporal scales. The second objective was to evaluate the performance of a non-intrusive roof-to-wall connection system using fiber reinforced polymer (FRP) materials and compare its load capacity to the capacity of an existing metal fastener under simulated aerodynamic loads. ^ The Wall of Wind (WoW) testing performed using FRP connections on a one-story gable-roof timber structure instrumented with a variety of sensors, was used to create a database on aerodynamic and aero-hydrodynamic loading on roof-to-wall connections tested under several parameters: angles of attack, wind-turbulence content, internal pressure conditions, with and without effects of rain. Based on the aerodynamic loading results obtained from WoW tests, sets of three force components (tri-axial mean loads) were combined into a series of resultant mean forces, which were used to test the FRP and metal connections in the structures laboratory up to failure. A new component testing system and test protocol were developed for testing fasteners under simulated triaxial loading as opposed to uni-axial loading. The tri-axial and uni-axial test results were compared for hurricane clips. Also, comparison was made between tri-axial load capacity of FRP and metal connections. ^ The research findings demonstrate that the FRP connection is a viable option for use in timber roof-to-wall connection system. Findings also confirm that current testing methods of mechanical fasteners tend to overestimate the actual load capacities of a connector. Additionally, the research also contributes to the development a new testing protocol for fasteners using tri-axial simultaneous loads based on the aerodynamic database obtained from the WoW testing. ^

Aerodynamic Load Characteristics Evaluation and Tri-Axial Performance Testing on Fiber Reinforced Polymer Connections and Metal Fasteners to Promote Hurricane Damage Mitigation

Damages during extreme wind events highlight the weaknesses of mechanical fasteners at the roof-to-wall connections in residential timber frame buildings. The allowable capacity of the metal fasteners is based on results of unidirectional component testing that do not simulate realistic tri-axial aerodynamic loading effects. The first objective of this research was to simulate hurricane effects and study hurricane-structure interaction at full-scale, facilitating better understanding of the combined impacts of wind, rain, and debris on inter-component connections at spatial and temporal scales. The second objective was to evaluate the performance of a non-intrusive roof-to-wall connection system using fiber reinforced polymer (FRP) materials and compare its load capacity to the capacity of an existing metal fastener under simulated aerodynamic loads. The Wall of Wind (WoW) testing performed using FRP connections on a one-story gable-roof timber structure instrumented with a variety of sensors, was used to create a database on aerodynamic and aero-hydrodynamic loading on roof-to-wall connections tested under several parameters: angles of attack, wind-turbulence content, internal pressure conditions, with and without effects of rain. Based on the aerodynamic loading results obtained from WoW tests, sets of three force components (tri-axial mean loads) were combined into a series of resultant mean forces, which were used to test the FRP and metal connections in the structures laboratory up to failure. A new component testing system and test protocol were developed for testing fasteners under simulated tri-axial loading as opposed to uni-axial loading. The tri-axial and uni-axial test results were compared for hurricane clips. Also, comparison was made between tri-axial load capacity of FRP and metal connections. The research findings demonstrate that the FRP connection is a viable option for use in timber roof-to-wall connection system. Findings also confirm that current testing methods of mechanical fasteners tend to overestimate the actual load capacities of a connector. Additionally, the research also contributes to the development a new testing protocol for fasteners using tri-axial simultaneous loads based on the aerodynamic database obtained from the WoW testing.

Attachment of Combination Rails to Concrete Parapets Utilizing Epoxy Adhesive Anchors, RPFP-IOWA-1, 2015

The Iowa Department of Transportation (IaDOT) was interested in investigating the use of epoxy adhesive anchorages for the attachment of posts used in the BR27C combination bridge rail system. Alternative anchorage concepts were developed using a modified version of the ACI 318-11 procedures for embedded anchor design. Four design concepts were developed for review by IaDOT, including: (1) a four-bolt square anchorage, (2) a four-bolt spread anchorage, (3) a twobolt centered anchorage, and (4) a two-bolt offset anchorage. IaDOT representatives selected the four-bolt spread anchorage and the two-bolt offset anchorage as the preferred designs for evaluation. In addition to these two proposed configurations, IaDOT also requested that the researchers evaluate a third option that had been previously installed on the US-20 bridge near Hardin, IA. The proposed alternative anchorages and the original cast-in-place anchorage for the BR27C combination bridge rail were evaluated through dynamic component testing. The test of the original cast-in-place anchorage was used a baseline for comparison with the alternative designs. Test no. IBP-1 of the original cast-in-place anchorage developed a peak load of 22.9 kips (101.9 kN) at a deflection of 1.5 in. (38 mm). All three of the tested alternative anchorages provided greater load capacity than the original cast-in-place design and were deemed acceptable surrogates. Of the three alternative designs, the two-bolt offset design was deemed the best option.

Validation of evacuation models

Too often, validation of computer models is considered as a "once and forget" task. In this paper a systematic and graduated approach to evacuation model validation is suggested. This involves, (i) component testing, (ii) functional validation, (iii) qualitative validation and (iv) quantitative validation. Viewed in this manner, validation is considered an on-going activity and an integral part of the life cycle of the software. While the first three components of the validation protocol pose little or no significant problems, the task of quantitative validation poses a number of challenges, the most significant being a shortage of suitable experimental data. Finally, the validation protocol used in the development of the EXODUS suite of evacuation models is examined.

Design, modelling and analysis of a six component force balance for hypervelocity wind tunnel testing

A combination of modelling and analysis techniques was used to design a six component force balance. The balance was designed specifically for the measurement of impulsive aerodynamic forces and moments characteristic of hypervelocity shock tunnel testing using the stress wave force measurement technique. Aerodynamic modelling was used to estimate the magnitude and distribution of forces and finite element modelling to determine the mechanical response of proposed balance designs. Simulation of balance performance was based on aerodynamic loads and mechanical responses using convolution techniques. Deconvolution was then used to assess balance performance and to guide further design modifications leading to the final balance design. (C) 2001 Elsevier Science Ltd. All rights reserved.

Development and testing of INTRAS, a microscopic freeway simulation model. Volume 1: program design, parameter calibration and freeway dynamics component development. Final report.

Federal Highway Administration, Office of Research and Development, Washington, D.C.

Full-scale fire testing of seat component materials.

Mode of access: Internet.

What's in a broken promissory obligation? Developing and testing a multiple component form measure of psychological contract breach

While the literature has suggested the possibility of breach being composed of multiple facets, no previous study has investigated this possibility empirically. This study examined the factor structure of typical component forms in order to develop a multiple component form measure of breach. Two studies were conducted. In study 1 (N = 420) multi-item measures based on causal indicators representing promissory obligations were developed for the five potential component forms (delay, magnitude, type/form, inequity and reciprocal imbalance). Exploratory factor analysis showed that the five components loaded onto one higher order factor, namely psychological contract breach suggesting that breach is composed of different aspects rather than types of breach. Confirmatory factor analysis provided further evidence for the proposed model. In addition, the model achieved high construct reliability and showed good construct, convergent, discriminant and predictive validity. Study 2 data (N = 189), used to validate study 1 results, compared the multiple-component measure with an established multiple item measure of breach (rather than a single item as in study 1) and also tested for discriminant validity with an established multiple item measure of violation. Findings replicated those in study 1. The findings have important implications for considering alternative, more comprehensive and elaborate ways of assessing breach.

A model of specification-based testing of interactive systems

In this paper we present a model of specification-based testing of interactive systems. This model provides the basis for a framework to guide such testing. Interactive systems are traditionally decomposed into a functionality component and a user interface component; this distinction is termed dialogue separation and is the underlying basis for conceptual and architectural models of such systems. Correctness involves both proper behaviour of the user interface and proper computation by the underlying functionality. Specification-based testing is one method used to increase confidence in correctness, but it has had limited application to interactive system development to date.

Genetic polymorphism in an inflammasome component, cervical mycoplasma detection and female infertility in women undergoing in vitro fertilization

The inflammasome is an inducible cytoplasmic structure that is responsible for production and release of biologically active interleukin-1 (IL-1). A polymorphism in the inflammasome component NALP3 has been associated with decreased IL-1 levels and increased occurrence of vaginal Candida infection. We hypothesized that this polymorphism-induced variation would influence susceptibility to infertility. DNA was obtained from 243 women who were undergoing in vitro fertilization (IVF) and tested for a length polymorphism in intron 2 of the gene coding for NALP3 (gene symbol CIAS1). At the conclusion of testing the findings were analyzed in relation to clinical parameters and IVF outcome. The frequency of the 12 unit repeat allele, associated with maximal inflammasome activity, was 62.3% in cases of female infertility vs. 75.6% in cases where only the male partner had a detectable fertility problem (p = 0.0095). Conversely, the frequency of the 7 unit repeat allele was 28.9% in those with a female fertility problem, 17.0% in women with infertile males and 18.4% in idiopathic infertility (p = 0.0124). Among the women who were cervical culture-positive for mycoplasma the frequency of the 7 unit repeat was 53.7% as opposed to 19.5% in those negative for this infection (p < 0.0001). We conclude that the CIAS1 7 unit repeat polymorphism increases the likelihood of mycoplasma infection-associated female infertility. (C) 2009 Elsevier Ireland Ltd. All rights reserved.

Measurement of IgE antibodies to shrimp tropomyosin is superior to skin prick testing with commercial extract and measurement of IgE to shrimp for predicting clinically relevant allergic reactions after shrimp ingestion

Background: Shrimp is a frequent cause of food allergy. Tropomyosin is the major allergen in shrimp, and it shares homology to tropomyosins from other crustaceans, dust mites, cockroach, and parasites. Objective: The aim of this study was to determine the value of detection of IgE to shrimp tropomyosin in the diagnosis of shrimp allergy. Methods: We have studied 35 patients with asthma, rhinitis, or both who were sensitized to Dermatophagoides pteronyssinus. All subjects underwent skin prick testing in addition to double-blind, placebo-controlled food challenges (DBPCFC); oral open challenges; or both with shrimp. Measurements of IgE to shrimp and shrimp tropomyosin were carried out by means of CAP and chimeric ELISA, respectively. Results: Oral challenges confirmed the diagnosis of shrimp allergy in 7 patients. IgE measurement to shrimp tropomyosin was positive in 71.4% of the patients with shrimp allergy. Of the 28 patients without shrimp allergy, only 7.1% (2/28) had IgE to shrimp tropomyosin compared with 25% (7/28) who had IgE to shrimp and 35.7% (10/28) who had positive skin prick test responses to shrimp. Sensitivity was similar for all 3 methods (71.4%); in contrast, specificity of IgE to shrimp tropomyosin (92.8%) was greater than that of IgE to shrimp (75%) and skin prick testing (64.2%). With regard to diagnostic efficiency, measurement of IgE to shrimp tropomyosin was superior to measurement of IgE to shrimp and skin prick testing (88.5%, 74.2%, and 65.7%, respectively). Conclusion: Use of measurements of IgE to shrimp tropomyosin provided added value to the diagnosis of shrimp allergy. (J Allergy Clin Immunol 2010;125:872-8.)