Genetic Micro-Programs for Automated Software Testing with Large Path Coverage

Ongoing progress in computational intelligence (CI) has led to an increased desire to apply CI techniques for the purpose of improving software engineering processes, particularly software testing. Existing state-of-the-art automated software testing techniques focus on utilising search algorithms to discover input values that achieve high execution path coverage. These algorithms are trained on the same code that they intend to test, requiring instrumentation and lengthy search times to test each software component. This paper outlines a novel genetic programming framework, where the evolved solutions are not input values, but micro-programs that can repeatedly generate input values to efficiently explore a software component's input parameter domain. We also argue that our approach can be generalised such as to be applied to many different software systems, and is thus not specific to merely the particular software component on which it was trained.Comment: A version of this paper has been accepted for publication in CEC'2

Mechanisms of nearshore retention and offshore export of mussel larvae over the Agulhas Bank

Ecological connectivity is critical for population dynamics but in many benthic species it is complicated by a planktonic larval phase, whose dispersal remains poorly understood. Using a plankton pump, we examine the distribution of intertidal mussel larvae along three axes: alongshore, cross-shelf and by depth during a large scale (600 km) cruise over the Agulhas Bank off southern Africa in August/September 2010. As a general pattern, higher veliger abundances were found close to the coast. Our analyses of the nearshore flow, estimated from ADCP data and the vertical distribution of larvae, show that onshore larval retention may be mediated by active vertical swimming through the water column guided by light and wind-induced turbulence. A massive offshore export of larvae off St Francis Bay was, however, observed during an Agulhas Current meander which influenced inner shelf waters. We hypothesize that, by increasing and homogenizing flow, the Agulhas Current may erase the effects of larval vertical positioning on onshore retention and transport larvae offshore. Our study highlights the need to integrate the effects of complex, region-specific physical dynamics with the swimming behaviour of larvae in order to explain their spatial distribution, population connectivity and the consequences for population dynamics

Fine scale depth regulation of invertebrate larvae around coastal fronts

Vertical migrations of zooplankters have been widely described, but their active movements through shallow, highly dynamic water columns within the inner shelf may be more complex and difficult to characterize. In this study, invertebrate larvae, currents, and hydrographic variables were sampled at different depths during and after the presence of fronts on three different cruises off the southern coast of South Africa. Internal wave dynamics were observed in the hydrographic data set but also through satellite imagery, although strong surface convergent currents were absent and thermal stratification was weak. During the first two cruises, fronts were more conspicuous and they preceded strong onshore currents at depth which developed with the rising tide. Vertical distributions of larvae changed accordingly, with higher abundances at these deep layers once the front disappeared. The third cruise was carried out during slack tides, the front was not conspicuous, deep strong onshore currents did not occur afterward and larval distributions did not change consistently through time. Overall, the vertical distributions of many larval taxa matched the vertical profiles of shoreward currents and multivariate analyses revealed that these flows structured the larval community, which was neither influenced by temperature nor chlorophyll. Thus, the ability to regulate active vertical positioning may enhance shoreward advection and determine nearshore larval distributions

Biogeochemical and ecological impacts of boundary currents in the Indian Ocean

Monsoon forcing and the unique geomorphology of the Indian Ocean basin result in complex boundary currents, which are unique in many respects. In the northern Indian Ocean, several boundary current systems reverse seasonally. For example, upwelling coincident with northward-flowing currents along the coast of Oman during the Southwest Monsoon gives rise to high productivity which also alters nutrient stoichiometry and therefore, the species composition of the resulting phytoplankton blooms. During the Northeast Monsoon most of the northern Indian Ocean boundary currents reverse and favor downwelling. Higher trophic level species have evolved behavioral responses to these seasonally changing conditions. Examples from the western Arabian Sea include vertical feeding migrations of a copepod (Calanoides carinatus) and the reproductive cycle of a large pelagic fish (Scomberomorus commerson). The impacts of these seasonal current reversals and changes in upwelling and downwelling circulations are also manifested in West Indian coastal waters, where they influence dissolved oxygen concentrations and have been implicated in massive fish kills. The winds and boundary currents reverse seasonally in the Bay of Bengal, though the associated changes in upwelling and productivity are less pronounced. Nonetheless, their effects are observed on the East Indian shelf as, for example, seasonal changes in copepod abundance and zooplankton community structure. In contrast, south of Sri Lanka seasonal reversals in the boundary currents are associated with dramatic changes in the intensity of coastal upwelling, chlorophyll concentration, and catch per unit effort of fishes. Off the coast of Java, monsoon-driven changes in the currents and upwelling strongly impact chlorophyll concentrations, seasonal vertical migrations of zooplankton, and sardine catch in Bali Strait. In the southern hemisphere the Leeuwin is a downwelling-favorable current that flows southward along western Australia, though local wind forcing can lead to transient near shore current reversals and localized coastal upwelling. The poleward direction of this eastern boundary current is unique. Due to its high kinetic energy the Leeuwin Current sheds anomalous, relatively high chlorophyll, warm-core, downwelling eddies that transport coastal diatom communities westward into open ocean waters. Variations in the Leeuwin transport and eddy generation impact many higher trophic level species including the recruitment and fate of rock lobster (Panulirus cygnus) larvae. In contrast, the transport of the Agulhas Current is very large, with sources derived from the Mozambique Channel, the East Madagascar Current and the southwest Indian Ocean sub-gyre. Dynamically, the Agulhas Current is upwelling favorable; however, the spatial distribution of prominent surface manifestations of upwelling is controlled by local wind and topographic forcing. Meanders and eddies in the Agulhas Current propagate alongshore and interact with seasonal changes in the winds and topographic features. These give rise to seasonally variable localized upwelling and downwelling circulations with commensurate changes in primary production and higher trophic level responses. Due to the strong influence of the Agulhas Current, many neritic fish species in southeast Africa coastal waters have evolved highly selective behaviors and reproductive patterns for successful retention of planktonic eggs and larvae. For example, part of the Southern African sardine (Sardinops sagax) stock undergoes a remarkable northward migration enhanced by transient cyclonic eddies in the shoreward boundary of the Agulhas Current. There is evidence from the paleoceanographic record that these currents and their biogeochemical and ecological impacts have changed significantly over glacial to interglacial timescales. These changes are explored as a means of providing insight into the potential impacts of climate change in the Indian Ocean

A wreath of memories /

Mode of access: Internet

Genetic and morphological variation in four populations of the surf clam Donax serra (Röding) from southern African sandy beaches

The surf clam Donax serra (Bivalvia, Donacidae) dominates sandy beach communities of two southern African biogeographical regions, a cold (Benguela current) and warm province (Agulhas current). Morphometric and behavioural differences led to a controversial discussion of whether or not populations from the two provinces belong to the same species. Shell size measurements confirmed morphological differences: clams from the cold province were significantly rounder, flatter and less wedge-shaped than clams from the warm province. In this study a genetic approach was used to relate phenotypic differences to genetic variability of four populations of D. serra separated by up to 2 500 km of shoreline. Genetic analysis of twenty-two protein-coding loci was carried out by starch-gel electrophoresis. Populations studied are conspecific (genetic distances range from 0.003 to 0.044) and possess genetic variation (alleles per locus: 1.73 - 1.91; mean heterozygosity: 18 - 22%; percentage polymorphism: 45.5 - 59.1%) in the range of most other marine bivalves, which allows for potential adaptation to environmental changes. Wrights fixation indices show little to moderate genetic divergence among the subpopulations relative to the limiting amount under complete fixation (FST = 0.016 - 0.089), moderate divergence of individuals relative to the total population (FIS = 0.265 - 0.452), and comparably high divergence of individuals relative to the compound population (FIT = 0.300 - 0.473). The effective number of individuals exchanged between populations in each generation is high enough (1.44 - 8.65) to counteract genetic drift. We propose that the observed differences represent phenotypic plasticity enabling this species to inhabit different biogeographic regions. Gene flow, balanced selective pressure and evolutionary inertia are discussed as explanations for similarities of the two outlying populations. The substantial subdivision of the two Namibian populations indicates a potential biotic barrier and requires separate studies of the population dynamics