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.

Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Evaluation of uranium incorporation from contaminated areas using teeth as bioindicators - a case study

The Southwest region of the Bahia state in Brazil hosts the largest uranium reserve of the country (100 kton in uranium, only), plus the cities of Caetite, Lagoa Real and Igapora. In this work, aim was at the investigation of uranium burdens on residents of these cities by using teeth as bioindicators, as a contribution for possible radiation protection measures. Thus, a total of 41 human teeth were collected, plus 50 from an allegedly uranium free area (the control region). Concentrations of uranium in teeth from residents of 5- to 87-y old were determined by means of a high-resolution inductively coupled plasma mass spectrometer (ICP-MS). The highest uranium concentration in teeth was measured from samples belonging to residents of Caetite (median equal to 16 ppb). Assuming that the uranium concentrations in teeth and bones are similar within 10-20% (for children and young adults), it concluded that uranium body levels in residents of Caetite are at least one order of magnitude higher than the worldwide average. This finding led to conclude that daily ingestion of uranium, from food and water, is equally high.

Household survey of hepatitis B vaccine coverage among Brazilian children

We conducted a multi-stage household cluster survey to calculate hepatitis B vaccine coverage among children 18-30 months of age in 27 Brazilian cities. Hepatitis B vaccine is administered at birth, 1 month and 6 months of age by Brazil`s national immunization program. Among 17,749 children surveyed, 40.2% received a birth dose within one day of birth, 94.8% received at least one dose of hepatitis B vaccine, and 86.7% completed the three-dose series by 12 months of age. Increased coverage with the birth dose and administration of hepatitis B in combination with diphtheria-tetanus-pertussis-Haemophilus influenzae type b antigens could improve protection against hepatitis B. (C) 2009 Elsevier Ltd. All rights reserved.

Determination of anthropogenic and biogenic compounds on atmospheric aerosol collected in urban, biomass burning and forest areas in Sao Paulo, Brazil

This study was conducted at three sites of different characteristics in Sao Paulo State Sao Paulo (SPA), Piracicaba (PRB) and Mate Atlantica Forest (MAT) PM(10), n-alkanes. pristane and phytane, PAHs, water-soluble ions and biomass burning tracers like levoglucosan and retene, were determined in quartz fiber filters. Samplings occurred on May 8th to August 8th, 2007 at the MAT site; on August 15th to 29th in 2007 and November 10th to 29th in 2008 at the PRB site and, March 13th to April 4th in 2007 and August 7th to 29th in 2008 at the SPA site Aliphatic compounds emitted biogenically were less abundant at the urban sites than at the forest site, and its distribution showed the influence of tropical vascular plants Air mass transport front biomass burning regions is likely to impact the sites with specific molecular markers The concentrations of all species were variable and dependent of seasonal changes In the most dry and polluted seasons, n-alkane and canon total concentrations were similar between the megacity and the biomass burning site PAHs and inorganic ion abundances were higher at Sao Paulo than Piracicaba, yet, the site influenced by biomass burning seems lobe the most impacted by the organic anion abundance in the atmosphere Pristane and phytane confirm the contamination by petroleum residues at urban sites, at the MAT site, biological activity and long range transport of pollutants might influence the levels of pristane (C) 2010 Elsevier B V All rights reserved

Differential Acetyl Cholinesterase Inhibition by Volatile Oils from two Specimens of Marlierea racemosa (Myrtaceae) Collected from Different Areas of the Atlantic Rain Forest

The volatile oil composition and anti-acetyl cholinesterase activity were analyzed in two specimens of Marlierea racemosa growing in different areas of the Atlantic Rain Forest (Cananeia and Caraguatatuba, SP, Brazil). Component identifications were performed by GUMS and their acetyl cholinesterase inhibitory activity was measured through colorimetric analysis. The major constituent in both specimens was spathulenol (25.1 % in Cananeia and 31.9% in Caraguatatuba). However, the first one also presented monoterpenes (41.2%), while in the Carguatatuba plants, this class was not detected. The oils from the plants collected in Cananeia were able to inhibit the acetyl cholinesterase activity by LIP to 75%, but for oils from the other locality the maximal inhibition achieved was 35%. These results suggested that the monoterpenes are more effective in the inhibition of acetyl cholinesterase activity than sesquiterpenes as these compounds are present in higher amounts in the M. racemosa plants collected in Cananeia.

Nasal immunization of mice with Lactobacillus casei expressing the Pneumococcal Surface Protein A: induction of antibodies, complement deposition and partial protection against Streptococcus pneumoniae challenge

Strategies for the development of new vaccines against Streptococcus pneumoniae infections try to overcome problems such as serotype coverage and high costs, present in currently available vaccines. Formulations based on protein candidates that can induce protection in animal models have been pointed as good alternatives. Among them, the Pneumococcal Surface Protein A (PspA) plays an important role during systemic infection at least in part through the inhibition of complement deposition on the pneumococcal surface, a mechanism of evasion from the immune system. Antigen delivery systems based on live recombinant lactic acid bacteria (LAB) represents a promising strategy for mucosal vaccination, since they are generally regarded as safe bacteria able to elicit both systemic and mucosal immune responses. In this work, the N-terminal region of clade I PspA was constitutively expressed in Lactobacillus casei and the recombinant bacteria was tested as a mucosal vaccine in mice. Nasal immunization with L. casei-PspA 1 induced anti-PspA antibodies that were able to bind to pneumococcal strains carrying both clade 1 and clade 2 PspAs and to induce complement deposition on the surface of the bacteria. In addition, an increase in survival of immunized mice after a systemic challenge with a virulent pneumococcal strain was observed. (C) 2008 Elsevier Masson SAS. All rights reserved.

Evidence for diffusional coupling in electrochemical thin layers: implications for surface coverage calibration via electrochemical infrared spectroscopy

The time dependence of the concentration of CO2 in an electrochemical thin layer cavity is studied with Fourier transform infrared spectroscopy (FTIR) in order to evaluate the extent to which the thin layer cavity is diffusionally decoupled from the surrounding bulk electrolyte. For the model system of CO on Pt(111) in 0.1 M HClO4, it is found that the concentration of CO2, formed by electro-oxidation of CO, equilibrates rapidly with the surrounding bulk electrolyte. This rapid equilibration indicates that there is diffusion out of the thin layer, even on the short time scales of typical infrared experiments (1-3 min). However, since the measured CO2 absorbance intensity as a function of time is reproducible to within 10%, a new time-dependent method for surface coverage calibration using solution-phase species is proposed.

On the apparent lack of preferential site occupancy and electrooxidation of CO adsorbed at low coverage onto stepped platinum surfaces

We report time evolution studies of low coverage CO adsorption (surface hydrogen site blocking < 40%) and oxidative stripping on stepped Pt(776) and Pt(554) surfaces. It was observed that there is no preferential site occupancy for CO adsorption on step or terrace. It is proposed that CO adsorption onto these surfaces is a random process, and after CO adsorption there is no appreciable shift from CO-(111) to CO-(110) sites. This implies that after adsorption, CO molecules either have a very long residence time, or that the diffusion coefficient is much lower than previously thought. After CO electrooxidation the sites released included both terrace (111) and step (110) orientations. For surface hydrogen site blocking > 40%, the lateral interactions might play a role in the preferential CO site occupancy. (C) 2011 Elsevier B.V. All rights reserved.