Software integration testing based on communication coverage criteria and partial model generation

This paper considers the problem of integration testing the components of a timed distributed software system. We assume that communication between the components is specified using timed interface automata and use computational tree logic (CTL) to define communication-based coverage criteria that refer to send- and receive-statements and communication paths. The proposed method enables testers to focus during component integration on such parts of the specification, e.g. behaviour specifications or Markovian usage models, that are involved in the communication between components to be integrated. A more specific application area of this approach is the integration of test-models, e.g. a transmission gear can be tested based on separated models for the driver behaviour, the engine condition, and the mechanical and hydraulical transmission states. Given such a state-based specification of a distributed system and a concrete coverage goal, a model checker is used in order to determine the coverage or generate test sequences that achieve the goal. Given the generated test sequences we derive a partial test-model of the components from which the test sequences are derived. The partial model can be used to drive further testing and can also be used as the basis for producing additional partial models in incremental integration testing. While the process of deriving the test sequences could suffer from a combinatorial explosion, the effort required to generate the partial model is polynomial in the number of test sequences and their length. Thus, where it is not feasible to produce test sequences that achieve a given type of coverage it is still possible to produce a partial model on the basis of test sequences generated to achieve some other criterion. As a result, the process of generating a partial model has the potential to scale to large industrial software systems. While a particular model checker, UPPAAL, was used, it should be relatively straightforward to adapt the approach for use with other CTL based model checkers. A potential additional benefit of the approach is that it provides a visual description of the state-based testing of distributed systems, which may be beneficial in other contexts such as education and comprehension

IL-1α and TNF-α Down-Regulate CRH Receptor-2 mRNA Expression in the Mouse Heart

Two receptors (CRH receptor type 1 and CRH receptor type 2) have been identified for the stress-induced neuropeptide, CRH and related peptides, urocortin, and urocortin II. We previously found marked down-regulation of cardiac CRH receptor type 2 expression following administration of bacterial endotoxin, lipopolysaccharide, a model of systemic immune activation, and inflammation. We postulated that inflammatory cytokines may regulate CRH receptor type 2. We show that systemic IL-1α administration significantly down-regulates CRH receptor type 2 mRNA in mouse heart. In addition, TNFα treatment also reduces CRH receptor type 2 mRNA expression, although the effect was not as marked as with IL-1α. However, CRH receptor type 2 mRNA expression is not altered in adult mouse ventricular cardiomyocytes stimulated in vitro with TNFα or IL-1α. Thus, cytokine regulation may be indirect. Exogenous administration of corticosterone in vivo or acute restraint stress also reduces cardiac CRH receptor type 2 mRNA expression, but like cytokines, in vitro corticosterone treatment does not modulate expression in cardiomyocytes. Interestingly, treatment with urocortin significantly decreases CRH receptor type 2 mRNA in cultured cardiomyocytes. We speculate that in vivo, inflammatory mediators such as lipopolysaccharide and/or cytokines may increase urocortin, which in turn down-regulates CRH receptor type 2 expression in the heart. Because CRH and urocortin increase cardiac contractility and coronary blood flow, impaired CRH receptor type 2 function during systemic inflammation may ultimately diminish the adaptive cardiac response to adverse conditions

Building Partnerships to Address Social and Technological Challenges to Enhance Farm Profitability and Improve Water Quality Through Better Grassland Management

With 2.1 million acres of pastureland and 1.25 million acres of hay land in Virginia, the rural Virginia landscape is predominately grassland. These lands form the base of the $3.96 billion-dollar livestock and dairy industry in Virginia. Managing these livestock in a profitable manner for farmers and beneficial to the environment is important. A cultural tradition with roots in colonial times has been to run animals in large fields year-round throughout Virginia. Livestock often graze from spring until fall (about 220 days), and farmers feed hay the remainder of the year. Spikes in the cost of fuel, fertilizer, and equipment are making traditional grazing/haying systems less profitable. The Virginia Cooperative Extension Farm Enterprise budgets show that that the cost of hay accounts for over 50$75 per cow by extending their grazing season. The same phenomenon applies to other types of grazing livestock. If ten percent of the livestock producers in the state adopted better grazing management to extend their grazing season by 60 days, profitability is expected for Virginia grazing livestock producers by over $5 million per year. Practices such as rotational grazing and stream exclusion are directly tied to National and State goals to improve water quality in the Chesapeake Bay. Virginia’s Phase III WIP (Chesapeake Bay Watershed Improvement Plan) seeks the exclusion of livestock from all perennial streams and achieving good rotational grazing practices on 347,000 acres of pasture. A number of agencies and private sector groups have been providing cost share and technical guidance to incentivize livestock stream exclusion and the installation of pasture management infrastructure. Installation is only part of the challenge. Farmers also need to be taught how to how to manage the system in a profitable manner and have been slow to adopt good pasture management practices. Preliminary data show that 87% of Virginia’s cow-calf producers manage their grasslands using traditional methods. Only six percent have extended their grazing season beyond 265 days

Marine Biodiversity in the Australian Region

The entire Australian marine jurisdictional area, including offshore and sub-Antarctic islands, is considered in this paper. Most records, however, come from the Exclusive Economic Zone (EEZ) around the continent of Australia itself. The counts of species have been obtained from four primary databases (the Australian Faunal Directory, Codes for Australian Aquatic Biota, Online Zoological Collections of Australian Museums, and the Australian node of the Ocean Biogeographic Information System), but even these are an underestimate of described species. In addition, some partially completed databases for particular taxonomic groups, and specialized databases (for introduced and threatened species) have been used. Experts also provided estimates of the number of known species not yet in the major databases. For only some groups could we obtain an (expert opinion) estimate of undiscovered species. The databases provide patchy information about endemism, levels of threat, and introductions. We conclude that there are about 33,000 marine species (mainly animals) in the major databases, of which 130 are introduced, 58 listed as threatened and an unknown percentage endemic. An estimated 17,000 more named species are either known from the Australian EEZ but not in the present databases, or potentially occur there. It is crudely estimated that there may be as many as 250,000 species (known and yet to be discovered) in the Australian EEZ. For 17 higher taxa, there is sufficient detail for subdivision by Large Marine Domains, for comparison with other National and Regional Implementation Committees of the Census of Marine Life. Taxonomic expertise in Australia is unevenly distributed across taxa, and declining. Comments are given briefly on biodiversity management measures in Australia, including but not limited to marine protected areas

How Many Species Are There on Earth and in the Ocean?

The diversity of life is one of the most striking aspects of our planet; hence knowing how many species inhabit Earth is among the most fundamental questions in science. Yet the answer to this question remains enigmatic, as efforts to sample the world's biodiversity to date have been limited and thus have precluded direct quantification of global species richness, and because indirect estimates rely on assumptions that have proven highly controversial. Here we show that the higher taxonomic classification of species (i.e., the assignment of species to phylum, class, order, family, and genus) follows a consistent and predictable pattern from which the total number of species in a taxonomic group can be estimated. This approach was validated against well-known taxa, and when applied to all domains of life, it predicts ∼8.7 million (±1.3 million SE) eukaryotic species globally, of which ∼2.2 million (±0.18 million SE) are marine. In spite of 250 years of taxonomic classification and over 1.2 million species already catalogued in a central database, our results suggest that some 86% of existing species on Earth and 91% of species in the ocean still await description. Renewed interest in further exploration and taxonomy is required if this significant gap in our knowledge of life on Earth is to be closed

Confirmation of beach accretion by grain-size trend analysis: Camposoto beach, Cádiz, SW Spain

An application of the grain size trend analysis (GSTA) is used in an exploratory approach to characterize sediment transport on Camposoto beach (Cádiz, SW Spain). In May 2009 the mesotidal beach showed a well-developed swash bar on the upper foreshore, which was associated with fair-weather conditions prevailing just before and during the field survey. The results were tested by means of an autocorrelation statistical test (index I of Moran). Two sedimentological trends were recognized, i.e. development towards finer, better sorted and more negatively skewed sediment (FB–), and towards finer, better sorted and less negatively or more positively skewed sediment (FB+). Both vector fields were compared with results obtained from more classical approaches (sand tracers, microtopography and current measurements). This revealed that both trends can be considered as realistic, the FB+ trend being identified for the first time in a beach environment. The data demonstrate that, on the well-developed swash bar, sediment transported onshore becomes both finer and better sorted towards the coast. On the lower foreshore, which exhibits a steeper slope produced by breaking waves, the higherenergy processes winnow out finer particles and thereby produce negatively skewed grain-size distributions. The upper foreshore, which has a flatter and smoother slope, is controlled by lower-energy swash-backwash and overwash processes. As a result, the skewness of the grain-size distributions evolves towards less negative or more positive values. The skewness parameter appears to be distributed as a function of the beach slope and, thus, reflects variations in hydrodynamic energy. This has novel implications for coastal management

Conditional corticotropin-releasing hormone overexpression in the mouse forebrain enhances rapid eye movement sleep

Impaired sleep and enhanced stress hormone secretion are the hallmarks of stress-related disorders, including major depression. The central neuropeptide, corticotropin-releasing hormone (CRH), is a key hormone that regulates humoral and behavioral adaptation to stress. Its prolonged hypersecretion is believed to play a key role in the development and course of depressive symptoms, and is associated with sleep impairment. To investigate the specific effects of central CRH overexpression on sleep, we used conditional mouse mutants that overexpress CRH in the entire central nervous system (CRH-COE-Nes) or only in the forebrain, including limbic structures (CRH-COE-Cam). Compared with wild-type or control mice during baseline, both homozygous CRH-COE-Nes and -Cam mice showed constantly increased rapid eye movement (REM) sleep, whereas slightly suppressed non-REM sleep was detected only in CRH-COE-Nes mice during the light period. In response to 6-h sleep deprivation, elevated levels of REM sleep also became evident in heterozygous CRH-COE-Nes and -Cam mice during recovery, which was reversed by treatment with a CRH receptor type 1 (CRHR1) antagonist in heterozygous and homozygous CRH-COE-Nes mice. The peripheral stress hormone levels were not elevated at baseline, and even after sleep deprivation they were indistinguishable across genotypes. As the stress axis was not altered, sleep changes, in particular enhanced REM sleep, occurring in these models are most likely induced by the forebrain CRH through the activation of CRHR1. CRH hypersecretion in the forebrain seems to drive REM sleep, supporting the notion that enhanced REM sleep may serve as biomarker for clinical conditions associated with enhanced CRH secretion

Persistent export of 231Pa from the deep central Arctic Ocean over the past 35,000 years

The Arctic Ocean has an important role in Earth’s climate, both through surface processes such as sea-ice formation and transport, and through the production and export of waters at depth that contribute to the global thermohaline circulation. Deciphering the deep Arctic Ocean’s palaeo-oceanographic history is a crucial part of understanding its role in climatic change. Here we show that sedimentary ratios of the radionuclides thorium-230 (230Th) and protactinium-231 (231Pa), which are produced in sea water and removed by particle scavenging on timescales of decades to centuries, respectively, record consistent evidence for the export of 231Pa from the deep Arctic and may indicate continuous deep-water exchange between the Arctic and Atlantic oceans throughout the past 35,000 years. Seven well-dated box-core records provide a comprehensive overview of 231Pa and 230Th burial in Arctic sediments during glacial, deglacial and interglacial conditions. Sedimentary 231Pa/230Th ratios decrease nearly linearly with increasing water depth above the core sites, indicating efficient particle scavenging in the upper water column and greater influence of removal by lateral transport at depth. Although the measured 230Th burial is in balance with its production in Arctic sea water, integrated depth profiles for all time intervals reveal a deficit in 231Pa burial that can be balanced only by lateral export in the water column. Because no enhanced sink for 231Pa has yet been found in the Arctic, our records suggest that deep-water exchange through the Fram strait may export 231Pa. Such export may have continued for the past 35,000 years, suggesting a century-scale replacement time for deep waters in the Arctic Ocean since the most recent glaciation and a persistent contribution of Arctic waters to the global ocean circulation

Metabolic responses to high pCO2 conditions at a CO2 vent site in juveniles of a marine isopod species assemblage

We are starting to understand the relationship between metabolic rate responses and species' ability to respond to exposure to high pCO2. However, most of our knowledge has come from investigations of single species. The examination of metabolic responses of closely related species with differing distributions around natural elevated CO2 areas may be useful to inform our understanding of their adaptive significance. Furthermore, little is known about the physiological responses of marine invertebrate juveniles to high pCO2, despite the fact they are known to be sensitive to other stressors, often acting as bottlenecks for future species success. We conducted an in situ transplant experiment using juveniles of isopods found living inside and around a high pCO2 vent (Ischia, Italy): the CO2 'tolerant' Dynamene bifida and 'sensitive' Cymodoce truncata and Dynamene torelliae. This allowed us to test for any generality of the hypothesis that pCO2 sensitive marine invertebrates may be those that experience trade-offs between energy metabolism and cellular homoeostasis under high pCO2 conditions. Both sensitive species were able to maintain their energy metabolism under high pCO2 conditions, but in C. truncata this may occur at the expense of [carbonic anhydrase], confirming our hypothesis. By comparison, the tolerant D. bifida appeared metabolically well adapted to high pCO2, being able to upregulate ATP production without recourse to anaerobiosis. These isopods are important keystone species; however, given they differ in their metabolic responses to future pCO2, shifts in the structure of the marine ecosystems they inhabit may be expected under future ocean acidification conditions