Synthesizing Racy Tests

Subtle concurrency errors in multithreaded libraries that arise because of incorrect or inadequate synchronization are often difficult to pinpoint precisely using only static techniques. On the other hand, the effectiveness of dynamic race detectors is critically dependent on multithreaded test suites whose execution can be used to identify and trigger races. Usually, such multithreaded tests need to invoke a specific combination of methods with objects involved in the invocations being shared appropriately to expose a race. Without a priori knowledge of the race, construction of such tests can be challenging. In this paper, we present a lightweight and scalable technique for synthesizing precisely these kinds of tests. Given a multithreaded library and a sequential test suite, we describe a fully automated analysis that examines sequential execution traces, and produces as its output a concurrent client program that drives shared objects via library method calls to states conducive for triggering a race. Experimental results on a variety of well-tested Java libraries yield 101 synthesized multithreaded tests in less than four minutes. Analyzing the execution of these tests using an off-the-shelf race detector reveals 187 harmful races, including several previously unreported ones.

Multi-dimensional Goodness-of-Fit Tests for Spectrum Sensing Based on Stochastic Distances

In this paper, we study two multi-dimensional Goodness-of-Fit tests for spectrum sensing in cognitive radios. The multi-dimensional scenario refers to multiple CR nodes, each with multiple antennas, that record multiple observations from multiple primary users for spectrum sensing. These tests, viz., the Interpoint Distance (ID) based test and the h, f distance based tests are constructed based on the properties of stochastic distances. The ID test is studied in detail for a single CR node case, and a possible extension to handle multiple nodes is discussed. On the other hand, the h, f test is applicable in a multi-node setup. A robustness feature of the KL distance based test is discussed, which has connections with Middleton's class A model. Through Monte-Carlo simulations, the proposed tests are shown to outperform the existing techniques such as the eigenvalue ratio based test, John's test, and the sphericity test, in several scenarios.

Bulk Randall-Sundrum models, electroweak precision tests, and the 125 GeV Higgs

We present up-to-date electroweak fits of various Randall-Sundrum (RS) models. We consider the bulk RS, deformed RS, and the custodial RS models. For the bulk RS case we find the lightest Kaluza-Klein (KK) mode of the gauge boson to be similar to 8 TeV, while for the custodial case it is similar to 3 TeV. The deformed model is the least fine-tuned of all which can give a good fit for KK masses < 2 TeV depending on the choice of the model parameters. We also comment on the fine-tuning in each case.

Assessing the road-damaging potential of heavy vehicles

The relative influence of various heavy vehicle design features on road-damaging potential is discussed. Testing procedures that could be used to measure the road-damaging potential of heavy vehicles are examined. A validated vehicle simulation is used to examine some of the characteristics of dynamic tyre forces generated by typical leaf sprung and air sprung articulated heavy vehicles for typical highway conditions. The proposed EC suspension test is simulated and the results compared with dynamic tyre forces generated under highway conditions. It is concluded that the road-damaging potential of a vehicle cannot be assessed by the simplistic parametric measurement of the proposed EC test. It is questionable whether a vehicle that passes the test will be any more 'road friendly' than one that fails.

Fracture Mechanisms And Size Effects Of Brittle Metallic Foams: In Situ Compression Tests Inside Sem

In situ compressive tests on specially designed small samples made from brittle metallic foams were accomplished in a loading device equipped in the scanning electron microscopy (SEM). Each of the small samples comprises only several cells in the effective test zone (ETZ), with one major cell in the middle. In such a system one can not only obtain sequential collapse-process images of a single cell and its cell walls with high resolution, but also correlate the detailed failure behaviour of the cell walls with the stress-strain response, therefore reveal the mechanisms of energy absorption in the mesoscopic scale. Meanwhile, the stress-strain behaviour is quite different from that of bulk foams in dimensions of enough large, indicating a strong size effect. According to the in situ observations, four failure modes in the cell-wall level were summarized, and these modes account for the mesoscopic mechanisms of energy absorption. Paralleled compression tests on bulk samples were also carried out, and it is found that both fracturing of a single cell and developing of fracture bands are defect-directed or weakness-directed processes. The mechanical properties of the brittle aluminum foams obtained from the present tests agree well with the size effect model for ductile cellular solids proposed by Onck et al. (C) 2008 Elsevier Ltd. All rights reserved.

Tensile Tests Of Micro Anchors Anodically Bonded Between Pyrex Glass And Aluminum Thin Film Coated On Silicon Wafer

Micro anchor is a kind of typical structures in micro/nano electromechanical systems (MEMS/NEMS), and it can be made by anodic bonding process, with thin films of metal or alloy as an intermediate layer. At the relative low temperature and voltage, specimens with actually sized micro anchor structures were anodically bonded using Pyrex 7740 glass and patterned crystalline silicon chips coated with aluminum thin film with a thickness comprised between 50 nm and 230 nm. To evaluate the bonding quality, tensile pulling tests have been finished with newly designed flexible fixtures for these specimens. The experimental results exhibit that the bonding tensile strength increases with the bonding temperature and voltage, but it decreases with the increase of the thickness of Al intermediate layer. This kind of thickness effect of the intermediate layer was not mentioned in the literature on anodic bonding. (C) 2008 Elsevier Ltd. All rights reserved.