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.

Searching behaviour and diet of Oystercatcher Haematopus ostralegus pairs feeding in their territories

Search path, searching behaviour and diet of pairs of Oystercatchers feeding in mudflat territories were studied during spring. females ate Nereis, Mya, small unidentified prey, probably Corophium, and a few Macoma, whereas males primarily ate Macoma. Even when female and male foraged in the same site, they often caught different prey. The combination of 'The Search-rate/Detection Model' (Gendron & Staddon 1983) and 'The Harvestable Prey Model' (Zwarts & Wanink 1993) provide the theoretical framework in which to explain these differences in diet. Macoma are thought to be more cryptic than Nereis, Mya and Corophium. Therefore females, while searching at a faster rate than their respective mates, caught far fewer cryptic prey, but a greater number of more conspicuous prey than their mates. On the basis of distances moved before and after capturing prey, males exhibited area-restricted searching for Macoma and Corophium. In contrast, females did not exhibit any area-restricted searching. it is suggested that the distribution of Macoma and Corophium available to males searching slowly was more clumped than that of these two prey species available to females searching more quickly.

Improving wheat simulation capabilities in Australia from a cropping systems perspective: water and nitrogen effects on spring wheat in a semi-arid environment

Systems approaches can help to evaluate and improve the agronomic and economic viability of nitrogen application in the frequently water-limited environments. This requires a sound understanding of crop physiological processes and well tested simulation models. Thus, this experiment on spring wheat aimed to better quantify water x nitrogen effects on wheat by deriving some key crop physiological parameters that have proven useful in simulating crop growth. For spring wheat grown in Northern Australia under four levels of nitrogen (0 to 360 kg N ha(-1)) and either entirely on stored soil moisture or under full irrigation, kernel yields ranged from 343 to 719 g m(-2). Yield increases were strongly associated with increases in kernel number (9150-19950 kernels m(-2)), indicating the sensitivity of this parameter to water and N availability. Total water extraction under a rain shelter was 240 mm with a maximum extraction depth of 1.5 m. A substantial amount of mineral nitrogen available deep in the profile (below 0.9 m) was taken up by the crop. This was the source of nitrogen uptake observed after anthesis. Under dry conditions this late uptake accounted for approximately 50% of total nitrogen uptake and resulted in high (>2%) kernel nitrogen percentages even when no nitrogen was applied,Anthesis LAI values under sub-optimal water supply were reduced by 63% and under sub-optimal nitrogen supply by 50%. Radiation use efficiency (RUE) based on total incident short-wave radiation was 1.34 g MJ(-1) and did not differ among treatments. The conservative nature of RUE was the result of the crop reducing leaf area rather than leaf nitrogen content (which would have affected photosynthetic activity) under these moderate levels of nitrogen limitation. The transpiration efficiency coefficient was also conservative and averaged 4.7 Pa in the dry treatments. Kernel nitrogen percentage varied from 2.08 to 2.42%. The study provides a data set and a basis to consider ways to improve simulation capabilities of water and nitrogen effects on spring wheat. (C) 1997 Elsevier Science B.V.