Estimating the feasibility of transition paths in extended finite state machines

There has been significant interest in automating testing on the basis of an extended finite state machine (EFSM) model of the required behaviour of the implementation under test (IUT). Many test criteria require that certain parts of the EFSM are executed. For example, we may want to execute every transition of the EFSM. In order to find a test suite (set of input sequences) that achieves this we might first derive a set of paths through the EFSM that satisfy the criterion using, for example, algorithms from graph theory. We then attempt to produce input sequences that trigger these paths. Unfortunately, however, the EFSM might have infeasible paths and the problem of determining whether a path is feasible is generally undecidable. This paper describes an approach in which a fitness function is used to estimate how easy it is to find an input sequence to trigger a given path through an EFSM. Such a fitness function could be used in a search-based approach in which we search for a path with good fitness that achieves a test objective, such as executing a particular transition, and then search for an input sequence that triggers the path. If this second search fails then we search for another path with good fitness and repeat the process. We give a computationally inexpensive approach (fitness function) that estimates the feasibility of a path. In order to evaluate this fitness function we compared the fitness of a path with the ease with which an input sequence can be produced using search to trigger the path and we used random sampling in order to estimate this. The empirical evidence suggests that a reasonably good correlation (0.72 and 0.62) exists between the fitness of a path, produced using the proposed fitness function, and an estimate of the ease with which we can randomly generate an input sequence to trigger the path

Sustratos de cobertura y suplementación del compost en cultivo de champiñón

El objetivo de este trabajo fue describir el comportamiento de la corteza de pino, de la fibra de coco y del sustrato postcultivo, como capas de cobertura, en el cultivo del champiñón (Agaricus bisporus). Tras la caracterización física, química y biológica de las capas de cobertura, se evaluaron los parámetros de producción cualitativos y cuantitativos, en un ciclo de cultivo de champiñón con cuatro floradas. La menor porosidad y capacidad de retención de agua del suelo mineral, sin aditivos, y la alta conductividad eléctrica del sustrato postcultivo del champiñón utilizado, asociado a la suplementación nutritiva, son los factores determinantes en el diferente comportamiento agronómico observado. Las mezclas de cobertura influenciaron el rendimiento y el número de champiñones, la eficiencia biológica, la tasa de producción y la precocidad. El mejor rendimiento total se obtuvo con la mezcla de suelo mineral y fibra de coco suplementado. Las capas de coberturas evaluadas pueden ser utilizadas comercialmente para la producción de champiñón