A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Spatial learning ability of rats following differing levels of exposure to alcohol during early postnatal life

Rats exposed to a relatively high dose (7.5 g/kg body weight) of alcohol on either the fifth or tenth postnatal day of age have been reported to have long-lasting deficits in spatial learning ability as tested on the Morris water maze task. The question arises concerning the level of alcohol required to achieve this effect. Wistar rats were exposed to either 2, 4 or 6 g/kg body weight of ethanol administered as a 10% solution. This ethanol was given over an 8-h period on the fifth postnatal day of age by means of an intragastric cannula. Gastrostomy controls received a 5% sucrose solution substituted isocalorically for the ethanol. Another set of pups raised by their mother were used as suckle controls. All surgical procedures were carried out under halothane vapour anaesthesia. After the artificial feeding regimes all pups were returned to lactating dams and weaned at 21 days of age. The spatial learning ability of these rats was tested in the Morris water maze when they were between 61-64 days of age. This task requires the rats to swim in a pool containing water made opaque and locate and climb onto a submerged platform. The time taken to accomplish this is known as the escape latency. Each rat was subjected to 24 trials over 3 days of the test period. Statistical analysis of the escape latency data revealed that the rats given 6 g/kg body weight of ethanol had significant deficits in their spatial learning ability compared with their control groups. However, there was no significant difference in spatial learning ability for the rats given either 2 or 4 g/kg body weight of ethanol compared with their respective gastrostomy or suckle control animals. We concluded that ethanol exposure greater than 4 g/kg over an 8-h period to 5-day-old rats is required for them to develop long-term deficits in spatial learning behaviour. (C) 1998 Elsevier Science Inc.