A pointcut-based coverage analysis approach for aspect-oriented programs

Aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Del-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach. (C) 2010 Elsevier Inc. All rights reserved.

Failure assessments of corroded pipelines with axial defects using stress-based criteria: Numerical studies and verification analyses

Conventional procedures used to assess the integrity of corroded piping systems with axial defects generally employ simplified failure criteria based upon a plastic collapse failure mechanism incorporating the tensile properties of the pipe material. These methods establish acceptance criteria for defects based on limited experimental data for low strength structural steels which do not necessarily address specific requirements for the high grade steels currently used. For these cases, failure assessments may be overly conservative or provide significant scatter in their predictions, which lead to unnecessary repair or replacement of in-service pipelines. Motivated by these observations, this study examines the applicability of a stress-based criterion based upon plastic instability analysis to predict the failure pressure of corroded pipelines with axial defects. A central focus is to gain additional insight into effects of defect geometry and material properties on the attainment of a local limit load to support the development of stress-based burst strength criteria. The work provides an extensive body of results which lend further support to adopt failure criteria for corroded pipelines based upon ligament instability analyses. A verification study conducted on burst testing of large-diameter pipe specimens with different defect length shows the effectiveness of a stress-based criterion using local ligament instability in burst pressure predictions, even though the adopted burst criterion exhibits a potential dependence on defect geometry and possibly on material`s strain hardening capacity. Overall, the results presented here suggests that use of stress-based criteria based upon plastic instability analysis of the defect ligament is a valid engineering tool for integrity assessments of pipelines with axial corroded defects. (C) 2008 Elsevier Ltd. All rights reserved.

Hypotheses testing for structural calibration model

The main objective of this paper is to discuss maximum likelihood inference for the comparative structural calibration model (Barnett, in Biometrics 25:129-142, 1969), which is frequently used in the problem of assessing the relative calibrations and relative accuracies of a set of p instruments, each designed to measure the same characteristic on a common group of n experimental units. We consider asymptotic tests to answer the outlined questions. The methodology is applied to a real data set and a small simulation study is presented.

Array-CGH testing in spontaneous abortions with normal karyotypes

In about 50% of first trimester spontaneous abortion the cause remains undetermined after standard cytogenetic investigation. We evaluated the usefulness of array-CGH in diagnosing chromosome abnormalities in products of conception from first trimester spontaneous abortions. Cell culture was carried out in short- and long-term cultures of 54 specimens and cytogenetic analysis was successful in 49 of them. Cytogenetic abnormalities (numerical and structural) were detected in 22 (44.89%) specimens. Subsequent, array-CGH based on large insert clones spaced at ~1 Mb intervals over the whole genome was used in 17 cases with normal G-banding karyotype. This revealed chromosome aneuplodies in three additional cases, giving a final total of 51% cases in which an abnormal karyotype was detected. In keeping with other recently published works, this study shows that array-CGH detects abnormalities in a further ~10% of spontaneous abortion specimens considered to be normal using standard cytogenetic methods. As such, array-CGH technique may present a suitable complementary test to cytogenetic analysis in cases with a normal karyotype.

Testing motor fitness in karate

Background and Study Aim: Evaluation of sport skills test can be very useful tool for coach practice. The aim of the present paper was: (a) to evaluate the reliability and accuracy of the Specific Physical Fitness Tests (SPFT) (b) to review the results of karate athletes who represent different weight categories, and who are at different stages of schooling; (c) to establish grading criteria of physical fitness preparation. Material/Methods: The reseach was conducted among 219 Kyokushin karate players, whose profiles were presented as (chi) over bar +/- SD and their main characteristics were the following: age 26.8 +/- 4.67 (19-39) years, body mass 75.2 +/- 8.35 (50-97) kg and body height 176.4 +/- 5.67 (160-196) cm. The value of the BMI amounted to 24.1 +/- 2.17 (17.9-29.4) kg/m(2). All the subjects of the research had training experience of 10.5 +/- 3.71 (4-20) years and their degree of proficiency ranged from 4(th) kyu to 3(rd) dan. The physical fitness trials proposed by Story (1989) included: hip turning speed, speed punches, flexibility, rapid kicks, agility, and evasion actions. It was supplemented by a test of local strength endurance, composing a battery of the SPFT, which was implemented by first of the authors between 1991 and 2006. Results: SPFT is characterized by high reliability and it can be used to diagnose the physical fitness preparation and monitor the individual results of training. It discriminates accurately competitors with different sports level and it is characterized by very high accuracy, it is correlated with the test results of motor general physical fitness abilities and coordination abilities as well as it is connected with the somatic build of the athlete. The performance classification table was developed on the basis of our research. Discussion: Results obtained in SPFT were shortly discussed. Conclusions: The collected results of our research allowed us to come to, the conclusion: The table can be applied not only to assess karate fighters, but also adepts in taekwondo, kick-boxing, ju-jitsu, hapkido or other mixed martial arts.

Selection of new glass-forming compositions in Al-La system using a combination of topological instability and thermodynamic criteria

A combination of an extension of the topological instability ""lambda criterion"" and a thermodynamic criterion were applied to the Al-La system, indicating the best range of compositions for glass formation. Alloy compositions in this range were prepared by melt-spinning and casting in an arc-melting furnace with a wedge-section copper mold. The GFA of these samples was evaluated by X-ray diffraction, differential scanning calorimetry and scanning electron microscopy. The results indicated that the gamma* parameter of compositions with high GFA is higher, corresponding to a range in which the lambda parameter is greater than 0.1, which are compositions far from Al solid solution. A new alloy was identified with the best GFA reported so far for this system, showing a maximum thickness of 286 mu m in a wedge-section copper mold. Crown Copyright (C) 2009 Published by Elsevier B.V. All rights reserved.

Trigeminal pain and quantitative sensory testing in painful peripheral diabetic neuropathy

Objective: To evaluate patients with Diabetes Mellitus type 2 and painful peripheral neuropathy in order to investigate oral complaints and facial somatosensory findings. Research design and methods: Case-control study; 29 patients (12 women, mean age 57.86 yo) with Diabetes Mellitus type 2 and 31 age-gender-matched controls were evaluated with a standardized protocol for general characteristics, orofacial pain, research diagnostic criteria for temporomandibular disorders, visual analogue scale and McGill Pain questionnaire, and a systematic protocol of quantitative sensory testing for bilateral facial sensitivity at the areas innervated by the trigeminal branches, which included the thermal detection by ThermoSensi 2, tactile evaluation with vonFrey filaments, and superficial pain thresholds with a superficial algometer (Micromar). Statistical analysis was performed with Wilcoxon, chi-square, confidence intervals and Spearman (p < 0.05). Results: Orofacial pain was reported by 55.2% of patients, and the most common descriptor was fatigue (50%); 17.2% had burning mouth. Myofascial temporomandibular disorders were diagnosed in 9(31%) patients. The study group showed higher sensory thresholds of pain at the right maxillary branch (p = 0.017) but sensorial differences were not associated with pain (p = 0.608). Glycemia and HbA(1c) were positively correlated with the quantitative sensory testing results of pain (p < 0.05) and cold (p = 0.044) perceptions. Higher pain thresholds were correlated with higher glycemia and glycated hemoglobin (p = 0.027 and p = 0.026). Conclusions: There was a high prevalence of orofacial pain and burning mouth was the most common complaint. The association of loss of pain sensation and higher glycemia and glycated hemoglobin can be of clinical use for the follow-up of DM complications. (C) 2010 Elsevier Ltd. All rights reserved.

Statistical analysis of proficiency testing results under elliptical distributions

The use of inter-laboratory test comparisons to determine the performance of individual laboratories for specific tests (or for calibration) [ISO/IEC Guide 43-1, 1997. Proficiency testing by interlaboratory comparisons - Part 1: Development and operation of proficiency testing schemes] is called Proficiency Testing (PT). In this paper we propose the use of the generalized likelihood ratio test to compare the performance of the group of laboratories for specific tests relative to the assigned value and illustrate the procedure considering an actual data from the PT program in the area of volume. The proposed test extends the test criteria in use allowing to test for the consistency of the group of laboratories. Moreover, the class of elliptical distributions are considered for the obtained measurements. (C) 2008 Elsevier B.V. All rights reserved.

Comparing finite state machine test coverage criteria

To plan testing activities, testers face the challenge of determining a strategy, including a test coverage criterion that offers an acceptable compromise between the available resources and test goals. Known theoretical properties of coverage criteria do not always help and, thus, empirical data are needed. The results of an experimental evaluation of several coverage criteria for finite state machines (FSMs) are presented, namely, state and transition coverage; initialisation fault and transition fault coverage. The first two criteria focus on FSM structure, whereas the other two on potential faults in FSM implementations. The authors elaborate a comparison approach that includes random generation of FSM, construction of an adequate test suite and test minimisation for each criterion to ensure that tests are obtained in a uniform way. The last step uses an improved greedy algorithm.

A modified signed likelihood ratio test in elliptical structural models

In this paper we deal with the issue of performing accurate testing inference on a scalar parameter of interest in structural errors-in-variables models. The error terms are allowed to follow a multivariate distribution in the class of the elliptical distributions, which has the multivariate normal distribution as special case. We derive a modified signed likelihood ratio statistic that follows a standard normal distribution with a high degree of accuracy. Our Monte Carlo results show that the modified test is much less size distorted than its unmodified counterpart. An application is presented.

Enzyme kinetics, structural analysis and molecular modeling studies on a series of Schistosoma mansoni PNP inhibitors

The enzyme purine nucleoside phosphorylase from Schistosoma mansoni (SmPNP) is an attractive molecular target for the development of novel drugs against schistosomiasis, a neglected tropical disease that affects about 200 million people worldwide. In the present work, enzyme kinetic studies were carried out in order to determine the potency and mechanism of inhibition of a series of SmPNP inhibitors. In addition to the biochemical investigations, crystallographic and molecular modeling studies revealed important molecular features for binding affinity towards the target enzyme, leading to the development of structure-activity relationships (SAR).

Structural and chemical basis for anticancer activity of a series of 'beta'-tubulin ligands: molecular modeling and 3D QSAR studies

An important approach to cancer therapy is the design of small molecule modulators that interfere with microtubule dynamics through their specific binding to the ²-subunit of tubulin. In the present work, comparative molecular field analysis (CoMFA) studies were conducted on a series of discodermolide analogs with antimitotic properties. Significant correlation coefficients were obtained (CoMFA(i), q² =0.68, r²=0.94; CoMFA(ii), q² = 0.63, r²= 0.91), indicating the good internal and external consistency of the models generated using two independent structural alignment strategies. The models were externally validated employing a test set, and the predicted values were in good agreement with the experimental results. The final QSAR models and the 3D contour maps provided important insights into the chemical and structural basis involved in the molecular recognition process of this family of discodermolide analogs, and should be useful for the design of new specific ²-tubulin modulators with potent anticancer activity.

Synthesis of novel O-acylated-D-ribono-1,5-lactones and structural assignment supported by conventional NOESY-NMR and x-ray analysis

A practical method for the structural assignment of 3,4-O-benzylidene-D-ribono-1,5-lactones and analogues using conventional NMR techniques and NOESY measurements in solution is described. 2-O-Acyl-3,4-O-benzylidene-D-ribono-1,5-lactones were prepared in good yields by acylation of Zinner’s lactone with acyl chlorides under mildly basic conditions. Structural determination of 2-O-(4-nitrobenzoyl)-3,4-O-benzylidene-D-ribono-1,5-lactone was achieved by single crystal x-ray diffraction, which supports the results based on spectroscopic data.

Structural properties of lipid reconstructs and lipid composition of normotensive and hypertensive rat vascular smooth muscle cell membranes

Multiple cell membrane alterations have been reported to be the cause of various forms of hypertension. The present study focuses on the lipid portion of the membranes, characterizing the microviscosity of membranes reconstituted with lipids extracted from the aorta and mesenteric arteries of spontaneously hypertensive (SHR) and normotensive control rat strains (WKY and NWR). Membrane-incorporated phospholipid spin labels were used to monitor the bilayer structure at different depths. The packing of lipids extracted from both aorta and mesenteric arteries of normotensive and hypertensive rats was similar. Lipid extract analysis showed similar phospholipid composition for all membranes. However, cholesterol content was lower in SHR arteries than in normotensive animal arteries. These findings contrast with the fact that the SHR aorta is hyporeactive while the SHR mesenteric artery is hyperreactive to vasopressor agents when compared to the vessels of normotensive animal strains. Hence, factors other than microviscosity of bulk lipids contribute to the vascular smooth muscle reactivity and hypertension of SHR. The excess cholesterol in the arteries of normotensive animal strains apparently is not dissolved in bulk lipids and is not directly related to vascular reactivity since it is present in both the aorta and mesenteric arteries. The lower cholesterol concentrations in SHR arteries may in fact result from metabolic differences due to the hypertensive state or to genes that co-segregate with those that determine hypertension during the process of strain selection.

Treadmill exercise testing of asymptomatic men and women without evidence of heart disease

The aim of this study was to test the hypothesis of differences in performance including differences in ST-T wave changes between healthy men and women submitted to an exercise stress test. Two hundred (45.4%) men and 241 (54.6%) women (mean age: 38.7 ± 11.0 years) were submitted to an exercise stress test. Physiologic and electrocardiographic variables were compared by the Student t-test and the chi-square test. To test the hypothesis of differences in ST-segment changes, data were ranked with functional models based on weighted least squares. To evaluate the influence of gender and age on the diagnosis of ST-segment abnormality, a logistic model was adjusted; P < 0.05 was considered to be significant. Rate-pressure product, duration of exercise and estimated functional capacity were higher in men (P < 0.05). Sixteen (6.7%) women and 9 (4.5%) men demonstrated ST-segment upslope ≥0.15 mV or downslope ≥0.10 mV; the difference was not statistically significant. Age increase of one year added 4% to the chance of upsloping of segment ST ≥0.15 mV or downsloping of segment ST ≥0.1 mV (P = 0.03; risk ratio = 1.040, 95% confidence interval (CI) = 1.002-1.080). Heart rate recovery was higher in women (P < 0.05). The chance of women showing an increase of systolic blood pressure ≤30 mmHg was 85% higher (P = 0.01; risk ratio = 1.85, 95%CI = 1.1-3.05). No significant difference in the frequency of ST-T wave changes was observed between men and women. Other differences may be related to different physical conditioning.