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

Economics and Other Factors Affecting the Adoption of Novel Endophyte Technology

Endophyte infected tall fescue impacts cattle and other livestock across vast regions of the world. Toxicosis from wild type endophyte is widespread in regions where toxic tall fescue is the base perennial forage. The Alliance for Grassland Renewal was founded to address this complex issue and to facilitate appropriate adoption of Novel Endophyte Tall Fescue, the only potentially 100% effective remedy for fescue toxicosis. A poor understanding of the Cost/Benefit ratio of renovating pasture is one of the main reason farmers give for not renovating tall fescue pastures. An Excel-based spreadsheet tool was developed by University of Missouri Extension to analyze costs and benefits of tall fescue pasture renovation. A team from the Alliance for Grassland Renewal worked with the tool and the developer to set default values for both costs and benefits. This tool will be made available in the future to extension agents and other advisors that are trained on the basics of Tall Fescue Toxicosis Management

Experimental control in software reliability certification

There is growing interest in software 'certification', i.e., confirmation that software has performed satisfactorily under a defined certification protocol. Regulatory agencies, customers, and prospective reusers all want assurance that a defined product standard has been met. In other industries, products are typically certified under protocols in which random samples of the product are drawn, tests characteristic of operational use are applied, analytical or statistical inferences are made, and products meeting a standard are 'certified' as fit for use. A warranty statement is often issued upon satisfactory completion of a certification protocol. This paper outlines specific engineering practices that must be used to preserve the validity of the statistical certification testing protocol. The assumptions associated with a statistical experiment are given, and their implications for statistical testing of software are described

An axiom system for sequence-based specification

AbstractThis paper establishes an axiomatic foundation and a representation theorem for the rigorous, constructive process, called sequence-based specification, of deriving precise specifications from ordinary (informal) statements of functional requirements. The representation theorem targets a special class of Mealy state machines, and algorithms are presented for converting from the set of sequences that define the specification to the equivalent Mealy machine, and vice versa. Since its inception, sequence-based specification has been effectively used in a variety of real applications, with gains reported in quality and productivity. This paper establishes the mathematical foundation independently of the process itself

Detecting Delamination via Nonlinear Wave Scattering in a Bonded Elastic Bar

In this paper we examine the effect of delamination on wave scattering, with the aim of creating a control measure for layered waveguides of various bonding types. Previous works have considered specific widths of solitary waves for the simulations, without analysing the effect of changing the soliton parameters. We consider two multi-layered structures: one containing delamination "sandwiched" by perfect bonding and one containing delamination but "sandwiched" by soft bonding. These structures are modelled by coupled Boussinesq-type equations. Matched asymptotic multiple-scale expansions lead to coupled Ostrovsky equations in soft bonded regions and Korteweg-De Vries equations in the perfectly bonded and delaminated region. We use the Inverse Scattering Transform to predict the behaviour in the delaminated regions. In both cases, numerical analysis shows that we can predict the delamination length by changes in the wave structure, and that these changes depend upon the Full Width at Half Magnitude (FWHM) of the incident soliton. In the case of perfect bonding, we derive a theoretical prediction for the change and confirm this numerically. For the soft bonding case, we numerically identify a similar relationship using the change in amplitude. Therefore we only need to compute one curve to determine the behaviour for any incident solitary wave, creating a framework for designing measurement campaigns for rigorously testing the integrity of layered structures.Comment: 12 pages, 7 figure

Surface-Soil Aggregation and Organic C and N Fractions Under Paired Grassland and Cropland Sites in the Southeastern USA

Grasslands are expected to deliver ecosystem services by sequestering soil organic C, improving soil health and water quality, and minimizing soil erosion. Data to support these ecosystem services from contemporary managed grasslands are relatively scant, and so on-farm measurements would help bolster assessment across more diverse environmental settings. This study was conducted to compare soil properties from paired landuse of croplands and grasslands in a diversity of Major Land Resource Areas – the Piedmont, Blue Ridge, and Blackland Prairie of the southeastern USA. Four separate pastures on three collaborating farms were sampled at depth of 0-10 cm. Four samples from a neighboring cropland field were paired with these pastures. A variety of soil chemical, physical, and biological properties were determined. Soil chemical properties were occasionally different between land management systems on one of the three farms, but few consistent differences occurred across farms. Dry-stable mean-weight diameter (MWD) was not different between paired land management systems, but water-stable MWD was dramatically reduced at all three locations with cropland compared with pasture. Soil stability index (water-stable MWD divided by dry-stable MWD) averaged 0.64 mm mm-1 under cropland and 0.91 mm mm-1 under pasture, suggesting that pastures had a highly stable soil surface that was resistant to erosion and likely contributed to high water infiltration. Soil organic C and N fractions (i.e., total, particulate, and mineralizable) were all significantly greater under pasture than under cropland, indicating that these pastures were indeed storing more C and N, and contributing to greater soil biological activity. This study provides evidence that well-managed grasslands can sequester soil organic C and N, improve soil surface stability conditions to foster water infiltration and reduced runoff, and may have important implications for habit development for soil-dwelling organisms

On Farm Riparian Grazing Demonstration

Two farm demonstrations were designed to show effects of periodic grazing of riparian areas. Sites were monitored for vegetative cover, degree of treading or hoof prints and dung deposition within three m of stream edge following grazing by beef cattle. A fenced enclosure was established along a 350 m stream reach on Farm-1, and eleven permanent stations were monitored following six graze periods over 12-months. Farm-2 involved grazing of two 0.13 ha paddocks, each of which contained a 22 m stream reach. On Farm-1 the cover improved following riparian exclusion, and evidence of treading in the 11 stations declined following each graze period. On Farm-2, vegetation was dense in the beginning, and one day graze periods with high stock density did not result in significant soil exposure, even though hoof prints were evident at more than 30% of the transect points. Having access to a drinking water tank 45 m up slope did not influence cover nor dung deposition in the riparian zone. The number of dung patties found within 3 m of the stream edge ranged from 15 to 28/100 m (Farm-1) and from 41 to 96/100 m (Farm-2). Estimates of potential dung N deposited within three m of the entire reach of the respective streams was 565 g and 83 g. This project showed ways to use riparian areas with minimal impact on its function