35 resultados para automatic test case generation

em University of Queensland eSpace - Australia


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Many models have been advanced to suggest how different expressions of sociality have evolved and are maintained. However these models ignore the function of groups for the particular species in question. Here we present a new perspective on sociality where the function of the group takes a central role. We argue that sociality may have primarily a reproductive, protective, or foraging function, depending on whether it enhances the reproductive, protective or foraging aspect of the animal's life (sociality may serve a mixture of these functions). Different functions can potentially cause the development of the same social behaviour. By identifying which function influences a particular social behaviour we can determine how that social behaviour will change with changing conditions, and which models are most pertinent. To test our approach we examined spider sociality, which has often been seen as the poor cousin to insect sociality. By using our approach we found that the group characteristics of eusocial insects is largely governed by the reproductive function of their groups, while the group characteristics of social spiders is largely governed by the foraging function of the group. This means that models relevant to insects may not be relevant to spiders. It also explains why eusocial insects have developed a strict caste system while spider societies are more egalitarian. We also used our approach to explain the differences between different types of spider groups. For example, differences in the characteristics of colonial and kleptoparasitic groups can be explained by differences in foraging methods, while differences between colonial and cooperative spiders can be explained by the role of the reproductive function in the formation of cooperative spider groups. Although the interactions within cooperative spider colonies are largely those of a foraging society, demographic traits and colony dynamics are strongly influenced by the reproductive function. We argue that functional explanations help to understand the social structure of spider groups and therefore the evolutionary potential for speciation in social spiders.

Relevância:

100.00% 100.00%

Publicador:

Relevância:

100.00% 100.00%

Publicador:

Resumo:

With the advent of object-oriented languages and the portability of Java, the development and use of class libraries has become widespread. Effective class reuse depends on class reliability which in turn depends on thorough testing. This paper describes a class testing approach based on modeling each test case with a tuple and then generating large numbers of tuples to thoroughly cover an input space with many interesting combinations of values. The testing approach is supported by the Roast framework for the testing of Java classes. Roast provides automated tuple generation based on boundary values, unit operations that support driver standardization, and test case templates used for code generation. Roast produces thorough, compact test drivers with low development and maintenance cost. The framework and tool support are illustrated on a number of non-trivial classes, including a graphical user interface policy manager. Quantitative results are presented to substantiate the practicality and effectiveness of the approach. Copyright (C) 2002 John Wiley Sons, Ltd.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Rupture of a light cellophane diaphragm in an expansion tube has been studied by an optical method. The influence of the light diaphragm on test flow generation has long been recognised, however the diaphragm rupture mechanism is less well known. It has been previously postulated that the diaphragm ruptures around its periphery due to the dynamic pressure loading of the shock wave, with the diaphragm material at some stage being removed from the flow to allow the shock to accelerate to the measured speeds downstream. The images obtained in this series of experiments are the first to show the mechanism of diaphragm rupture and mass removal in an expansion tube. A light diaphragm was impulsively loaded via a shock wave and a series of images was recorded holographically throughout the rupture process, showing gradual destruction of the diaphragm. Features such as the diaphragm material, the interface between gases, and a reflected shock were clearly visualised. Both qualitative and quantitative aspects of the rupture dynamics were derived from the images and compared with existing one-dimensional theory.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Smoothing the potential energy surface for structure optimization is a general and commonly applied strategy. We propose a combination of soft-core potential energy functions and a variation of the diffusion equation method to smooth potential energy surfaces, which is applicable to complex systems such as protein structures; The performance of the method was demonstrated by comparison with simulated annealing using the refinement of the undecapeptide Cyclosporin A as a test case. Simulations were repeated many times using different initial conditions and structures since the methods are heuristic and results are only meaningful in a statistical sense.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The step size determines the accuracy of a discrete element simulation. The position and velocity updating calculation uses a pre-calculated table and hence the control of step size can not use the integration formulas for step size control. A step size control scheme for use with the table driven velocity and position calculation uses the difference between the calculation result from one big step and that from two small steps. This variable time step size method chooses the suitable time step size for each particle at each step automatically according to the conditions. Simulation using fixed time step method is compared with that of using variable time step method. The difference in computation time for the same accuracy using a variable step size (compared to the fixed step) depends on the particular problem. For a simple test case the times are roughly similar. However, the variable step size gives the required accuracy on the first run. A fixed step size may require several runs to check the simulation accuracy or a conservative step size that results in longer run times. (C) 2001 Elsevier Science Ltd. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A new method is presented to determine an accurate eigendecomposition of difficult low temperature unimolecular master equation problems. Based on a generalisation of the Nesbet method, the new method is capable of achieving complete spectral resolution of the master equation matrix with relative accuracy in the eigenvectors. The method is applied to a test case of the decomposition of ethane at 300 K from a microcanonical initial population with energy transfer modelled by both Ergodic Collision Theory and the exponential-down model. The fact that quadruple precision (16-byte) arithmetic is required irrespective of the eigensolution method used is demonstrated. (C) 2001 Elsevier Science B.V. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Marking its fiftieth anniversary in late 2001, the ANZUS alliance remains Australia's primary security relationship and one of the United States' most important defence arrangements in the Asia-Pacific region. It is argued here that ANZUS has defied many common suppositions advanced by international relations theorists on how alliances work. It thus represents an important refutation of arguments that they are short-term instruments of mere policy expediency and are largely interest-dependent. Cultural and normative factors are powerful, if often underrated, determinants for ANZUS's perpetuation. ANZUS may thus constitute an important test case for expanding our understanding of alliance politics beyond the usual preconditions and prerogatives normally associated with such a relationship.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

There are several competing methods commonly used to solve energy grained master equations describing gas-phase reactive systems. When it comes to selecting an appropriate method for any particular problem, there is little guidance in the literature. In this paper we directly compare several variants of spectral and numerical integration methods from the point of view of computer time required to calculate the solution and the range of temperature and pressure conditions under which the methods are successful. The test case used in the comparison is an important reaction in combustion chemistry and incorporates reversible and irreversible bimolecular reaction steps as well as isomerizations between multiple unimolecular species. While the numerical integration of the ODE with a stiff ODE integrator is not the fastest method overall, it is the fastest method applicable to all conditions.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The testing of concurrent software components can be difficult due to the inherent non-determinism present in these components. For example, if the same test case is run multiple times, it may produce different results. This non-determinism may lead to problems with determining expected outputs. In this paper, we present and discuss several possible solutions to this problem in the context of testing concurrent Java components using the ConAn testing tool. We then present a recent extension to the tool that provides a general solution to this problem that is sufficient to deal with the level of non-determinism that we have encountered in testing over 20 components with ConAn. © 2005 IEEE

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This paper attempts a state-of-the-art summary of research into thunderstorm wind fields from an engineering perspective. The characteristics of thunderstorms and the two extreme wind events-tornadoes and downbursts-spawn by thunderstorms are described. The significant differences from traditional boundary layer flows are highlighted. The importance of thunderstorm gusts in the worldwide database of extreme wind events is established. Physical simulations of tornadoes and downbursts are described and discussed leading to the recommendation that Wind Engineering needs to focus more resources on the fundamental issue - What is the flow structure in the strongest winds? © 2002 Published by Elsevier Science Ltd.