The testing of materials of construction ; a text-book for the engineering laboratory and a collection of the results of experiment,

References: p. 11.

Final report on the development and testing of the robovalve /

AID contract AID/ta-c-1461.

Environmental testing of armaments.

Mode of access: Internet.

The nature and testing of asphalts and asphaltic mixtures.

At head of title: The Institute of Transportation and Traffic Engineering.

Sampling and testing of ready mixed concrete /

Mode of access: Internet.

A selected list of references on the chemical testing of textile materials,

Mode of access: Internet.

Development testing of glass fiber reinforced plastic rods used for reinforcement of Portland cement concrete /

Mode of access: Internet.

The mechanical testing of bituminous road materials. A survey of the literature,

Mode of access: Internet.

Archaeological inventory and testing of prehistoric habitation sites, Chief Joseph Dam Project, Washington /

Bibliography: p. 127-135.

Rapid testing of oilseeds for oil quantity and iodine number of oil /

Caption title.

A short course in the testing of electrical machinery for non-electrical students,

Mode of access: Internet.

Development and testing of an airbag and energy absorbing lap belt combination restraint system: final report.

"Contract no. FH-11-6962."

Ages and isotopic signatures of peat cores from a boreal landscape, Interior Alaska

To determine the influence of fire and thermokarst in a boreal landscape, we investigated peat cores within and adjacent to a permafrost collapse feature on the Tanana River Floodplain of Interior Alaska. Radioisotope dating, diatom assemblages, plant macrofossils, charcoal fragments, and carbon and nitrogen content of the peat profile indicate ~600 years of vegetation succession with a transition from a terrestrial forest to a sedge-dominated wetland over 100 years ago, and to a Sphagnum-dominated peatland in approximately 1970. The shift from sedge to Sphagnum, and a decrease in the detrended tree-ring width index of black spruce trees adjacent to the collapse coincided with an increase in the growing season temperature record from Fairbanks. This concurrent wetland succession and reduced growth of black spruce trees indicates a step-wise ecosystem-level response to a change in regional climate. In 2001, fire was observed coincident with permafrost collapse and resulted in lateral expansion of the peatland. These observations and the peat profile suggest that future warming and/or increased fire disturbance could promote permafrost degradation, peatland expansion, and increase carbon storage across this landscape; however, the development of drought conditions could reduce the success of both black spruce and Sphagnum, and potentially decrease the long-term ecosystem carbon storage.

A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

Viewpoint-based testing of concurrent components

The use of multiple partial viewpoints is recommended for specification. We believe they also can be useful for devising strategies for testing. In this paper, we use Object-Z to formally specify concurrent Java components from viewpoints based on the separation of application and synchronisation concerns inherent in Java monitors. We then use the Test-Template Framework on the Object-Z viewpoints to devise a strategy for testing the components. When combining the test templates for the different viewpoints we focus on the observable behaviour of the application to systematically derive a practical testing strategy. The Producer-Consumer and Readers-Writers problems are considered as case studies.