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.

Super-CHO - A cell line capable of autocrine growth under fully defined protein-free conditions

Chinese Hamster Ovary (CHO) cells are widely used for the large scale production of recombinant biopharmaceuticals. Growth of the CHO-K1 cell line has been demonstrated in serum-free medium containing insulin, transferrin and selenium. In an attempt to get autocrine growth in protein-free medium, DNA coding for insulin and transferrin production was transfected into CHO-K1 cells. Transferrin was expressed well, with clones secreting approximately 1000 ng/10(6)cells/24h. Insulin was poorly expressed, with rates peaking at 5 ng/10(6)cells/24h. Characterisation of the secreted insulin indicated that the CHO cells were incompletely processing the insulin molecule. Site-directed mutagenesis was used to introduce a furin (prohormone converting enzyme) recognition sequence into the insulin molecule, allowing the production of active insulin. However, the levels were still too low to support autocrine growth. Further investigations revealed insulin degrading activity (presumably due to the presence of insulin degrading enzymes) in the cytoplasm of CHO cells. To overcome these problems insulin-like growth factor I (instead of insulin) was transfected into the cells. IGF-1 was completely processed and expressed at rates greater than 500 ng/10(6)cells/24h. In this paper we report autonomous growth of the transfected CHO-K1 cell line expressing transferrin and IGF-1 in protein-free medium without the addition of exogenous growth factors. Growth rates and final cell densities of these cells were identical to that of the parent cell line CHO-K1 growing in insulin, transferrin, and selenium supplemented serum-free media.

VKORC1 polymorphisms in Brazilians: comparison with the Portuguese and Portuguese-speaking Africans and pharmacogenetic implications

Aims: The heterogeneity of the Brazilian population renders the extrapolation of pharmacogenomic data derived from well-defined ethnic groups inappropriate. We investigated the influence of self-reported `race/color`, geographical origin and genetic ancestry on the distribution of four VKORC1 SNPs and haplotypes in Brazilians. Comparative data were obtained from two major ancestral roots of Brazilians: Portuguese and Africans from former Portuguese colonies. Materials & methods: A total of 1037 healthy adults Brazilians, recruited at four different geographical regions and self identified as white, brown or black (race/color categories), 89 Portuguese and 216 Africans from Angola and Mozambique were genotyped for the VKORC1 3673G>A (rs9923231), 5808T>G (rs2884737), 6853G>C (rs8050894) and 9041G>A (rs7294) polymorphisms using TaqMan (R) (Applied Biosystems, CA, USA) assays. VKORC1 haplotypes were statistically inferred using the haplo.stats software. We inferred the statistical association between the distribution of the VKORC1 polymorphisms among Brazilians and self-reported color, geographical region and genetic ancestry by fitting multinomial log linear models via neural networks. Individual proportions of European and African ancestry were used to assess the impact of genetic admixture on the frequency distribution of VKORC1 polymorphisms among Brazilians, and for the comparison of Brazilians with Portuguese and Africans. Results: The frequency distribution of the 3673G>A and 5808T>G polymorphisms, and VKORC1 haplotypes among Brazilians varies across geographical regions, within self-reported color categories and according to the individual proportions of European and African genetic ancestry. Notably, the frequency of the warfarin sensitive VKORC1 3673A allele and the distribution of VKORC1 haplotypes varied continuously as the individual proportion of European ancestry increased in the entire cohort, independently of race/color categorization and geographical origin. Brazilians with more than 80% African ancestry differ significantly from Angolans and Mozambicans in frequency of the 3673G>A, 5808T>G and 6853G>C polymorphisms and haplotype distribution, whereas no such differences are observed between Brazilians with more than 90% European ancestry and Portuguese individuals. Conclusion: The diversity of the Brazilian population, evident in the distribution of VKORC1 polymorphisms, must be taken into account in the design of pharmacogenetic clinical trials and dealt with as a continuous variable. Warfarin dosing algorithms that include `race` terms defined for other populations are clearly not applicable to the heterogeneous and extensively admixed Brazilian population.

Prevalence of Erectile Dysfunction as Defined by the International Index of Erectile Function (IIEF) and Self-Reported Erectile Dysfunction in a Sample of Brazilian Men Who Consider Themselves Healthy

A cross-sectional study was carried out with 288 male blood donors, aged between 40 and 60 years old, with the aim of comparing the prevalence of erectile dysfunction (ED) as defined by the International Index of Erectile Function (IIEF) and that resulting from the simple questioning of the presence of ED. Socio-demographic, clinical, and behavioral factors that are associated with the presence of ED were considered. Erectile dysfunction prevalence in the IIEF was 31.9%, while self-reported ED prevalence was 3.1%. The factors associated to ED, as reported by the IIEF were: professional inactivity, suspected depression and/or anxiety, reduced sexual desired, and self-reported ED.

Stem cell transplants for patients with relapsed/refractory leukaemia

Purpose of review Today the indication for allogeneic stem cell transplantation for a high-risk leukaemia in first remission is well defined by most centres. In patients with primary refractory leukaemia the indication is controversially discussed. Similarly patients with relapse and advanced disease have a poor prognosis with chemotherapy, but also with transplantation. Finally more elderly patients with comorbidities seek help from transplantation, most of them in advanced and otherwise refractory disease. The results are reviewed. Recent findings The role of alloimmunity in the control of leukaemia has been defined and pretransplant conditioning treatment could be reduced to less intensive protocols. Graft-versus-leukaemia reactions have been demonstrated with the transfusion of donor lymphocytes. Using nonmyeloablative regimens allogeneic stem cell transplantation could be offered to elderly patients, the majority of patients with acute myeloid leukaemia and myelodysplastic syndromes. The use of antibodies and radio-immunotherapy has improved the treatment of lymphoid malignancies. Cord blood transplants have shown improved results with double transplants. The superiority of maternal donors indicates a role of the donor`s immune repertoire. Summary Taking advantage of alloimmune reactions and reduced intensity conditioning allogeneic stem cell transplantation has become successful even in elderly and fragile patients. The combination of molecular monitoring, targeted therapy and transplantation as a form of immunotherapy may improve the results of leukaemia treatment further.

Evaluation of computational methods for the reconstruction of HLA haplotypes

Human leukocyte antigen (HLA) haplotypes are frequently evaluated for population history inferences and association studies. However, the available typing techniques for the main HLA loci usually do not allow the determination of the allele phase and the constitution of a haplotype, which may be obtained by a very time-consuming and expensive family-based segregation study. Without the family-based study, computational inference by probabilistic models is necessary to obtain haplotypes. Several authors have used the expectation-maximization (EM) algorithm to determine HLA haplotypes, but high levels of erroneous inferences are expected because of the genetic distance among the main HLA loci and the presence of several recombination hotspots. In order to evaluate the efficiency of computational inference methods, 763 unrelated individuals stratified into three different datasets had their haplotypes manually defined in a family-based study of HLA-A, -B, -DRB1 and -DQB1 segregation, and these haplotypes were compared with the data obtained by the following three methods: the Expectation-Maximization (EM) and Excoffier-Laval-Balding (ELB) algorithms using the arlequin 3.11 software, and the PHASE method. When comparing the methods, we observed that all algorithms showed a poor performance for haplotype reconstruction with distant loci, estimating incorrect haplotypes for 38%-57% of the samples considering all algorithms and datasets. We suggest that computational haplotype inferences involving low-resolution HLA-A, HLA-B, HLA-DRB1 and HLA-DQB1 haplotypes should be considered with caution.

Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.