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

Climate change and mountain water resources: overview and recommendations for research, management and policy

Mountains are essential sources of freshwater for our world, but their role in global water resources could well be significantly altered by climate change. How well do we understand these potential changes today, and what are implications for water resources management, climate change adaptation, and evolving water policy? To answer above questions, we have examined 11 case study regions with the goal of providing a global overview, identifying research gaps and formulating recommendations for research, management and policy. <br><br> After setting the scene regarding water stress, water management capacity and scientific capacity in our case study regions, we examine the state of knowledge in water resources from a highland-lowland viewpoint, focusing on mountain areas on the one hand and the adjacent lowland areas on the other hand. Based on this review, research priorities are identified, including precipitation, snow water equivalent, soil parameters, evapotranspiration and sublimation, groundwater as well as enhanced warming and feedback mechanisms. In addition, the importance of environmental monitoring at high altitudes is highlighted. We then make recommendations how advancements in the management of mountain water resources under climate change could be achieved in the fields of research, water resources management and policy as well as through better interaction between these fields. <br><br> We conclude that effective management of mountain water resources urgently requires more detailed regional studies and more reliable scenario projections, and that research on mountain water resources must become more integrative by linking relevant disciplines. In addition, the knowledge exchange between managers and researchers must be improved and oriented towards long-term continuous interaction

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Model-based mutation testing uses altered test models to derive test cases that are able to reveal whether a modelled fault has been implemented. This requires conformance checking between the original and the mutated model. This paper presents an approach for symbolic conformance checking of action systems, which are well-suited to specify reactive systems. We also consider nondeterminism in our models. Hence, we do not check for equivalence, but for refinement. We encode the transition relation as well as the conformance relation as a constraint satisfaction problem and use a constraint solver in our reachability and refinement checking algorithms. Explicit conformance checking techniques often face state space explosion. First experimental evaluations show that our approach has potential to outperform explicit conformance checkers.Comment: In Proceedings MBT 2012, arXiv:1202.582

Generalized Toric Codes Coupled to Thermal Baths

We have studied the dynamics of a generalized toric code based on qudits at finite temperature by finding the master equation coupling the code's degrees of freedom to a thermal bath. As a consequence, we find that for qutrits new types of anyons and thermal processes appear that are forbidden for qubits. These include creation, annihilation and diffusion throughout the system code. It is possible to solve the master equation in a short-time regime and find expressions for the decay rates as a function of the dimension $d$ of the qudits. Although we provide an explicit proof that the system relax to the Gibbs state for arbitrary qudits, we also prove that above a certain crossing temperature, qutrits initial decay rate is smaller than the original case for qubits. Surprisingly this behavior only happens with qutrits and not with other qudits with $d>3$.Comment: Revtex4 file, color figures. New Journal of Physics' versio

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