Automated Testing of Software with Adequate Coverage of Input Space

Some software products have large input spaces, with potentially an exponentially large number of parameter combinations. It is infeasible to exhaustively test such software products. This disclosure describes techniques to automatically generate input space coverage for a software product by generating test cases from a rules grammar while maintaining coverage over the lifetime of the product. The various components include a grammar for describing the input space; a test engine to accept workloads and input parameters and to generate test cases that run workloads against input parameters; a software module that computes the number of interacting parameters to test and efficient combinations thereof to make a tractable number of test inputs; etc

Validating Software Functionality Across Combinations of Runtime Configurations

As the number of configurable attributes of software under test grows and the cardinality of those attributes increases, the efficiency of software verification rapidly declines. This disclosure describes techniques to determine test coverage gaps in multidimensional configuration spaces of substantial cardinality by enabling a software developer to define a set of rules associated with a feature and by forming a Boolean algebra over a coverage matrix that defines the required test coverage. Test coverage is tracked and presented on a dashboard. Release can be blocked automatically if the test coverage gap is beyond a threshold. Based on the coverage matrix, untested combinations of configurations can be detected and individual compatibility tests to verify functionality can be designed. By dynamically maintaining the allowed values of the configuration space, intelligent prioritization of coverage becomes possible. Software testability is sustained in the face of exponential dimensional growth

Human-modified landscapes provide key foraging areas for a threatened flying mammal : the grey-headed flying-fox

Urban expansion is a major threat to natural ecosystems but also creates novel opportunities that adaptable species can exploit. The grey-headed flying-fox (Pteropus poliocephalus) is a threatened, highly mobile species of bat that is increasingly found in human-dominated landscapes, leading to many management and conservation challenges. Flying-fox urbanisation is thought to be a result of diminishing natural foraging habitat or increasing urban food resources, or both. However, little is known about landscape utilisation of flying-foxes in human-modified areas, and how this may differ in natural areas. Here we examine positional data from 98 satellite-tracked P. poliocephalus for up to 5 years in urban and nonurban environments, in relation to vegetation data and published indices of foraging habitat quality. Our findings indicate that human-modified foraging landscapes sustain a large proportion of the P. poliocephalus population year-round. When individuals roosted in nonurban and minor-urban areas, they relied primarily on wet and dry sclerophyll forest, forested wetlands, and rainforest for foraging, and preferentially visited foraging habitat designated as high-quality. However, our results highlight the importance of human-modified foraging habitats throughout the species’ range, and particularly for individuals that roosted in major-urban environments. The exact plant species that exist in human-modified habitats are largely undocumented; however, where this information was available, foraging by P. poliocephalus was associated with different dominant plant species depending on whether individuals roosted in ‘urban’ or ‘non-urban’ areas. Overall, our results demonstrate clear differences in urban- and non-urban landscape utilisation by foraging P. poliocephalus. However, further research is needed to understand the exact foraging resources used, particularly in human-modified habitats, and hence what attracts flying-foxes to urban areas. Such information could be used to modify the urban foraging landscape, to assist long-term habitat management programs aimed at minimising human-wildlife conflict and maximising resource availability within and outside of urban environments

Extreme mobility of the world’s largest flying mammals creates key challenges for management and conservation

Effective conservation management of highly mobile species depends upon detailed knowledge of movements of individuals across their range; yet, data are rarely available at appropriate spatiotemporal scales. Flying-foxes (Pteropus spp.) are large bats that forage by night on floral resources and rest by day in arboreal roosts that may contain colonies of many thousands of individuals. They are the largest mammals capable of powered flight, and are highly mobile, which makes them key seed and pollen dispersers in forest ecosystems. However, their mobility also facilitates transmission of zoonotic diseases and brings them in conflict with humans, and so they require a precarious balancing of conservation and management concerns throughout their Old World range. Here, we analyze the Australia-wide movements of 201 satellite-tracked individuals, providing unprecedented detail on the inter-roost movements of three flying-fox species: Pteropus alecto, P. poliocephalus, and P. scapulatus across jurisdictions over up to 5 years

Variety is the spice of life : flying-foxes exploit a variety of native and exotic food plants in an urban landscape mosaic

Generally, urbanization is a major threat to biodiversity; however, urban areas also provide habitats that some species can exploit. Flying-foxes (Pteropus spp.) are becoming increasingly urbanized; which is thought to be a result of increased availability and temporal stability of urban food resources, diminished natural food resources, or both. Previous research has shown that urban-roosting grey-headed flying-foxes (Pteropus poliocephalus) preferentially forage in human-modified landscapes. However, which land-use areas and food plants support its presence in urban areas is unknown. We tracked nine P. poliocephalus roosting in Adelaide, South Australia, between December 2019 and May 2020, using global positioning systems (GPS), to investigate how individuals used the urban landscape mosaic for feeding. The most frequently visited land-use category was “residential” (40% of fixes) followed by “road-side,” “reserves” and “primary production” (13–14% each). However, “reserves” were visited four times more frequently than expected from their areal availability, followed by the “residential” and “road-side” categories that were visited approximately twice more than expected each; in contrast, the “primary production” category was visited approximately five times less than expected. These results suggest that while residential areas provide most foraging resources supporting Adelaide’s flying-fox population, reserves contain foraging resources that are particularly attractive to P. poliocephalus. Primary production land was relatively less utilized, presumably because it contains few food resources. Throughout, flying-foxes visited an eclectic mixture of diet plants (49 unique species), with a majority of feeding fixes (63%) to locally indigenous Australian native species; however, in residential areas 53% of feeding visits were to non-locally indigenous species, vs only 13% in reserves. Flowering and fruiting phenology records of the food plants visited further indicated that non-locally indigenous species increase the temporal availability of foraging resources for P. poliocephalus in urban Adelaide. Our findings demonstrate the importance of residential areas for urban-roosting P. poliocephalus, and suggest that the anthropogenic mixture of food resources available in the urban landscape mosaic supports the species’ year-round presence in urban areas. Our results further highlight the importance of conserving natural habitats within the urban landscape mosaic, and stress the need for accounting for wildlife responses to urban greening initiatives

HE-LHC: The High-Energy Large Hadron Collider: Future Circular Collider Conceptual Design Report Volume 4

In response to the 2013 Update of the European Strategy for Particle Physics (EPPSU), the Future Circular Collider (FCC) study was launched as a world-wide international collaboration hosted by CERN. The FCC study covered an energy-frontier hadron collider (FCC-hh), a highest-luminosity high-energy lepton collider (FCC-ee), the corresponding 100 km tunnel infrastructure, as well as the physics opportunities of these two colliders, and a high-energy LHC, based on FCC-hh technology. This document constitutes the third volume of the FCC Conceptual Design Report, devoted to the hadron collider FCC-hh. It summarizes the FCC-hh physics discovery opportunities, presents the FCC-hh accelerator design, performance reach, and staged operation plan, discusses the underlying technologies, the civil engineering and technical infrastructure, and also sketches a possible implementation. Combining ingredients from the Large Hadron Collider (LHC), the high-luminosity LHC upgrade and adding novel technologies and approaches, the FCC-hh design aims at significantly extending the energy frontier to 100 TeV. Its unprecedented centre-of-mass collision energy will make the FCC-hh a unique instrument to explore physics beyond the Standard Model, offering great direct sensitivity to new physics and discoveries

FCC-ee: The Lepton Collider: Future Circular Collider Conceptual Design Report Volume 2

In response to the 2013 Update of the European Strategy for Particle Physics, the Future Circular Collider (FCC) study was launched, as an international collaboration hosted by CERN. This study covers a highest-luminosity high-energy lepton collider (FCC-ee) and an energy-frontier hadron collider (FCC-hh), which could, successively, be installed in the same 100 km tunnel. The scientific capabilities of the integrated FCC programme would serve the worldwide community throughout the 21st century. The FCC study also investigates an LHC energy upgrade, using FCC-hh technology. This document constitutes the second volume of the FCC Conceptual Design Report, devoted to the electron-positron collider FCC-ee. After summarizing the physics discovery opportunities, it presents the accelerator design, performance reach, a staged operation scenario, the underlying technologies, civil engineering, technical infrastructure, and an implementation plan. FCC-ee can be built with today’s technology. Most of the FCC-ee infrastructure could be reused for FCC-hh. Combining concepts from past and present lepton colliders and adding a few novel elements, the FCC-ee design promises outstandingly high luminosity. This will make the FCC-ee a unique precision instrument to study the heaviest known particles (Z, W and H bosons and the top quark), offering great direct and indirect sensitivity to new physics

FCC Physics Opportunities: Future Circular Collider Conceptual Design Report Volume 1

We review the physics opportunities of the Future Circular Collider, covering its e+e-, pp, ep and heavy ion programmes. We describe the measurement capabilities of each FCC component, addressing the study of electroweak, Higgs and strong interactions, the top quark and flavour, as well as phenomena beyond the Standard Model. We highlight the synergy and complementarity of the different colliders, which will contribute to a uniquely coherent and ambitious research programme, providing an unmatchable combination of precision and sensitivity to new physics

HE-LHC: The High-Energy Large Hadron Collider – Future Circular Collider Conceptual Design Report Volume 4

In response to the 2013 Update of the European Strategy for Particle Physics (EPPSU), the Future Circular Collider (FCC) study was launched as a world-wide international collaboration hosted by CERN. The FCC study covered an energy-frontier hadron collider (FCC-hh), a highest-luminosity high-energy lepton collider (FCC-ee), the corresponding 100 km tunnel infrastructure, as well as the physics opportunities of these two colliders, and a high-energy LHC, based on FCC-hh technology. This document constitutes the third volume of the FCC Conceptual Design Report, devoted to the hadron collider FCC-hh. It summarizes the FCC-hh physics discovery opportunities, presents the FCC-hh accelerator design, performance reach, and staged operation plan, discusses the underlying technologies, the civil engineering and technical infrastructure, and also sketches a possible implementation. Combining ingredients from the Large Hadron Collider (LHC), the high-luminosity LHC upgrade and adding novel technologies and approaches, the FCC-hh design aims at significantly extending the energy frontier to 100 TeV. Its unprecedented centre-of-mass collision energy will make the FCC-hh a unique instrument to explore physics beyond the Standard Model, offering great direct sensitivity to new physics and discoveries