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

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

Repair, regenerative and supportive therapies of the annulus fibrosus: achievements and challenges

Lumbar discectomy is a very effective therapy for neurological decompression in patients suffering from sciatica due to hernia nuclei pulposus. However, high recurrence rates and persisting post-operative low back pain in these patients require serious attention. In the past decade, tissue engineering strategies have been developed mainly targeted to the regeneration of the nucleus pulposus (NP) of the intervertebral disc. Accompanying techniques that deal with the damaged annulus fibrous are now increasingly recognised as mandatory in order to prevent re-herniation to increase the potential of NP repair and to confine NP replacement therapies. In the current review, the requirements, achievements and challenges in this quickly emerging field of research are discussed

Notes from the Arnold Arboretum: Japanese Theory- American Practice

Volume: 31Start Page: 294End Page: 29

Subtropical Bonsai for Indoor Gardening

Volume: 36Start Page: 1End Page: 2

Mineral intake independent from gastric irritation or pica by cell-dehydrated rats

Gavage of 2 M NaCl (IG 2 M NaCl), a procedure to induce cell-dehydration-and water and 015 M NaCl intake in a two-bottle choice test-is also a potential gastric irritant. In this study, we assessed whether mineral intake induced by IG 2 M NaCl is associated with gastric irritation or production of pica in the rat. We first determined the amount of mineral solution (0.15 M NaCl, 0.15 M NaHCO3, 0.01 M KCl and 0.05 mM CaCl2) and water ingested in response to IG 2 M NaCl in a five-bottle test. Then, we used mineral solutions (0.01 M KCl and 0.15 M NaHCO3), whose intakes were significantly increased compared to controls, and water in three-bottle tests to test the gastric irritation hypothesis. The IG 2 M NaCl induced KCl and NaHCO3 intake that was not inhibited by gavage with gastric protectors Al(OH)(3) or NaHCO3. IG 2 M NaCl or gavage of 0.6 N acetic acid induced mild irritation, hyperemia, of the glandular part of the stomach. A gavage of 50% ethanol induced strong irritation seen as pinpoint ulcerations. Neither ethanol nor acetic acid induced any fluid intake. Neither IG 2 M NaCl nor acetic acid induced kaolin intake, a marker of pica in laboratory rats. Ethanol did induce kaolin intake. These results suggest that IG 2 M NaCl induced a mineral fluid intake not selective for sodium and independent from gastric irritation or pica. (C) 2011 Elsevier B.V. All rights reserved

Water deprivation-induced sodium appetite and differential expression of encephalic c-Fos immunoreactivity in the spontaneously hypertensive rat

Pereira-Derderian DT, Vendramini RC, Menani JV, de Luca Jr. LA. Water deprivation-induced sodium appetite and differential expression of encephalic c-Fos immunoreactivity in the spontaneously hypertensive rat. Am J Physiol Regul Integr Comp Physiol 298: R1298-R1309, 2010. First published March 3, 2010; doi: 10.1152/ajpregu.00359.2009.-The spontaneously hypertensive rat (SHR) has an intense consumption of NaCl solution. Water deprivation (WD) followed by water intake to satiety induces partial rehydration (PR)-the WD-PR protocol-and sodium appetite. In the present work, WD produced similar water intake and no alterations in arterial pressure among spontaneously hypertensive rat (SHR), Wistar-Kyoto, and Holtzman strains. It also increased the number of cells with positive c-Fos immunoreactivity (Fos-IR) in the lamina terminalis and in the hypothalamic supraoptic (SON) and paraventricular (parvocellular, PVNp) nucleus in these strains. The WD and WD-PR produced similar alterations in all strains in serum osmolality and protein, plasma renin activity, and sodium balance. The SHR ingested about 10 times more 0.3 M NaCl than normotensives strains in the sodium appetite test that follows WD-PR. After WD-PR, the Fos-IR persisted, elevated in the lamina terminalis of all strains but notably in the subfornical organ of the SHR. The WD-PR reversed Fos-IR in the SON of all strains and in the PVNp of SHR. It induced Fos-IR in the area postrema and in the nucleus of the solitary tract (NTS), dorsal raphe, parabrachial (PBN), pre-locus coeruleus (pre-LC), suprachiasmatic, and central amygdalar nucleus of all strains. This effect was bigger in the caudal-NTS, pre-LC, and medial-PBN of SHRs. The results indicate that WD-PR increases cell activity in the forebrain and hindbrain areas that control sodium appetite in the rat. They also suggest that increased cell activity in facilitatory brain areas precedes the intense 0.3 M NaCl intake of the SHR in the sodium appetite test.Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq

Lung volume reduction surgery for ipsilateral emphysematous bullae after congenital diaphragmatic hernia repair

Congenital diaphragmatic hernia (CDH) is characterized by a diaphragmatic defect with herniation of abdominal organs into the thoracic cavity. Outcomes are largely dependent on the degree of pulmonary hypoplasia and pulmonary hypertension, with the most severe cases associated with approximately 50% mortality. Long term pulmonary complications are well known, however, development of lobar emphysema leading to hemodynamic instability is exceedingly rare. We report the case of a patient with severe left-sided CDH who underwent successful diaphragmatic hernia repair but subsequently developed emphysematous bullous disease of the left lung with hemodynamic compromise, requiring emergent lung volume reduction surgery