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 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.

Yellow fever vaccination coverage among children in Brazilian capitals

Brazil recommends universal yellow fever (YF) vaccination for children who reside in or travel to endemic areas. We conducted a household survey to calculate YF vaccine coverage among children 18-30 months of age in 27 capital cities. A total of 9285 children were surveyed in the 15 cities with YF fever universal vaccination; 7290(79%) had documented evidence of YF vaccination by 12 months of age, 7996 (86%) by 18 months of age, and 8479 (91%) prior to the survey. In 12 cities with selective YF vaccination coverage was only 1% by 18 months of age. YF fever vaccination can be improved to reach all children where vaccine is recommended. (C) 2010 Elsevier Ltd. All rights reserved.

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.

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.

More than Just the Final Straw: Stolen Elections as Revolutionary Triggers

Stolen elections are triggering events that overcome barriers to revolutionary action against electoral authoritarian regimes. They mobilize ordinary citizens, strengthen the opposition, and divide the regime. As neo-institutionalist theories of revolution suggest, the relative openness of electoral authoritarianism inhibits mass protest. But when elections are stolen, regimes undergo “closure,” increasing the probability of protest. The failure of other potential revolutionary precipitants underlines that stolen elections are not merely replaceable final straws. Stolen elections have not only been crucial for the emergence of revolutionary situations, they have shaped outcomes as well. Linking popular mobilization to fraudulent elections has become part of the repertoire of contention of democratic revolutionaries.

Media Coverage and Charitable Giving After the 2004 Tsunami

Media coverage of humanitarian crises is widely believed to influence charitable giving, yet this assertion has received little empirical scrutiny. Using Internet donations after the 2004 tsunami as a case study in a tobit framework, we show that media coverage of disasters increases charitable donations, with an additional minute of nightly news coverage increasing donations by 0.036 standard deviations from the mean. We repeat the analysis using instrumental variables in a tobit model to account for endogeneity, and the estimates are unchanged. We also show that the magnitude and sign of media impact vary by news source and relief agency.

LIGHT COVERAGE ON COLBY COLLEGE CAMPUS

http://digitalcommons.colby.edu/atlasofmaine2009/1030/thumbnail.jpg

Light Coverage on Colby College Campus

Outdoor lighting is an essential component for nighttime safety on college campuses. Outdoor lighting on Colby College campus is not uniform, leaving some areas with minimal light. The purpose of this project is to analytically evaluate if and where major walkways on Colby College have inadequate lighting. While we were unable to define inadequate lighting, we found that most paths on campus do appear to be well lit, while in general open spaces on campus have the lowest light levels.

Organização das comunidades infestantes de plantas daninhas na cultura da cana-de-açúcar em agrupamentos-padrão

O objetivo deste estudo foi avaliar a possibilidade de agrupar talhões de cana-de-açúcar colhida mecanicamente e sem queima prévia da palha na região de Ribeirão Preto-SP, de acordo com o potencial de infestação de plantas daninhas, por meio de análise de agrupamento por método hierárquico e outras técnicas de análise multivariada, utilizando como variável o índice de infestação relativa atribuído por avaliações visuais, em duas etapas. A primeira contemplou 20 talhões de cana-planta com ciclo de 18 meses; essas áreas foram utilizadas para comparação de dois métodos de estimativa da composição específica da flora daninha: análise fitossociológica e por meio da porcentagem visual de cobertura geral (CG) e específica (CE). A segunda etapa consistiu no levantamento da composição específica da comunidade de plantas daninhas em 189 talhões, em áreas de cana-soca colhidas durante a safra de 2008, incluindo nesses talhões apenas CG e CE. Com as informações sobre os levantamentos da comunidade infestante foi construído um banco de dados, posteriormente submetido a análises exploratórias por técnicas de estatística multivariada. Para as principais espécies dentro dos talhões, que foram DIGNU, ARACH, IPOHF, MRRCI e IPOQU, seguidas de CYPRO, ELEIN e EPHHS, foram verificados 75% de coincidências de resultados entre os dois métodos de avaliação. Também notou-se que as avaliações visuais de porcentagem de cobertura das espécies podem substituir, para fins de praticidade, agilidade e aplicabilidade, as avaliações fitossociológicas, uma vez que proporcionaram boa capacidade de detecção das principais plantas daninhas dentro de cada talhão. As técnicas de estatística multivariada demonstraram que os talhões podem ser agrupados de acordo com semelhanças na intensidade da infestação e na composição específica.