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.

Presentation of the HPV16E7 protein by skin grafts is insufficient to allow graft rejection in an E7-primed animal

The E7 transforming protein of Human Papillomavirus type 16 (HPV16) is expressed in the skin of a line of RIB mice transgenic for the E6 and E7 open reading frames of HPV16 driven from the alpha A crystallin promoter (FVB alpha AcryHPV16E6E7). We have transferred skin from FVB alpha AcryHPV16E6E7 mice to naive or E7-primed syngeneic NE recipients to assess whether the E7 protein of HPV16 can function as a minor transplantation antigen (MTA) and promote skin graft rejection. FVB mice did not reject E7 expressing tail or flank skin grafts. E7 immunized FVB x C57BL/6J mice recipients of FVB alpha AcryHPV16E6E7 x C57BL/6J skin generated humoral and DTH responses to E7 in vivo and E7-specific CTL precursors in the spleen, but failed to reject 57 expressing tail skin grafts by 100 days posttransfer. Thus although HPV16 E7 + ve mesenchymal and endodermal tumors can be eliminated by an E7-specific immune response, the same protein is unable to act as a MTA and promote graft rejection when expressed in skin cells. Lack of rejection of grafts expressing MTAs such as E7 may be relevant to the immunology of epithelial tumors expressing tumor-specific antigens and to our understanding of the immunology of diseases of the skin. (C) 1997 Academic Press.

Evaluation of RET polymorphisms in a six-generation family with G533C RET mutation: specific RET variants may modulate age at onset and clinical presentation

P>Context We previously described a six-generation family with G533C RET mutation and medullary thyroid carcinoma, in the largest family reported do date. Of particular interest, phenotype variability regarding the age of onset and clinical presentation of the disease, was observed. Objective We evaluate whether single SNPs within RET oncogene or haplotype comprising the RET variants (defined by Haploview) could predispose to early development of MTC in this family and influence the clinical manifestation. Design Eight SNPs were selected based on their previous association with the clinical course of hereditary or sporadic MTC, in particular promoting an early onset of disease. The variants were initially tested in 77 G533C-carriers and 100 controls using either PCR-direct sequencing or PCR-RFLP. Association between a SNP or haplotype and age at diagnosis or presence of lymph node metastasis was tested in 34 G533C-carries with MTC. Different bioinformatic tools were used to evaluate the potential effects on RNA splicing. Results An association was found between IVS1-126G > T and age at diagnosis. The variant [IVS8 +82A > G; 85-86 insC] was associated with the presence of lymph node metastases at diagnosis. In silico analysis suggested that this variant may induce abnormal splicing. This in silico analysis predicted that the [IVS8 +82A > G; 85-86 insC] could alter the splicing by disrupting and/or creating exonic splicing enhancer motifs. Conclusions We here identified two RET variants that were associated with phenotype variability in G533C-carriers, which highlights the fact that the modifier effect of a variant might depend on the type of mutation.

Transanal Small Bowel Evisceration: An Unusual Presentation of Rectal Impalement

Traumatic transanal small bowel evisceration is a rare condition usually associated with suction injuries or blunt abdominal trauma. We report the first case of intestinal evisceration through the anus caused by penetrating trauma (rectal impalement). Additionally, we performed a literature review of all English language articles since 1970 concerned with traumatic transanal small bowel evisceration. Mechanisms of injury and the surgical management are discussed.

Urogenital tuberculosis in a patient with AIDS: an unusual presentation

Background A 38-year-old man with AIDS presented to hospital with a 3-month history of fevers, bilateral lumbar pain, dysuria and increased urinary frequency. Six years earlier he had received 6 months` treatment for pulmonary tuberculosis. At presentation, he was on antiretroviral therapy with a combination of efavirenz, stavudine and lamivudine. Investigations Physical examination, evaluation of HIV viral load, CD4 count, measurement of serum hemoglobin concentration, white blood cell count, urinalysis, urine culture for usual pathogens, direct smear and urine culture for Mycobacterium tuberculosis, chest radiography, abdominal CT, measurement of serum creatinine concentration and estimated creatinine clearance. Diagnosis Urogenital tuberculosis. Management The patient`s symptoms and radiological abnormalities persisted despite antibiotic therapy for presumed bacterial infection. After urine culture had confirmed M. tuberculosis infection, he was administered pharmacological treatment comprising isoniazid, rifampin, pyrazinamide and ethambutol for 2 months, with isoniazid and rifampin given for a further 7 months. His symptoms improved within a few days of initiating treatment. Six months after treatment started, CT revealed a nonfunctioning right kidney and a functional left kidney with areas of scarring. The patient refused right nephrectomy, and completed his pharmacological treatment. No evidence of disease recurrence was observed during 2 years of follow-up.

Autoinflammatory diseases: Mimics of Autoimmunity or part of its spectrum? Case presentation

Introduction: Autoinflammatory diseases are very rare diseases presenting within a wide clinical spectrum. Recognition of the main clinical features are challenging due to overlapping or mimicking with autoimmune diseases. Discussion: A case series is reviewed to illustrate typical and atypical features and the difficulties of these diagnoses in the low prevalence areas-a typical unrecognized case of familial Mediterranean fever (FMF) in a youngster, an atypical adult case with overlapping of IMF with Behcet disease, and an early presentation of FMF in infant presenting with inflammatory colitis, as well as the overlapping features within the cryopirin diseases spectrum in an 8-year-old boy who presented with systemic onset arthritis. Conclusion: These cases may represent examples of a very puzzling relationship among disorders of innate and adaptive immune systems and inflammation.