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

Initial operation of a solar heating and cooling system in a full-scale solar building test facility

The Solar Building Test Facility (SBTF) was constructed to advance the technology for heating and cooling of office buildings with solar energy. Its purposes are to (1) test system components which include high-performing collectors, (2) test the performance of a complete solar heating and cooling system, (3) investigate component interactions, and (4) investigate durability, maintenance and reliability of components. The SBTF consists of a 50,000 square foot office building modified to accept solar heated water for operation of an absorption air conditioner and for the baseboard heating system. A 12,666 square foot solar collector field with a 30,000 gallon storage tank provides the solar heated water. A description of the system and the collectors selected is printed along with the objectives, test approach, expected system performance, and some preliminary results

Investigation of time-gap formulae on the CRE system using mouse tissue as a biological model.

The cumulative radiation effect (CRE) is one of several empirical scalar descriptions of biological effect which enable corrections to be made for gaps in radiotherapy treatment. Predictions of this theory were tested using mouse crypt regeneration and mouse skin as biological models. These experimental results are discussed in terms of the dependence of tissue regeneration potential during a gap on the biological effect achieved before the gap, and on gap length. A hypothesis is proposed to reconcile the apparent conflict between the two experiments. While the simple exponential gap formulation of the CRE is seen to be inadequate, insufficient data are available at present to modify it

Throughput Optimized Implementations of QUAD

We present several software and hardware implementations of QUAD, a recently introduced stream cipher designed to be provably secure and practical to implement. The software implementations target both a personal computer and an ARM microprocessor. The hardware implementations target field programmable gate arrays. The purpose of our work was to first find the baseline performance of QUAD implementations, then to optimize our implementations for throughput. Our software implementations perform comparably to prior work. Our hardware implementations are the first known implementations to use random coefficients, in agreement with QUAD’s security argument, and achieve much higher throughput than prior implementations

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

Investigating summer thermal stratification in Lake Ontario

Summer thermal stratification in Lake Ontario is simulated using the 3D hydrodynamic model Environmental Fluid Dynamics Code (EFDC). Summer temperature differences establish strong vertical density gradients (thermocline) between the epilimnion and hypolimnion. Capturing the stratification and thermocline formation has been a challenge in modeling Great Lakes. Deviating from EFDC's original Mellor-Yamada (1982) vertical mixing scheme, we have implemented an unidimensional vertical model that uses different eddy diffusivity formulations above and below the thermocline (Vincon-Leite, 1991; Vincon-Leite et al., 2014). The model is forced with the hourly meteorological data from weather stations around the lake, flow data for Niagara and St. Lawrence rivers; and lake bathymetry is interpolated on a 2-km grid. The model has 20 vertical layers following sigma vertical coordinates. Sensitivity of the model to vertical layers' spacing is thoroughly investigated. The model has been calibrated for appropriate solar radiation coefficients and horizontal mixing coefficients. Overall the new implemented diffusivity algorithm shows some successes in capturing the thermal stratification with RMSE values between 2-3°C. Calibration of vertical mixing coefficients is under investigation to capture the improved thermal stratification

Numerical modeling of thermal bar and stratification pattern in Lake Ontario using the EFDC model

Thermal bar is an important phenomenon in large, temperate lakes like Lake Ontario. Spring thermal bar formation reduces horizontal mixing, which in turn, inhibits the exchange of nutrients. Evolution of the spring thermal bar through Lake Ontario is simulated using the 3D hydrodynamic model Environmental Fluid Dynamics Code (EFDC). The model is forced with the hourly meteorological data from weather stations around the lake, flow data for Niagara and St. Lawrence rivers, and lake bathymetry. The simulation is performed from April to July, 2011; on a 2-km grid. The numerical model has been calibrated by specifying: appropriate initial temperature and solar radiation attenuation coefficients. The existing evaporation algorithm in EFDC is updated to modified mass transfer approach to ensure correct simulation of evaporation rate and latent heatflux. Reasonable values for mixing coefficients are specified based on sensitivity analyses. The model simulates overall surface temperature profiles well (RMSEs between 1-2°C). The vertical temperature profiles during the lake mixed phase are captured well (RMSEs < 0.5°C), indicating that the model sufficiently replicates the thermal bar evolution process. An update of vertical mixing coefficients is under investigation to improve the summer thermal stratification pattern. Keywords: Hydrodynamics, Thermal BAR, Lake Ontario, GIS