Reducing regression test size by exclusion.

Operational software is constantly evolving. Regression testing is used to identify the unintended consequences of evolutionary changes. As most changes affect only a small proportion of the system, the challenge is to ensure that the regression test set is both safe (all relevant tests are used) and unclusive (only relevant tests are used). Previous approaches to reducing test sets struggle to find safe and inclusive tests by looking only at the changed code. We use decomposition program slicing to safely reduce the size of regression test sets by identifying those parts of a system that could not have been affected by a change; this information will then direct the selection of regression tests by eliminating tests that are not relevant to the change. The technique properly accounts for additions and deletions of code. We extend and use Rothermel and Harrold’s framework for measuring the safety of regression test sets and introduce new safety and precision measures that do not require a priori knowledge of the exact number of modification-revealing tests. We then analytically evaluate and compare our techniques for producing reduced regression test sets

Reducing regression test size by exclusion.

Operational software is constantly evolving. Regression testing is used to identify the unintended consequences of evolutionary changes. As most changes affect only a small proportion of the system, the challenge is to ensure that the regression test set is both safe (all relevant tests are used) and unclusive (only relevant tests are used). Previous approaches to reducing test sets struggle to find safe and inclusive tests by looking only at the changed code. We use decomposition program slicing to safely reduce the size of regression test sets by identifying those parts of a system that could not have been affected by a change; this information will then direct the selection of regression tests by eliminating tests that are not relevant to the change. The technique properly accounts for additions and deletions of code. We extend and use Rothermel and Harrold’s framework for measuring the safety of regression test sets and introduce new safety and precision measures that do not require a priori knowledge of the exact number of modification-revealing tests. We then analytically evaluate and compare our techniques for producing reduced regression test sets

Utilization of remote sensing in Alaska permafrost studies

Permafrost related features such as: aufeis, tundra, thaw lakes and subsurface ice features were studied. LANDSAT imagery was used to measure the extent and distribution of aufeis in Arctic Slope rivers over a period of 7 years. Interannual extent of large aufeis fields was found to vary significantly. Digital LANDSAT data were used to study the short term effects of a tundra fire which burned a 48 sq km area in northwestern Alaska. Vegetation regrowth was inferred from Landsat spectral reflectance increases and compared to in-situ measurements. Aircraft SAR (Synethic Aperture Radar) imagery was used in conjunction with LANDSAT imagery used in conjunction with LANDSAT imagery to qualitatively determine depth categories for thaw lakes in northern Alaska

Mineral precipitation in north slope aufeis

The Canning and Shaviovik river aufeis fields were studied on the ground and with aircraft data. Powdered calcium carbonate (CaCO3) patches, a few cm in thickness, were found in discrete locations on both aufeis fields. This is indicative of chemical weathering of limestone bedrock which is known to underlie much of the eastern arctic coastal plain of Alaska. Spring or river water which remains unfrozen throughout much of the winter carries CaCO3 in solution; as the river ice freezes more deeply the CaCO3 in solution is forced upwards through cracks in the river ice. Upon exposure to the cold air CaCO3 is excluded as the water freezes, forming successive layers during aufeis growth. In the melt season CaCO3, slush/powder accumulates in patches on top of the ice as the aufeis melts downward

Use of LANDSAT data for river and lake ice engineering studies

There are no author-identified significant results in this report

Geomorphic processes on the North Slope of Alaska

Three physiographic provinces comprise the North Slope of Alaska: the Arctic Mountains, the Arctic Foothills and the Arctic Coastal Plain Provinces. The features and processes in the Arctic Coastal Plain, a zone of continuous permafrost, are stressed in this paper. The evidence for and mechanisms of the geomorphic cycle are discussed starting with frost cracks. Frost cracks may form polygonal ground which leads to low-centered ice wedge polygons in areas having ice-rich permafrost. As the low-centered ice wedge polygons enlarge due to thermal erosion they may evolve into thaw lakes which are largely oriented in a northwest-southeast direction on the Arctic Coastal Plain. Eventual drainage of a deep lake may result in a closed-system pingo. Evidence of the various stages of the geomorphic cycle is ubiquitous on the Alaskan Arctic Coastal Plain and indicates the ice content of the permafrost in some areas

The Bargmann representation for the quantum mechanics on a sphere

The Bargmann representation is constructed corresponding to the coherent states for a particle on a sphere introduced in: K. Kowalski and J. Rembielinski, J. Phys. A: Math. Gen. 33, 6035 (2000). The connection is discussed between the introduced formalism and the standard approach based on the Hilbert space of square integrable functions on a sphere S^2.Comment: LaTe

Cost projections for Redox Energy storage systems

A preliminary design and system cost analysis was performed for the redox energy storage system. A conceptual design and cost estimate was prepared for each of two energy applications: (1) electric utility 100-MWh requirement (10-MW for ten hours) for energy storage for utility load leveling application, and (2) a 500-kWh requirement (10-kW for 50 hours) for use with a variety of residential or commercial applications, including stand alone solar photovoltaic systems. The conceptual designs were based on cell performance levels, system design parameters, and special material costs. These data were combined with estimated thermodynamic and hydraulic analysis to provide preliminary system designs. Results indicate that the redox cell stack to be amenable to mass production techniques with a relatively low material cost