The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Extended Finite State Machines (EFSMs) are often used in model-based development and for modeling VHDL specifications. This paper proposes an approach for automated test generation for EFSM models. Design by contract approach is applied to formalize specification requirements. Genetic algorithm is proposed to find set of values that triggers given path in the EFSM and reveals inconsistensies with...
Based on discrete event simulation theory and the service flow of a typical noshery, a simulation model of noshery service system is established by Extendsim simulation software. The utilization rate and the bottleneck of the system resources are opened out after running the model. By the means of queuing strategy and the optimization module the software possesses, the best configuration of the system...
Software reliability growth modeling helps in deciding project release time and managing project resources. A large number of such models have been presented in the past. Due to the existence of many models, the models' inherent complexity, and their accompanying assumptions; the selection of suitable models becomes a challenging task. This paper presents empirical results of using genetic programming...
The existing Searching Model for Similar IT Project Cases can't exactly find the referential cases for new projects. In order to sufficiently use the knowledge of finished IT projects, the character weight was divided into question character weight vector and solution character weight vector. The conception of weight adaptability was introduced, and the maximum adaptability was set as the optimal...
We present an approach for automated evolutionary design of the functionary of driving agent, able to operate a software model of fast running car. The objective of our work is to automatically discover a set of driving rules (if existent) that are general enough to be able to adequately control the car in all sections of predefined circuits. In order to evolve an agent with such capabilities, we...
Search-based test data generation has been a considerably active research field recently. Several local and global search approaches have been proposed, but the investigation of artificial immune system (AIS) algorithms has been extremely limited. Our earlier results from testing six Java classes, exploiting a genetic algorithm (GA) to measure data- flow coverage, helped us identify a number of problematic...
To solve the problems of the incongruence of software reliability models and cast off the traditional models' multi-subjective assumptions, this paper adopts genetic programming evolution algorithm which has adaptive genetic operators (for short AGP) to establish software reliability model based on software failure time series. The individual of the population is according to the case of the fitness...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.