Generating feasible transition paths for testing from an extended finite state machine (EFSM)

The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the paths. A chosen path may be infeasible and so it is desirable to have methods that can direct the search for appropriate paths through the EFSM towards those that are likely to be feasible. However, generating feasible transition paths (FTPs) for model based testing is a challenging task and is an open research problem. This paper introduces a novel fitness metric that analyzes data flow dependence among the actions and conditions of the transitions in order to estimate the feasibility of a transition path. The proposed fitness metric is evaluated by being used in a genetic algorithm to guide the search for FTPs

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

This is the post-print version of the Article - Copyright @ 2011 ElsevierThe extended finite state machine (EFSM) is a modelling approach that has been used to represent a wide range of systems. When testing from an EFSM, it is normal to use a test criterion such as transition coverage. Such test criteria are often expressed in terms of transition paths (TPs) through an EFSM. Despite the popularity of EFSMs, testing from an EFSM is difficult for two main reasons: path feasibility and path input sequence generation. The path feasibility problem concerns generating paths that are feasible whereas the path input sequence generation problem is to find an input sequence that can traverse a feasible path. While search-based approaches have been used in test automation, there has been relatively little work that uses them when testing from an EFSM. In this paper, we propose an integrated search-based approach to automate testing from an EFSM. The approach has two phases, the aim of the first phase being to produce a feasible TP (FTP) while the second phase searches for an input sequence to trigger this TP. The first phase uses a Genetic Algorithm whose fitness function is a TP feasibility metric based on dataflow dependence. The second phase uses a Genetic Algorithm whose fitness function is based on a combination of a branch distance function and approach level. Experimental results using five EFSMs found the first phase to be effective in generating FTPs with a success rate of approximately 96.6%. Furthermore, the proposed input sequence generator could trigger all the generated feasible TPs (success rate = 100%). The results derived from the experiment demonstrate that the proposed approach is effective in automating testing from an EFSM

Using genetic algorithms to generate test sequences for complex timed systems

The generation of test data for state based specifications is a computationally expensive process. This problem is magnified if we consider that time con- straints have to be taken into account to govern the transitions of the studied system. The main goal of this paper is to introduce a complete methodology, sup- ported by tools, that addresses this issue by represent- ing the test data generation problem as an optimisa- tion problem. We use heuristics to generate test cases. In order to assess the suitability of our approach we consider two different case studies: a communication protocol and the scientific application BIPS3D. We give details concerning how the test case generation problem can be presented as a search problem and automated. Genetic algorithms (GAs) and random search are used to generate test data and evaluate the approach. GAs outperform random search and seem to scale well as the problem size increases. It is worth to mention that we use a very simple fitness function that can be eas- ily adapted to be used with other evolutionary search techniques

Automatic Software Test Data Generation for Spanning Sets Coverage Using Genetic Algorithms

Software testing takes a considerable amount of time and resources spent on producing software. Therefore, it would be useful to have ways to reduce the cost of software testing. The new concepts of spanning sets of entities suggested by Marré and Bertolino are useful for reducing the cost of testing. In fact, to reduce the testing effort, the generation of test data can be targeted to cover the entities in the spanning set, rather than all the entities in the tested program. Marré and Bertolino presented an algorithm based on the subsumption relation between entities to find spanning sets for a family of control flow and data flow-based test coverage criteria. This paper presents a new general technique for the automatic test data generation for spanning sets coverage. The proposed technique applies to the algorithm proposed recently by Marré and Bertolino to automatically generate the spanning sets of program entities that satisfy a wide range of control flow and data flow-based test coverage criteria. Then, it uses a genetic algorithm to automatically generate sets of test data to cover these spanning sets. The proposed technique employed the concepts of spanning sets to limit the number of test cases, guide the test case selection, overcome the problem of the redundant test cases and automate the test path generation

An estimate of necessary effort in the development of software projects

International Workshop on Intelligent Technologies for Software Engineering (WITSE'04). 19th IEEE International Conference on Automated Software Engineering (Linz, Austria, September 20th - 25th, 2004)The estimated of the effort in the development of software projects has already been studied in the field of software engineering. For this purpose different ways of measurement such as Unes of code and function points, generally addressed to relate software size with project cost (effort) have been used. In this work we are presenting a research project that deals with this field, us'mg machine learning techniques to predict the software project cost. Several public set of data are used. The analysed sets of data only relate the effort invested in the development of software projects and the size of the resultant code. For this reason, we can say that the data used are poor. Despite that, the results obtained are good, because they improve the ones obtained in previous analyses. In order to get results closer to reality we should find data sets of a bigger size that take into account more variables, thus offering more possibilities to obtain solutions in a more efficient way.Publicad

On the Measurement of Poverty Dynamics

This paper introduces a family of multi-period poverty measures derived from commonly used static poverty measures. Our measures trade-off poverty levels and changes (gains and losses) over time, and are consistent with loss aversion. We characterize the partial ranking over income dynamics induced by these measures and use it in two empirical applications with longitudinal household level data. Comparing two decades of income dynamics in the United States we find that the income dynamics of the 1990s -post Welfare reform- dominates the income dynamics of the 1980s -pre Welfare reform. Next, we compare the contemporary income dynamics of three industrialized countries and conclude that United Kingdom dominates Germany and United States, and Germany dominates the United States if poverty stocks are given more importance than poverty flows. The differences between our ranking and those obtained using other welfare criteria such as social mobility suggest that our measures capture critical information about the evolution of poverty.

Seeing the Wood for the Trees: A Critical Evaluation of Methods to Estimate the Parameters of Stochastic Differential Equations. Working paper #2

Maximum-likelihood estimates of the parameters of stochastic differential equations are consistent and asymptotically efficient, but unfortunately difficult to obtain if a closed form expression for the transitional probability density function of the process is not available. As a result, a large number of competing estimation procedures have been proposed. This paper provides a critical evaluation of the various estimation techniques. Special attention is given to the ease of implementation and comparative performance of the procedures when estimating the parameters of the Cox-Ingersoll-Ross and Ornstein-Uhlenbeck equations respectively.stochastic differential equations, parameter estimation, maximum likelihood, simulation, moments

A study on deformation of tunnels excavated in fractured rocks

La déformation due au fluage d'un massif rocheux autour d'un tunnel a été rencontrée fréquemment. Ce phénomène est évident où il y a des tunnels creusés dans la roche tendre, des masses rocheuses faible et fortement cisaillées, ou des massifs rocheux soumis à des contraintes in-situ élevées. La déformation due au fluage se produit fréquemment au moment d’excavation des tunnels longs où il y a des failles et des zones fracturées et cisaillées. Ce phénomène peut causer différents dommages sur des systèmes de soutènement en raison de la déformation excessive et des effondrements. La déformation excessive impose une ré-excavation de la section du tunnel, qui monte le coût supplémentaire, la durée de la réalisation du projet et le risque de la sécurité sur le projet. En plus, comme la stabilité de terrain est dans un état critique durant la ré-excavation, une petite négligence peut conduire à une grande caverne. Bien que la déformation de fluage est commune dans un massif rocheux à une faible résistance dans un tunnel très profond, mais ce phénomène a été observé dans des tunnels peu profonds. Une bonne compréhension des déformations causées par une excavation souterraine requiert la connaissance de l'interaction roche-support et l'interprétation des données de terrain. Auparavant, l’objet principal de la surveillance effectuée durant la construction du tunnel était des mesures de la pression au terrain imposé sur le revêtement du tunnel. Mais aujourd’hui, les méthodes modernes de construction de tunnel se concentrent sur la surveillance des déplacements pendant et après la construction. Afin de déterminer des déformations dans les tunnels, Panet et Sulem ont supposé que "Le tunnel a une section transversale circulaire et le milieu est homogène et isotrope, aussi le tunnel est suffisamment profond pour considérer que la distribution des contraintes est homogène". Mais dans le cas quasi réel, la distribution de la contrainte autour du tunnel est hétérogène et anisotrope. Dans cette étude, pour la modification des équations Panet et Sulem, certaines équations sont proposées en cas de matériau hétérogène et anisotrope pour généraliser le problème. La galerie de force motrice Seymareh a été considérée comme l’étude de cas. Celle-ci est une partie du conduit d’eau dans le projet de centrale électrique du barrage Seymareh. Ce projet est situé à l'ouest de l'Iran. Les données de surveillance de la galerie de force motrice sont collectées au moment de l’excavation du tunnel, et sont comparées avec les résultats de la modélisation numérique et de la solution analytique. Cette comparaison montre que les résultats des données expérimentales obtenues par la surveillance sont très proches des résultats de la solution analytique, mais il y a une différence entre les deux et la modélisation numérique. Il était prévisible, car l’effet d’autres activités comme l’excavation des tunnels verticaux n’est pas prise en compte dans l’analyse numérique et aussi dans la solution analytique. Il est évident que les autres activités comme l’excavation des tunnels verticaux et l'excavation du tunnel principal vers deux directions opposées, peuvent affecter sur les résultats de la surveillance. D'autre part, les données initiales utilisées dans l'analyse numérique et la solution analytique ne sont pas tout à fait exactes, car elles sont obtenues en tant que représentatives du massif rocheux de la région, mais pas pour une section particulière. Toutefois, le but de cette étude est le développement d'une solution analytique de la déformation dans les tunnels sur les conditions générales et la poursuite de cette étude pourra être plus développée.The creep deformation of a rock mass around a tunnel has been encountered frequently. It is particularly common in tunnels excavated in soft rock, heavily sheared weak rock masses or rock masses subjected to high in-situ stresses. Creep deformation in fault and shear fractured zones are one of the frequently encountered difficulties in long tunnel construction, which tend to cause failure of supporting systems due to excessive deformation and cavern. Excessive deformation would necessitate re-mining of the tunnel cross section, thus imposing impacts such as extra cost, extended time schedule and safety risk on the project. Furthermore, as the ground stability is in critical condition during re-mining, the slightest negligence would lead to major cavern. Although creep deformation is common to extremely poor rock mass under high overburden in a tunnel alignment, but however this phenomenon is not limited to tunnels with high overburden. A good understanding of the deformations caused by an underground excavation requires simultaneously knowledge of the rock-support interaction and interpretation of field data. Formerly, the main purpose of the monitoring carried out during tunnel construction was to measure the ground pressures acting on the tunnel lining. Modern tunneling practice emphasizes the monitoring of the displacements occurring during and after the construction. Panet and Sulem for determining of deformations in tunnels have assumed that "The tunnel has a circular cross section and around the tunnel, the rock is homogeneous and isotropic and also the tunnel is deep enough to consider that the stress distribution is homogenous". But in almost real cases, the stresses distribution around the tunnel is not homogeneous and isotropic. In this study, for modification of the Panet and Sulem equations, some equations are proposed in case of nonhomogeneous and anisotropic for generalizing of the problem. Seymareh power tunnel which is considered as a case study is a part of the powerhouse waterways system of the Seymareh dam and hydroelectric power plant project. The project is located in west of Iran. The monitoring data of power tunnel which are collected during excavation of tunnel is compared with the results of numerical modelling and analytical solution results as well as. The results obtained from comparison show although the field data, which are collected through the monitoring, are very close to the analytical solution results (approximately), but there is a significant difference between both of them and numerical modelling results. It was predictable; because the influence of the other activities such as excavation of shaft and surge tank in the numerical analysis and also analytical solution are not considered. It is obvious that other activities such as excavation of shaft and surge tank and also excavation of mean tunnel from other direction which were under operation at the same time can effect on the results of monitoring. On the other hand, the initial data which are used in numerical analysis and analytical solution are not quite accurate; because they are extracted as a representative of the rock mass of region, not for a particular section. However the goal of this study is development of analytical solution of deformation in tunnels on general conditions and pursuit of the study could be leaded to more development in this field