Test Case Generation as an AI Planning Problem

While Artificial Intelligence techniques have been applied to a variety of software engineering applications, the area of automated software testing remains largely unexplored. Yet, test cases for certain types of systems (e.g., those with command language interfaces and transaction based systems) are similar to plans. We have exploited this similarity by constructing an automated test case generator with an AI planning system at its core. We compared the functionality and output of two systems, one based on Software Engineering techniques and the other on planning, for a real application: the StorageTek robot tape library command language. From this, we showed that AI planning is a viable technique for test case generation and that the two approaches are complementary in their capabilities.     

The road to maturity: navigating between craft and science

C. Ebert presents his views on the state of software engineering as a field, its roots and inherent conflicts, its relationship to other engineering disciplines, where it is headed, and what we can do to influence that direction. T. Matsubara, T. Webb, M. Pezze, and O.W. Bertelsen offer a spectrum of further insights     

Development of a recurrent Sigma-Pi neural network rainfall forecasting system in Hong Kong

At the moment, weather forecasting is still an art — the experience and intuition of forecasters play a significant role in determining the quality of forecasting. This paper describes the development of a new approach to rainfall forecasting using neural networks. It deals with the extraction of information from radar images and an evaluation of past rain gauge records to provide shortterm rainfall forecasting. All of the meteorological data were provided by the Royal Observatory of Hong Kong (ROHK). Preprocessing procedures were essential for this neural network rainfall forecasting. The forecast of the rainfall was performed every half an hour so that a storm warning signal can be delivered to the public in advance. The network architecture is based on a recurrent Sigma-Pi network. The results are very promising, and this neural-based rainfall forecasting system is capable of providing a rain storm warning signal to the Hong Kong public one hour ahead.     

Apoptosis and delayed neuronal damage after carbon monoxide poisoning in the rat

Delayed neurological damage after CO hypoxia was studied in rats to determine whether programmed cell death (PCD), in addition to necrosis, is involved in neuronal death. In rats exposed to either air or CO (2500 ppm), microdialysis in brain cortex and hippocampus was performed to determine the extent of glutamate release and hydroxyl radical generation during the exposures. Groups of control and CO-exposed rats also were tested in a radial maze to assess the effects of the CO exposures on learning and memory. At 3, 7, and 21 days after CO exposure brains were perfusion-fixed and hematoxylin-eosin (H&E) was used to assess injury and to select regions for further examination. DNA fragmentation was sought by examining cryosections with the terminal deoxynucleotidyl transferase-mediated dUTP-biotin nick-end labeling (TUNEL) reaction. We found significant increases in glutamate release and .OH generation during and immediately after CO hypoxia. CO-exposed rats showed learning and memory deficits after exposure associated with heterogeneous cell loss in cortex, globus pallidus, and cerebellum. The frontal cortex was affected most seriously; the damage was slight at Day 3, increased at Day 7, and persistent at Day 21 after CO exposure. TUNEL staining was positive at all three time points, and TUNEL-labeled cells were distributed similarly to eosinophilic cells. The number of cells stained by TUNEL was less than by H&E and amounted to 2 to 5% of all cell nuclei in regions of injury. Ultrastructural features of both neuronal necrosis and apoptosis also were observed readily by electron microscopy. These findings indicate that both necrosis and apoptosis (PCD) contribute to CO poisoning-induced brain cell death.     

A Metallographic Study of Abnormal Grain Growth During Aging of a β-Quenched Zr-1.14 Wt% Cr-0.08 Wt% Fe Alloy

Results are reported of a detailed optical and electron metallographic study of the effects of variations in quenching rate from the β-phase and aging temperature in the + ZrCr₂ phase region, on the recrystallization and grain growth characteristics of Zr-1.14 wt% Cr-0.08 wt% Fe alloy used for nuclear fuel sheathing. It is shown that certain quenching rates, which produce a mixed martensitic-Widmanstätten structure, should be avoided during the fabrication of fuel sheathing, since recrystallization and grain growth occurs at a much lower temperature than a material quenched at such a rate that the structure is wholly Widmanstätten or wholly martensitic. Preaging at 350 or 450°C prior to the high-temperature (700–750°C) aging reduces the incidence of recrystallization and grain growth.     

Artificial neural networks for coordination and control: The portability of experiential representations

It is time to locate connectionist representation theory in the new wave of robotics research. The utility of representations developed in artificial neural networks (ANNs) during learning has been demonstrated in cognitive science research since the 1980s. The research reported here puts learned representations to work in a decentered control task, the disembodied arm problem, in which a mobile robot operates an arm fixed to a table to pick up objects. There is no physical linkage between the arm and the robot and so the robot's point of view must be decentered. This is done by developing a modular Artificial Neural Net system in three stages: (i) a classifier net is trained with laser scan data to output transformationally invariant position classes; (ii) an arm net is trained for picking up objects; (iii) an inter net is trained to communicate and coordinate the sensing and acting. The completed system is shown to create new nonsymbolic transformationally invariant representations in order to perform the effective generalization of decentered viewpoints.     

Effect of hygiene measures, water sanitation and oral rehydration therapy on diarrhea in children less than five years old in the south of Ivory Coast

BACKGROUND: Gastric sucrose permeability is a noninvasive marker that reliably increases in association with gastrointestinal injury due to use of nonsteroidal antiinflammatory drugs. Despite the effect of Helicobacter pylori infection on the gastric mucosa, in a previous study we were unable to demonstrate that H. pylori infection was associated with abnormal gastric sucrose permeability. Our goal in this study was to explore further whether H. pylori infection changed gastric permeability; therefore, we evaluated the effect of treatment of H. pylori infection on gastric permeability to sucrose and the relation of sucrose permeability to density of polymorphonuclear leukocytes. MATERIALS AND METHODS: Five hundred milliliters of a solution containing 100 gm of sucrose was ingested by the subject at bedtime. Overnight urine was collected and assayed for sucrose by high-performance liquid chromatography. Sucrose permeability was assessed both before and approximately 4 weeks after anti-H. pylori therapy. RESULTS: Seventeen asymptomatic H. pylori-infected volunteers participated; 8 were cured. Sucrose permeability was in the range commonly found in normal controls both before and after anti-H. pylori therapy (mean excretion, 76.3 mg; range, 13-171 mg). Gastric sucrose permeability correlated with the density of polymorphonulcear cell infiltration of the mucosa. Cure of the H. pylori infection was associated with a small but significant decrease in sucrose permeability (98.8 +/- 18 mg to 51.7 +/- 9.8 mg (p = .01). Sucrose permeability was greater in those with a high density of mucosal polymorphonuclear cells compared to those with lower scores (119.5 +/- 4 vs 71.4 +/- 13 for those with scores > or = 5 compared to scores < or = 4; p = .023). Failed therapy resulted in an increase in the mucosal density of polymorphonuclear infiltration and sucrose permeability (56.4 +/- 13 mg-99.7 +/- 19 mg pretreatment vs posttreatment, respectively; p = .031). CONCLUSION: H. pylori gastritis causes a small but measurable increase in gastric permeability to sucrose that may reflect epithelial transmigration of neutrophils.     

Peer evaluation. A visual picture

To meet the criteria of role accountability, nursing competence and ongoing staff development, an improved peer-evaluation system was designed to continuously monitor these new roles. This peer-evaluation process converts evaluation input into data, giving staff a visual picture of how their performance compares within their peer group. This peer-evaluation process was designed as a tool to assist in staff growth and development, not as a punitive system.