Evaluating testing methods by delivered reliability

There are two main goals in testing software: (1) to achieve adequate quality (debug testing), where the objective is to probe the software for defects so that these can be removed, and (2) to assess existing quality (operational testing), where the objective is to gain confidence that the software is reliable. Debug methods tend to ignore random selection of test data from an operational profile, while for operational methods this selection is all-important. Debug methods are thought to be good at uncovering defects so that these can be repaired, but having done so they do not provide a technically defensible assessment of the reliability that results. On the other hand, operational methods provide accurate assessment, but may not be as useful for achieving reliability. This paper examines the relationship between the two testing goals, using a probabilistic analysis. We define simple models of programs and their testing, and try to answer the question of how to attain program reliability: is it better to test by probing for defects as in debug testing, or to assess reliability directly as in operational testing? Testing methods are compared in a model where program failures are detected and the software changed to eliminate them. The “better” method delivers higher reliability after all test failures have been eliminated. Special cases are exhibited in which each kind of testing is superior. An analysis of the distribution of the delivered reliability indicates that even simple models have unusual statistical properties, suggesting caution in interpreting theoretical comparisons

Persistent colonization with Tannerella forsythensis and loss of attachment in adolescents

Colonization with Tannerella forsythensis may characterize the conversion of periodontally healthy sites into diseased sites. This three-year study describes the prevalence of T forsythensis and its relationship to clinical loss of attachment (LOA) in a group of adolescents considered at risk of developing early chronic periodontitis. Adolescents with (LOA+) and without (LOA-) loss of attachment were examined at baseline and 1.5 and 3 yrs subsequently. On each occasion, attachment loss was measured on selected teeth, and the presence of T. forsythensis in their subgingival plaque samples was determined by PCR. T. forsythensis prevalence in LOA+ subjects at baseline (64%) increased to 82% and 86% on subsequent examinations. In contrast, prevalence of T. forsythensis in LOA- subjects was always significantly lower (25%, 36%, and 32%, respectively). The odds of loss of attachment were 8.16 times greater in subjects infected with T. forsythensis at each examination. These results suggest that T. forsythensis is strongly associated with loss of attachment in this adolescent population

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

Writing unit test code is labor-intensive, hence it is often not done as an integral part of programming. However, unit testing is a practical approach to increasing the correctness and quality of software; for example, the Extreme Programming approach relies on frequent unit testing. In this paper we present a new approach that makes writing unit tests easier. It uses a formal specification language\u27s runtime assertion checker to decide whether methods are working correctly, thus automating the writing of unit test oracles. These oracles can be easily combined with hand-written test data. Instead of writing testing code, the programmer writes formal specifications (e.g., pre- and postconditions). This makes the programmer\u27s task easier, because specifications are more concise and abstract than the equivalent test code, and hence more readable and maintainable. Furthermore, by using specifications in testing, specification errors are quickly discovered, so the specifications are more likely to provide useful documentation and inputs to other tools. We have implemented this idea using the Java Modeling Language (JML) and the JUnit testing framework, but the approach could be easily implemented with other combinations of formal specification languages and unit test tools

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

Writing unit test code is labor-intensive, hence it is often not done as an integral part of programming. However, unit testing is a practical approach to increasing the correctness and quality of software; for example, the Extreme Programming approach relies on frequent unit testing. In this paper we present a new approach that makes writing unit tests easier. It uses a formal specification language\u27s runtime assertion checker to decide whether methods are working correctly, thus automating the writing of unit test oracles. These oracles can be easily combined with hand-written test data. Instead of writing testing code, the programmer writes formal specifications (e.g., pre- and postconditions). This makes the programmer\u27s task easier, because specifications are more concise and abstract than the equivalent test code, and hence more readable and maintainable. Furthermore, by using specifications in testing, specification errors are quickly discovered, so the specifications are more likely to provide useful documentation and inputs to other tools. We have implemented this idea using the Java Modeling Language (JML) and the JUnit testing framework, but the approach could be easily implemented with other combinations of formal specification languages and unit test tools

Topological Color Codes and Two-Body Quantum Lattice Hamiltonians

Topological color codes are among the stabilizer codes with remarkable properties from quantum information perspective. In this paper we construct a four-valent lattice, the so called ruby lattice, governed by a 2-body Hamiltonian. In a particular regime of coupling constants, degenerate perturbation theory implies that the low energy spectrum of the model can be described by a many-body effective Hamiltonian, which encodes the color code as its ground state subspace. The gauge symmetry $\mathbf{Z}_{2}\times\mathbf{Z}_{2}$ of color code could already be realized by identifying three distinct plaquette operators on the lattice. Plaquettes are extended to closed strings or string-net structures. Non-contractible closed strings winding the space commute with Hamiltonian but not always with each other giving rise to exact topological degeneracy of the model. Connection to 2-colexes can be established at the non-perturbative level. The particular structure of the 2-body Hamiltonian provides a fruitful interpretation in terms of mapping to bosons coupled to effective spins. We show that high energy excitations of the model have fermionic statistics. They form three families of high energy excitations each of one color. Furthermore, we show that they belong to a particular family of topological charges. Also, we use Jordan-Wigner transformation in order to test the integrability of the model via introducing of Majorana fermions. The four-valent structure of the lattice prevents to reduce the fermionized Hamiltonian into a quadratic form due to interacting gauge fields. We also propose another construction for 2-body Hamiltonian based on the connection between color codes and cluster states. We discuss this latter approach along the construction based on the ruby lattice.Comment: 56 pages, 16 figures, published version

Report 8: Symptom progression of COVID-19

The COVID-19 epidemic was declared a Public Health Emergency of International Concern (PHEIC) by WHO on 30th January 2020 [1]. As of 8 March 2020, over 107,000 cases had been reported. Here, we use published and preprint studies of clinical characteristics of cases in mainland China as well as case studies of individuals from Hong Kong, Japan, Singapore and South Korea to examine the proportional occurrence of symptoms and the progression of symptoms through time. We find that in mainland China, where specific symptoms or disease presentation are reported, pneumonia is the most frequently mentioned, see figure 1. We found a more varied spectrum of severity in cases outside mainland China. In Hong Kong, Japan, Singapore and South Korea, fever was the most frequently reported symptom. In this latter group, presentation with pneumonia is not reported as frequently although it is more common in individuals over 60 years old. The average time from reported onset of first symptoms to the occurrence of specific symptoms or disease presentation, such as pneumonia or the use of mechanical ventilation, varied substantially. The average time to presentation with pneumonia is 5.88 days, and may be linked to testing at hospitalisation; fever is often reported at onset (where the mean time to develop fever is 0.77 days)

Road users rarely use explicit communication when interacting in today’s traffic: Implications for Automated Vehicles

To be successful, automated vehicles (AVs) need to be able to manoeuvre in mixed traffic in a way that will be accepted by road users, and maximises traffic safety and efficiency. A likely prerequisite for this success is for AVs to be able to communicate effectively with other road users in a complex traffic environment. The current study, conducted as part of the European project interACT, investigates the communication strategies used by drivers and pedestrians while crossing the road at six observed locations, across three European countries. In total, 701 road user interactions were observed and annotated, using an observation protocol developed for this purpose. The observation protocols identified 20 event categories, observed from the approaching vehicles/drivers and pedestrians. These included information about movement, looking behaviour, hand gestures, and signals used, as well as some demographic data. These observations illustrated that explicit communication techniques, such as honking, flashing headlights by drivers, or hand gestures by drivers and pedestrians, rarely occurred. This observation was consistent across sites. In addition, a follow-on questionnaire, administered to a sub-set of the observed pedestrians after crossing the road, found that when contemplating a crossing, pedestrians were more likely to use vehicle-based behaviour, rather than communication cues from the driver. Overall, the findings suggest that vehicle-based movement information such as yielding cues are more likely to be used by pedestrians while crossing the road, compared to explicit communication cues from drivers, although some cultural differences were observed. The implications of these findings are discussed with respect to design of suitable external interfaces and communication of intent by future automated vehicles

The road to tuberculosis treatment in rural Nepal: A qualitative assessment of 26 journeys

BACKGROUND: The fact that tuberculosis can be treated with the DOTS strategy (Directly Observed Treatment, Short-course) is not enough to control the disease. Patients have to find their way to tuberculosis treatment first. To better understand the route to tuberculosis treatment in rural Nepal we interviewed twenty-six patients under treatment. METHODS: In semi-structured interviews patients shared their disease history and health seeking behaviour. The analysis focused on the encounters with the health care system before enrolment in the tuberculosis treatment program. RESULTS: Patient routes often started in the medical shop and led via intricate routes with multiple providers to facilities with higher qualified and more competent staff where tuberculosis was diagnosed. Several factors influenced the route to tuberculosis treatment. Besides known patients factors (such as severity of complaints, the ability to pay for services, availability of services and peer support for choosing a provider) specific health services factors were also identified. These included the perceived quality, costs and service level of a provider, and lack of provider initiated referral. Self referral because of waned trust in the provider was very common. In contrast, once tuberculosis was considered a possible diagnosis, referral to diagnostic testing and tuberculosis treatment was prompt. CONCLUSION: Patient routes towards tuberculosis treatment are characterised by self referral and include both private and public health care providers. Once tuberculosis is suspected referral for diagnosis and treatment is prompt. Given the importance of the private practitioners in the patient routes, quality improvement initiatives need to address not only the public sector but the private health care sector as well

Report 12: The global impact of COVID-19 and strategies for mitigation and suppression

The world faces a severe and acute public health emergency due to the ongoing COVID-19 global pandemic. How individual countries respond in the coming weeks will be critical in influencing the trajectory of national epidemics. Here we combine data on age-specific contact patterns and COVID-19 severity to project the health impact of the pandemic in 202 countries. We compare predicted mortality impacts in the absence of interventions or spontaneous social distancing with what might be achieved with policies aimed at mitigating or suppressing transmission. Our estimates of mortality and healthcare demand are based on data from China and high-income countries; differences in underlying health conditions and healthcare system capacity will likely result in different patterns in low income settings. We estimate that in the absence of interventions, COVID-19 would have resulted in 7.0 billion infections and 40 million deaths globally this year. Mitigation strategies focussing on shielding the elderly (60% reduction in social contacts) and slowing but not interrupting transmission (40% reduction in social contacts for wider population) could reduce this burden by half, saving 20 million lives, but we predict that even in this scenario, health systems in all countries will be quickly overwhelmed. This effect is likely to be most severe in lower income settings where capacity is lowest: our mitigated scenarios lead to peak demand for critical care beds in a typical low-income setting outstripping supply by a factor of 25, in contrast to a typical high-income setting where this factor is 7. As a result, we anticipate that the true burden in low income settings pursuing mitigation strategies could be substantially higher than reflected in these estimates. Our analysis therefore suggests that healthcare demand can only be kept within manageable levels through the rapid adoption of public health measures (including testing and isolation of cases and wider social distancing measures) to suppress transmission, similar to those being adopted in many countries at the current time. If a suppression strategy is implemented early (at 0.2 deaths per 100,000 population per week) and sustained, then 38.7 million lives could be saved whilst if it is initiated when death numbers are higher (1.6 deaths per 100,000 population per week) then 30.7 million lives could be saved. Delays in implementing strategies to suppress transmission will lead to worse outcomes and fewer lives saved. We do not consider the wider social and economic costs of suppression, which will be high and may be disproportionately so in lower income settings. Moreover, suppression strategies will need to be maintained in some manner until vaccines or effective treatments become available to avoid the risk of later epidemics. Our analysis highlights the challenging decisions faced by all governments in the coming weeks and months, but demonstrates the extent to which rapid, decisive and collective action now could save millions of lives