A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Biological activity and metabolic clearance of recombinant human follicle stimulating hormone produced in Sp2/0 myeloma cells

Human follicle stimulating hormone is a pituitary glycoprotein that is essential for the maintenance of ovarian follicle development and testicular spermatogenesis. Like other members of the glycoprotein hormone family, it contains a common a subunit and a hormone specific beta subunit. Each subunit contains two glycosylation sites. The specific structures of the oligosaccharides of human follicle stimulating hormone have been shown to influence both the in vitro and in vivo bioactivity. Since the carbohydrate structure of a protein reflects the glycosylation apparatus of the host cells in which the protein is expressed, we examined the isoform profiles, in vitro bioactivity and metabolic clearance of a preparation of purified recombinant human follicle stimulating hormone derived from a stable, transfected Sp2/0 myeloma cell line, and pituitary human follicle stimulating hormone. Isoelectric focussing and chromatofocussing studies of human follicle stimulating hormone preparations both showed a more basic isoform profile for the recombinant human follicle stimulating hormone compared to that of pituitary human follicle stimulating hormone. The recombinant human follicle stimulating hormone had a significantly higher radioreceptor activity compared to that of pituitary human follicle stimulating hormone, consistent with a greater in vitro potency. Pharmacokinetic studies in rats indicated a similar terminal half life (124 min) to that of the pituitary human follicle stimulating hormone (119 min). Preliminary carbohydrate analysis showed recombinant human follicle stimulating hormone to contain high mannose and/or hybrid type, in addition to complex type carbohydrate chains, terminating with both alpha 2,3 and alpha 2,6 linked sialic acids. These results demonstrate that recombinant human follicle stimulating hormone made in the Sp2/0 myeloma cells is sialylated, has a more basic isoform profile, and has a greater in vitro biological potency compared to those of the pituitary human follicle stimulating hormone.

Biomechanical failure properties and microstructural content of ruptured and unruptured abdominal aortic aneurysms

Purpose: To test the hypothesis that ruptured abdominal aortic aneurysms (AAA) are globally weaker than unruptured ones. Methods: Four ruptured and seven unruptured AAA specimens were harvested whole from fresh cadavers during autopsies performed over an 18-month period. Multiple regionally distributed longitudinally oriented rectangular strips were cut from each AAA specimen for a total of 77 specimen strips. Strips were subjected to uniaxial extension until failure. Sections from approximately the strongest and weakest specimen strips were studied histologically and histochemically. From the load-extension data, failure tension, failure stress and failure strain were calculated. Rupture site characteristics such as location, arc length of rupture and orientation of rupture were also documented. Results: The failure tension, a measure of the tissue mechanical caliber was remarkably similar between ruptured and unruptured AAA (group mean +/- standard deviation of within-subject means: 11.2 +/- 2.3 versus 11.6 +/- 3.6 N/cin; p=0.866 by mixed model ANOVA). In post-hoc analysis, there was little difference between the groups in other measures of tissue mechanical caliber as well such as failure stress (95 +/- 28 versus 98 +/- 23 N/cm(2); p=0.870), failure strain (0.39 +/- 0.09 versus 0.36 +/- 0.09; p=0.705), wall thickness (1.7 +/- 0.4 versus 1.5 +/- 0.4 mm; p=0.470), and % coverage of collagen within tissue cross section (49.6 +/- 12.9% versus 60.8 +/- 9.6%; p=0.133). In the four ruptured AAA, primary rupture sites were on the lateral quadrants (two on left; one on left-posterior; one on right). Remarkably, all rupture lines had a longitudinal orientation and ranged from 1 to 6 cm in length. Conclusion: The findings are not consistent with the hypothesis that ruptured aortic aneurysms are globally weaker than unruptured ones. (C) 2011 Elsevier Ltd. All rights reserved.

Analysis of dynamic process models for structural insight and model reduction .1. Structural identification measures

An important consideration in the development of mathematical models for dynamic simulation, is the identification of the appropriate mathematical structure. By building models with an efficient structure which is devoid of redundancy, it is possible to create simple, accurate and functional models. This leads not only to efficient simulation, but to a deeper understanding of the important dynamic relationships within the process. In this paper, a method is proposed for systematic model development for startup and shutdown simulation which is based on the identification of the essential process structure. The key tool in this analysis is the method of nonlinear perturbations for structural identification and model reduction. Starting from a detailed mathematical process description both singular and regular structural perturbations are detected. These techniques are then used to give insight into the system structure and where appropriate to eliminate superfluous model equations or reduce them to other forms. This process retains the ability to interpret the reduced order model in terms of the physico-chemical phenomena. Using this model reduction technique it is possible to attribute observable dynamics to particular unit operations within the process. This relationship then highlights the unit operations which must be accurately modelled in order to develop a robust plant model. The technique generates detailed insight into the dynamic structure of the models providing a basis for system re-design and dynamic analysis. The technique is illustrated on the modelling for an evaporator startup. Copyright (C) 1996 Elsevier Science Ltd

Plant transformation: Problems and strategies for practical application

Plant transformation is now a core research tool in plant biology and a practical tool for cultivar improvement. There are verified methods for stable introduction of novel genes into the nuclear genomes of over 120 diverse plant species. This review examines the criteria to verify plant transformation; the biological and practical requirements for transformation systems; the integration of tissue culture, gene transfer, selection, and transgene expression strategies to achieve transformation in recalcitrant species; and other constraints to plant transformation including regulatory environment, public perceptions, intellectual property, and economics. Because the costs of screening populations showing diverse genetic changes can far exceed the costs of transformation, it is important to distinguish absolute and useful transformation efficiencies. The major technical challenge facing plant transformation biology is the development of methods and constructs to produce a high proportion of plants showing predictable transgene expression without collateral genetic damage. This will require answers to a series of biological and technical questions, some of which are defined.

The IgM anti-desmoglein 1 response distinguishes Brazilian pemphigus foliaceus (Fogo selvagem) from other forms of pemphigus

Fogo selvagern (FS) and pemphigus foliaceus (PF) possess pathogenic IgG anti-desmoglein 1-(Dsg1) autoantibodies. Although PF occurs sporadically, FS is endemic in Limao Verde (LV), Brazil (3.4% prevalence). IgM anti-Dsg1 were detected in 58% FS LV patients (n=31), 19% of FS patients from Hospital-Campo Grande (n=57), 19% from Hospital-Goiania (n=42), 12% from Hospital-Sao Paulo (n=56), 10% of PF patients from United States (n=20), and 0% of PF patients from Japan (n=20). Pemphigus vulgaris (n=40, USA and Japan), bullous pemphigoid (n=40, USA), and healthy donors (n=55, USA) showed negligible percentages of positive sera. High percentages of positive IgM anti-Dsg1 were found in healthy donors from four rural Amerindian populations (42% of 243) as compared with urban donors (14% of 81; P<0.001). More than 50% of healthy donors from LV (n=99, age 5-20 years) possess IgM anti-Dsg1 across ages, whereas IgG-anti-Dsg1 was detected in 2.9% (age 5-10 years), 7.3% (age 11-15 years), and 29% of donors above age 16. IgM anti-Dsg1 epitopes are Ca2+ and carbohydrate-independent. We propose that IgM anti-Dsg1 are common in FS patients in their native environment and uncommon in other pemphigus phenotypes and in FS patients who migrate to urban hospitals. Recurrent environmental antigenic exposure may lead to IgM and IgG responses that trigger TS.

Electrical and chemical diagnostics of transformers insulation .A. Aged transformer samples

This paper describes the application of two relatively new diagnostic techniques for the determination of insulation condition in aged transformers. The techniques are (a) measurements of interfacial polarization spectra by a DC method and (b) measurements of molecular weight and its distribution by gel permeation chromatography. Several other electrical properties of the cellulose polymer were also investigated. Samples were obtained from a retired power transformer and they were analysed by the developed techniques. Six distribution transformers were also tested with the interfacial polarization spectra measurement technique, and the molecular weight of paper/pressboard samples from these transformers were also measured by the gel permeation chromatography. The variation of the results through different locations in a power transformer is discussed in this paper. The possible correlation between different measured properties was investigated and discussed in this paper.

Electrical and chemical diagnostics of transformers insulation .B. Accelerated aged insulation samples

This paper describes the analysis of accelerated aged insulation samples to investigate the degradation processes observed in the insulation from aged transformers. Short term accelerated ageing experiments were performed on paper wrapped insulated conductors and on pressboard samples. The condition of aged insulation samples was investigated by two relatively new diagnostic techniques: (a) measurements of interfacial polarization spectra by a DC method (b) measurements of molecular weight and its distribution by gel permeation chromatography. Several other electrical properties of the paper/pressboard samples were also studied. Possible correlations have been investigated among the different measured properties. The GPC results have been used to predict how molecular weights change with temperature and time.

Relationship between limb movement speed and associated contraction of the trunk muscles

Rapid shoulder movement is preceded by contraction of the abdominal muscles to prepare the body for the expected disturbance to postural equilibrium and spinal stability provoked by the reactive forces resulting from the movement. The magnitude of the reactive forces is proportional to the inertia of the limb. The aim of the study was to investigate if changes in the reaction time latency of the abdominal muscles was associated with variation in the magnitude of the reactive forces resulting from variation in limb speed. Fifteen participants performed shoulder flexion at three different speeds (fast, natural and slow). The onset of EMG of the abdominal muscles, erector spinae and anterior deltoid (AD) was recorded using a combination of fine-wire and surface electrodes. Mean and peak velocity was recorded for each limb movement speed for five participants. The onset of transversus abdominis (TrA) EMG preceded the onset of AD in only the fast movement condition. No significant difference in reaction time latency was recorded between the fast and natural speed conditions for all muscles. The reaction time of each of the abdominal muscles relative to AD was significantly delayed with the slow movement compared to the other two speeds. The results indicate that the reaction time latency of the trunk muscles is influenced by limb inertia only with limb movement below a threshold velocity.

Stem cells in endometrium and their role in the pathogenesis of endometriosis

The human endometrium is a dynamic tissue that undergoes cycles of growth and regression with each menstrual cycle. Adult progenitor stem cells are likely responsible for this remarkable regenerative capacity; these same progenitor stem cells may also have an enhanced capacity to generate endometriosis if shed in a retrograde fashion. The progenitor stem cells reside in the uterus; however, less-committed mesenchymal stem cells may also travel from other tissues such as bone marrow to repopulate the progenitor population. Mesenchymal stem cells are also involved in the pathogenesis of endometriosis and may be the principle source of endometriosis outside of the peritoneal cavity when they differentiate into endometriosis in ectopic locations. Finally, besides progenitor stem cells, recent publications have identified multipotent stem cells in the endometrium. These multipotent stem cells are a readily available source of cells that are useful in tissue engineering and regenerative medicine. Endometrial stem cells have been used to generate chondrocytes, myocytes, neurons, and adiposites in vitro as well as to replace dopaminergic neurons in a murine model of Parkinson`s disease.

Investigating 22q11.2 Deletion and Other Chromosomal Aberrations in Fetuses With Heart Defects Detected by Prenatal Echocardiography

Congenital heart disease (CHD) is the most common birth defect and the leading cause of mortality in the first year of life. In fetuses with a heart defect, chromosomal abnormalities are very frequent. Besides aneuploidy, 22q11.2 deletion is one of the most recognizable chromosomal abnormalities causing CHD. The frequency of this abnormality varies in nonselected populations. This study aimed to investigate the incidence of the 22q11.2 deletion and other chromosomal alterations in a Brazilian sample of fetuses with structural cardiac anomalies detected by fetal echocardiography. In a prospective study, 68 fetuses with a heart defect were evaluated. Prenatal detection of cardiac abnormalities led to identification of aneuploidy or structural chromosomal anomaly in 35.3% of these cases. None of the fetuses with apparently normal karyotypes had a 22q11.2 deletion. The heart defects most frequently associated with chromosomal abnormalities were atrioventricular septal defect (AVSD), ventricular septal defect (VSD), and tetralogy of Fallot. Autosomal trisomies 18 and 21 were the most common chromosomal abnormalities. The study results support the strong association of chromosome alterations and cardiac malformation, especially in AVSD and VSD, for which a chromosome investigation is indicated. In fetuses with an isolated conotruncal cardiopathy, fluorescence in situ hybridization (FISH) to investigate a 22q11.2 deletion is not indicated.