Measuring Coverage of Prolog Programs Using Mutation Testing

Testing is an important aspect in professional software development, both to avoid and identify bugs as well as to increase maintainability. However, increasing the number of tests beyond a reasonable amount hinders development progress. To decide on the completeness of a test suite, many approaches to assert test coverage have been suggested. Yet, frameworks for logic programs remain scarce. In this paper, we introduce a framework for Prolog programs measuring test coverage using mutations. We elaborate the main ideas of mutation testing and transfer them to logic programs. To do so, we discuss the usefulness of different mutations in the context of Prolog and empirically evaluate them in a new mutation testing framework on different examples.Comment: 16 pages, Accepted for presentation in WFLP 201

Analysis of hypothetical loss-of-control-arm accidents in HIFAR.

The reactor power transient produced in the HIFAR materials testing reactor upon severance of a central coarse control arm connecting rod and the subsequent pivoting of the arm out of the core has been calculated for a range of reactor conditions likely to be encountered in normal operation. It is concluded that as long as the remaining arms of the control arm bank can be relied on to suppress the post power peak oscillations in power the reactor will withstand the consequences of such an accident

Bio-inspired canopies for the reduction of roughness noise

This work takes inspiration from the structure of the down covering the flight feathers of larger species of owls, which contributes to their ability to fly almost silently at frequencies above 1.6 kHz. Microscope photographs of the down show that it consists of hairs that form a structure similar to that of a forest. The hairs initially rise almost perpendicular to the feather surface but then bend over in the flow direction to form a canopy with an open area ratio of about 70 percent. Experiments have been performed to examine the noise radiated by a large open area ratio canopy suspended above a surface. The canopy is found to dramatically reduce pressure fluctuations on the underlying surface. While the canopy can produce its own sound, particularly at high frequencies, the reduction in surface pressure fluctuations can reduce the noise scattered from an underlying rough surface at lower frequencies. A theoretical model is developed which characterizes the mechanism of surface pressure reduction as a result of the mixing layer instability of flow over forest canopies.Office of Naval Research (Grant IDs: N00014-13-1-0244, N00014-14-1-0242

Hybrid Rules with Well-Founded Semantics

A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program is a pair of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories, and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized as description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers. Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics, and for completeness of the operational semantics are given

Engaging residents in regeneration: Lessons from Pendleton

A wide-ranging urban regeneration programme is taking place in the Pendleton area of Salford. A substantial element of this work entails the refurbishment and retrofit of existing, tenanted properties. Flats and houses have been subject to kitchen and bathroom replacements, new windows and doors, and a new heating system based around an air source heat pump, and these modifications are being rolled out across the area. Throughout this process, effective tenant engagement is essential. Such refurbishment has the potential to be disruptive and stressful for residents; however, appropriate information and channels of communication can help to mitigate this. It is important that residents are well-informed and also have an active voice in the process of refurbishment and its outcome. The Together Housing Group have been awarded the Customer Service Excellence mark, which places an emphasis developing customer insight and the robust management of customer satisfaction. The organisation have commissioned the Sustainable Housing & Urban Studies Unit to carry out a rapid review of handover and tenant engagement with respect to the refurbishment works carried out to date. The study is a review, based on desk research, discussions with relevant Pendleton Together and Keepmoat staff, and interviews with contractors and tenants occupying a range of properties. In total 30 interviews were conducted

The influence of the atmospheric boundary layer on nocturnal layers of noctuids and other moths migrating over southern Britain

Insects migrating at high altitude over southern Britain have been continuously monitored by automatically-operating, vertical-looking radars over a period of several years. During some occasions in the summer months, the migrants were observed to form well-defined layer concentrations, typically at heights of 200-400 m, in the stable night-time atmosphere. Under these conditions, insects are likely to have control over their vertical movements and are selecting flight heights which are favourable for long-range migration. We therefore investigated the factors influencing the formation of these insect layers by comparing radar measurements of the vertical distribution of insect density with meteorological profiles generated by the UK Met. Office’s Unified Model (UM). Radar-derived measurements of mass and displacement speed, along with data from Rothamsted Insect Survey light traps provided information on the identity of the migrants. We present here three case studies where noctuid and pyralid moths contributed substantially to the observed layers. The major meteorological factors influencing the layer concentrations appeared to be: (a) the altitude of the warmest air, (b) heights corresponding to temperature preferences or thresholds for sustained migration and (c), on nights when air temperatures are relatively high, wind-speed maxima associated with the nocturnal jet. Back-trajectories indicated that layer duration may have been determined by the distance to the coast. Overall, the unique combination of meteorological data from the UM and insect data from entomological radar described here show considerable promise for systematic studies of high-altitude insect layering

Airflow Dynamics of Coughing in Healthy Human Volunteers by Shadowgraph Imaging: An Aid to Aerosol Infection Control

Cough airflow dynamics have been previously studied using a variety of experimental methods. In this study, real-time, non-invasive shadowgraph imaging was applied to obtain additional analyses of cough airflows produced by healthy volunteers. Twenty healthy volunteers (10 women, mean age 32.2±12.9 years; 10 men, mean age 25.3±2.5 years) were asked to cough freely, then into their sleeves (as per current US CDC recommendations) in this study to analyze cough airflow dynamics. For the 10 females (cases 1–10), their maximum detectable cough propagation distances ranged from 0.16–0.55 m, with maximum derived velocities of 2.2–5.0 m/s, and their maximum detectable 2-D projected areas ranged from 0.010–0.11 m2, with maximum derived expansion rates of 0.15–0.55 m2/s. For the 10 males (cases 11–20), their maximum detectable cough propagation distances ranged from 0.31–0.64 m, with maximum derived velocities of 3.2–14 m/s, and their maximum detectable 2-D projected areas ranged from 0.04–0.14 m2, with maximum derived expansion rates of 0.25–1.4 m2/s

The Poison Pen: Bedside Diagnosis of Urinary Diquat

Diquat is a bipyridyl herbicide with nephrotoxic effects. This in vitro study demonstrates a colorimetric test for detection of diquat in human urine. Urine specimens using ten concentrations of diquat herbicide solution and controls for urine and glyphosate were prepared. A two-step assay (addition of bicarbonate followed by sodium dithionite) was performed, with a resulting color change of the original solution for each specimen. Color change intensity was noted immediately and after 30 min, by gross visual inspection. A green color with concentration-dependent intensity was detected in all specimens, in which concentrations of diquat solution ranged from 0.73 to 730 mg/L. This colorimetric effect disappeared after 30 min. The sodium bicarbonate/dithionite test may be useful as a qualitative bedside technique for the detection of urinary diquat in the appropriate clinical setting