Comparing finite state machine test coverage criteria

To plan testing activities, testers face the challenge of determining a strategy, including a test coverage criterion that offers an acceptable compromise between the available resources and test goals. Known theoretical properties of coverage criteria do not always help and, thus, empirical data are needed. The results of an experimental evaluation of several coverage criteria for finite state machines (FSMs) are presented, namely, state and transition coverage; initialisation fault and transition fault coverage. The first two criteria focus on FSM structure, whereas the other two on potential faults in FSM implementations. The authors elaborate a comparison approach that includes random generation of FSM, construction of an adequate test suite and test minimisation for each criterion to ensure that tests are obtained in a uniform way. The last step uses an improved greedy algorithm.

Antinuclear antibodies testing as a routine screening for systemic lupus erythematosus in patients presenting first-episode psychosis

Aims: This report discusses the use of antinuclear antibody (ANA) detection as a screening test for neuropsychiatry systemic lupus erythematosus (NPSLE) in patients presenting a first-episode psychosis. Methods: We reviewed the medical records of 85 patients admitted to an emergency service due to first-episode psychosis, during a 1-year period, for whom ANA detection was performed through an IFI HEp2 cell assay. ANA-positive patients were subsequently evaluated for autoantibodies and neuroimaging exams. Results: Three patients presented as ANA positive in the initial screening and further investigation confirmed NPSLE in two patients. The patients were treated with antipsychotics and cyclophosphamide pulses with satisfactory outcomes. Conclusion: Even though ANA detection is not specific, it is a low-cost procedure and could be an important screening test for NPSLE in the early-onset psychosis.

Plasma Pro-B-Type Natriuretic Peptide Testing as a Screening Method for Hypertrophic Cardiomyopathy

Background: Clinical multistage risk assessment associated with electrocardiogram (ECG) and NT-proBNP may be a feasible strategy to screen hypertrophic cardiomyopathy (HCM). We investigated the effectiveness of a screening based on ECG and NT-proBNP in first-degree relatives of patients with HCM. Methods and Results: A total of 106 first-degree relatives were included. All individuals were evaluated by echocardiography, ECG, NT-proBNP, and molecular screening (available for 65 individuals). From the 106 individuals, 36 (34%) had diagnosis confirmed by echocardiography. Using echocardiography as the gold standard, ECG criteria had a sensitivity of 0.71, 0.42, and 0.52 for the Romhilt-Estes, Sokolow-Lyon, and Cornell criteria, respectively. Mean values of NT-ProBNP were higher in affected as compared with nonaffected relatives (26.1 vs. 1290.5, P < .001). The AUC of NT-proBNP was 0.98. Using a cutoff value of 70 pg/mL, we observed a sensitivity of 0.92 and specificity of 0.96. Using molecular genetics as the gold standard, ECG criteria had a sensitivity of 0.67, 0.37, and 0.42 for the Romhilt-Estes, Sokolow-Lyon, and Cornell criteria, respectively. Using a cutoff value of 70 pg/mL, we observed a sensitivity of 0.83 and specificity of 0.98. Conclusion: Values of NT-proBNP above 70 pg/mL can be used to effectively select high-risk first-degree relatives for HCM screening. (J Cardiac Fail 2012;18:564-568)

Comparison of disc diffusion, Etest and broth microdilution for testing susceptibility of carbapenem-resistant P. aeruginosa to polymyxins

Abstract Background Considering the increasing use of polymyxins to treat infections due to multidrug resistant Gram-negative in many countries, it is important to evaluate different susceptibility testing methods to this class of antibiotic. Methods Susceptibility of 109 carbapenem-resistant P. aeruginosa to polymyxins was tested comparing broth microdilution (reference method), disc diffusion, and Etest using the new interpretative breakpoints of Clinical and Laboratory Standards Institute. Results Twenty-nine percent of isolates belonged to endemic clone and thus, these strains were excluded of analysis. Among 78 strains evaluated, only one isolate was resistant to polymyxin B by the reference method (MIC: 8.0 μg/mL). Very major and major error rates of 1.2% and 11.5% were detected comparing polymyxin B disc diffusion with the broth microdilution (reference method). Agreement within 1 twofold dilution between Etest and the broth microdilution were 33% for polymyxin B and 79.5% for colistin. One major error and 48.7% minor errors were found comparing polymyxin B Etest with broth microdilution and only 6.4% minor errors with colistin. The concordance between Etest and the broth microdilution (reference method) was respectively 100% for colistin and 90% for polymyxin B. Conclusion Resistance to polymyxins seems to be rare among hospital carbapenem-resistant P. aeruginosa isolates over a six-year period. Our results showed, using the new CLSI criteria, that the disc diffusion susceptibility does not report major errors (false-resistant results) for colistin. On the other hand, showed a high frequency of minor errors and 1 very major error for polymyxin B. Etest presented better results for colistin than polymyxin B. Until these results are reproduced with a large number of polymyxins-resistant P. aeruginosa isolates, susceptibility to polymyxins should be confirmed by a reference method.

The pulmonary embolism rule-out criteria (PERC) rule does not safely exclude pulmonary embolism

The Pulmonary Embolism Rule-out Criteria (PERC) rule is a clinical diagnostic rule designed to exclude pulmonary embolism (PE) without further testing. We sought to externally validate the diagnostic performance of the PERC rule alone and combined with clinical probability assessment based on the revised Geneva score.

Accuracy of immunological criteria for identifying virological failure in children on antiretroviral therapy - The IeDEA Southern Africa Collaboration

Objectives  To determine the diagnostic accuracy of World Health Organization (WHO) 2010 and 2006 as well as United States Department of Health and Human Services (DHHS) 2008 definitions of immunological failure for identifying virological failure (VF) in children on antiretroviral therapy (ART). Methods  Analysis of data from children (<16 years at ART initiation) at South African ART sites at which CD4 count/per cent and HIV-RNA monitoring are performed 6-monthly. Incomplete virological suppression (IVS) was defined as failure to achieve ≥1 HIV-RNA ≤400 copies/ml between 6 and 15 months on ART and viral rebound (VR) as confirmed HIV-RNA ≥5000 copies/ml in a child on ART for ≥18 months who had achieved suppression during the first year on treatment. Results  Among 3115 children [median (interquartile range) age 48 (20-84) months at ART initiation] on treatment for ≥1 year, sensitivity of immunological criteria for IVS was 10%, 6% and 26% for WHO 2006, WHO 2010 and DHHS 2008 criteria, respectively. The corresponding positive predictive values (PPV) were 31%, 20% and 20%. Diagnostic accuracy for VR was determined in 2513 children with ≥18 months of follow-up and virological suppression during the first year on ART with sensitivity of 5% (WHO 2006/2010) and 27% (DHHS 2008). PPV results were 42% (WHO 2010), 43% (WHO 2006) and 20% (DHHS 2008). Conclusion  Current immunological criteria are unable to correctly identify children failing ART virologically. Improved access to viral load testing is needed to reliably identify VF in children.

The role of targeted viral load testing in diagnosing virological failure in children on antiretroviral therapy with immunological failure

Objectives  To determine the improvement in positive predictive value of immunological failure criteria for identifying virological failure in HIV-infected children on antiretroviral therapy (ART) when a single targeted viral load measurement is performed in children identified as having immunological failure. Methods  Analysis of data from children (<16 years at ART initiation) at South African ART sites at which CD4 count/per cent and HIV-RNA monitoring are performed 6-monthly. Immunological failure was defined according to both WHO 2010 and United States Department of Health and Human Services (DHHS) 2008 criteria. Confirmed virological failure was defined as HIV-RNA >5000 copies/ml on two consecutive occasions <365 days apart in a child on ART for ≥18 months. Results  Among 2798 children on ART for ≥18 months [median (IQR) age 50 (21-84) months at ART initiation], the cumulative probability of confirmed virological failure by 42 months on ART was 6.3%. Using targeted viral load after meeting DHHS immunological failure criteria rather than DHHS immunological failure criteria alone increased positive predictive value from 28% to 82%. Targeted viral load improved the positive predictive value of WHO 2010 criteria for identifying confirmed virological failure from 49% to 82%. Conclusion  The addition of a single viral load measurement in children identified as failing immunologically will prevent most switches to second-line treatment in virologically suppressed children.

Design, construction, and testing of a research quality electric machine testbed

With energy demands and costs growing every day, the need for improving energy efficiency in electrical devices has become very important. Research into various methods of improving efficiency for all electrical components will be a key to meet future energy needs. This report documents the design, construction, and testing of a research quality electric machine dynamometer and test bed. This test cell system can be used for research in several areas including: electric drives systems, electric vehicle propulsion systems, power electronic converters, load/source element in an AC Microgrid, as well as many others. The test cell design criteria, and decisions, will be discussed in reference to user functionality and flexibility. The individual power components will be discussed in detail to how they relate to the project, highlighting any feature used in operation of the test cell. A project timeline will be discussed, clearly stating the work done by the different individuals involved in the project. In addition, the system will be parameterized and benchmark data will be used to provide the functional operation of the system. With energy demands and costs growing every day, the need for improving energy efficiency in electrical devices has become very important. Research into various methods of improving efficiency for all electrical components will be a key to meet future energy needs. This report documents the design, construction, and testing of a research quality electric machine dynamometer and test bed. This test cell system can be used for research in several areas including: electric drives systems, electric vehicle propulsion systems, power electronic converters, load/source element in an AC Microgrid, as well as many others. The test cell design criteria, and decisions, will be discussed in reference to user functionality and flexibility. The individual power components will be discussed in detail to how they relate to the project, highlighting any feature used in operation of the test cell. A project timeline will be discussed, clearly stating the work done by the different individuals involved in the project. In addition, the system will be parameterized and benchmark data will be used to provide the functional operation of the system.

Potential clinical utility of polymerase chain reaction in microbiological testing for sepsis

OBJECTIVES: To evaluate the potential improvement of antimicrobial treatment by utilizing a new multiplex polymerase chain reaction (PCR) assay that identifies sepsis-relevant microorganisms in blood. DESIGN: Prospective, observational international multicentered trial. SETTING: University hospitals in Germany (n = 2), Spain (n = 1), and the United States (n = 1), and one Italian tertiary general hospital. PATIENTS: 436 sepsis patients with 467 episodes of antimicrobial treatment. METHODS: Whole blood for PCR and blood culture (BC) analysis was sampled independently for each episode. The potential impact of reporting microorganisms by PCR on adequacy and timeliness of antimicrobial therapy was analyzed. The number of gainable days on early adequate antimicrobial treatment attributable to PCR findings was assessed. MEASUREMENTS AND MAIN RESULTS: Sepsis criteria, days on antimicrobial therapy, antimicrobial substances administered, and microorganisms identified by PCR and BC susceptibility tests. RESULTS: BC diagnosed 117 clinically relevant microorganisms; PCR identified 154. Ninety-nine episodes were BC positive (BC+); 131 episodes were PCR positive (PCR+). Overall, 127.8 days of clinically inadequate empirical antibiotic treatment in the 99 BC+ episodes were observed. Utilization of PCR-aided diagnostics calculates to a potential reduction of 106.5 clinically inadequate treatment days. The ratio of gainable early adequate treatment days to number of PCR tests done is 22.8 days/100 tests overall (confidence interval 15-31) and 36.4 days/100 tests in the intensive care and surgical ward populations (confidence interval 22-51). CONCLUSIONS: Rapid PCR identification of microorganisms may contribute to a reduction of early inadequate antibiotic treatment in sepsis.

Patient Characteristics and Outcomes of Gastrointestinal Stromal Tumor Patients Undergoing Imatinib Plasma Level Testing

Although gastrointestinal stromal tumor (GIST) is effectively treated with imatinib, there are a number of clinical challenges in the optimal treatment of these patients. The plasma steady-state trough level of imatinib has been proposed to correlate with clinical outcome. Plasma imatinib level may be affected by a number of patient characteristics. Additionally, the ideal plasma trough concentration of imatinib is likely to vary based on the KIT genotype (genotype determines imatinib binding affinity) of the individual patient. Patients’ genotype or plasma imatinib level may influence the type and duration of response that is appreciable by clinical evaluation. The objectives of this study were to determine effects of genotype on the type of response appreciable by current imaging criteria, to determine the distribution of plasma imatinib levels in patients with GIST, to determine factors that correlate with plasma imatinib level, to determine the incremental effects of imatinib dose escalation; and to explore the median plasma levels and outcomes of patients with various KIT mutations. We therefore obtained KIT mutation information and analyzed CT response for size and density measurement of GISTs at baseline and within the first four moths of imatinib treatment. In 126 patients with metastatic/unresectable disease, the KIT genotype of patients’ tumor was significantly associated with unique response characteristics measurable by CT. Furthermore, hepatic and peritoneal metastases differed in their response characteristics. A subgroup of patients with KIT exon 9 mutation, who received higher doses of imatinib and experienced higher trough imatinib levels, experienced improved progression-free survival similar to that of KIT exon 11 patients. Therefore, we have found that imatinib plasma levels were higher in patients with elevated Aspartate amino transferase, were women, were older, or were being treated concomitantly with CYP450 substrate drugs. As expected, CYP450 inducers correlated with a lower plasma imatinib levels in GIST patients. Renal metabolism of imatinib accounts for <10%, so it was not included in the analysis but may affect covariates. Interestingly, there was a trend for low imatinib levels and inferior progression-free survival in patients who had undergone complete gastrectomy. Patients with KIT exon 9 mutation in our cohort received higher imatinib doses, experienced higher trough imatinib levels, and experienced a PFS similar to that of KIT exon 11 patients. In conclusion, imatinib plasma levels are influenced by a number of patient characteristics. The optimal imatinib plasma level for individual patients is not known but is an area of intense investigation. Our study confirms patients with KIT exon 9 mutations benefit from high-dose imatinib and higher trough imatinib levels.

SNPs for parentage testing and traceability in globally diverse breeds of sheep

DNA-based parentage determination accelerates genetic improvement in sheep by increasing pedigree accuracy. Single nucleotide polymorphism (SNP) markers can be used for determining parentage and to provide unique molecular identifiers for tracing sheep products to their source. However, the utility of a particular "parentage SNP" varies by breed depending on its minor allele frequency (MAF) and its sequence context. Our aims were to identify parentage SNPs with exceptional qualities for use in globally diverse breeds and to develop a subset for use in North American sheep. Starting with genotypes from 2,915 sheep and 74 breed groups provided by the International Sheep Genomics Consortium (ISGC), we analyzed 47,693 autosomal SNPs by multiple criteria and selected 163 with desirable properties for parentage testing. On average, each of the 163 SNPs was highly informative (MAF≥0.3) in 48±5 breed groups. Nearby polymorphisms that could otherwise confound genetic testing were identified by whole genome and Sanger sequencing of 166 sheep from 54 breed groups. A genetic test with 109 of the 163 parentage SNPs was developed for matrix-assisted laser desorption/ionization-time-of-flight mass spectrometry. The scoring rates and accuracies for these 109 SNPs were greater than 99% in a panel of North American sheep. In a blinded set of 96 families (sire, dam, and non-identical twin lambs), each parent of every lamb was identified without using the other parent's genotype. In 74 ISGC breed groups, the median estimates for probability of a coincidental match between two animals (PI), and the fraction of potential adults excluded from parentage (PE) were 1.1×10(-39) and 0.999987, respectively, for the 109 SNPs combined. The availability of a well-characterized set of 163 parentage SNPs facilitates the development of high-throughput genetic technologies for implementing accurate and economical parentage testing and traceability in many of the world's sheep breeds.

Feasibility of cardiopulmonary exercise testing and training using a robotics-assisted tilt table in dependent-ambulatory stroke patients

BACKGROUND: We evaluated the feasibility of an augmented robotics-assisted tilt table (RATT) for incremental cardiopulmonary exercise testing (CPET) and exercise training in dependent-ambulatory stroke patients. METHODS: Stroke patients (Functional Ambulation Category ≤ 3) underwent familiarization, an incremental exercise test (IET) and a constant load test (CLT) on separate days. A RATT equipped with force sensors in the thigh cuffs, a work rate estimation algorithm and real-time visual feedback to guide the exercise work rate was used. Feasibility assessment considered technical feasibility, patient tolerability, and cardiopulmonary responsiveness. RESULTS: Eight patients (4 female) aged 58.3 ± 9.2 years (mean ± SD) were recruited and all completed the study. For IETs, peak oxygen uptake (V'O2peak), peak heart rate (HRpeak) and peak work rate (WRpeak) were 11.9 ± 4.0 ml/kg/min (45 % of predicted V'O2max), 117 ± 32 beats/min (72 % of predicted HRmax) and 22.5 ± 13.0 W, respectively. Peak ratings of perceived exertion (RPE) were on the range "hard" to "very hard". All 8 patients reached their limit of functional capacity in terms of either their cardiopulmonary or neuromuscular performance. A ventilatory threshold (VT) was identified in 7 patients and a respiratory compensation point (RCP) in 6 patients: mean V'O2 at VT and RCP was 8.9 and 10.7 ml/kg/min, respectively, which represent 75 % (VT) and 85 % (RCP) of mean V'O2peak. Incremental CPET provided sufficient information to satisfy the responsiveness criteria and identification of key outcomes in all 8 patients. For CLTs, mean steady-state V'O2 was 6.9 ml/kg/min (49 % of V'O2 reserve), mean HR was 90 beats/min (56 % of HRmax), RPEs were > 2, and all patients maintained the active work rate for 10 min: these values meet recommended intensity levels for bouts of training. CONCLUSIONS: The augmented RATT is deemed feasible for incremental cardiopulmonary exercise testing and exercise training in dependent-ambulatory stroke patients: the approach was found to be technically implementable, acceptable to the patients, and it showed substantial cardiopulmonary responsiveness. This work has clinical implications for patients with severe disability who otherwise are not able to be tested.

Evaluating the Utility of Clinical Criteria for the Identification of Lynch Syndrome among Endometrial Cancer Patients

Background: Lynch Syndrome (LS) is a familial cancer syndrome with a high prevalence of colorectal and endometrial carcinomas among affected family members. Clinical criteria, developed from information obtained from familial colorectal cancer registries, have been generated to identify individuals at elevated risk for having LS. In 2007, the Society of Gynecologic Oncology (SGO) codified criteria to assist in identifying women presenting with gynecologic cancers at elevated risk for having LS. These criteria have not been validated in a population-based setting. Materials and Methods: We retrospectively identified 412, unselected endometrial cancer cases. Clinical and pathologic information were obtained from the electronic medical record, and all tumors were tested for expression of the DNA mismatch repair proteins through immunohistochemistry. Tumors exhibiting loss of MSH2, MSH6 and PMS2 were designated as probable Lynch Syndrome (PLS). For tumors exhibiting immunohistochemical loss of MLH1, we used the PCR-based MLH1 methylation assay to delineate PLS tumors from sporadic tumors. Samples lacking methylation of the MLH1 promoter were also designated as PLS. The sensitivity and specificity for SGO criteria for detecting PLS tumors was calculated. We compared clinical and pathologic features of sporadic tumors and PLS tumors. A simplified cost-effectiveness analysis was also performed comparing the direct costs of utilizing SGO criteria vs. universal tumor testing. Results: In our cohort, 43/408 (10.5%) of endometrial carcinomas were designated as PLS. The sensitivity and specificity of SGO criteria to identify PLS cases were 32.7 and 77%, respectively. Multivariate analysis of clinical and pathologic parameters failed to identify statistically significant differences between sporadic and PLS tumors with the exception of tumors arising from the lower uterine segment. These tumors were more likely to occur in PLS tumors. Cost-effectiveness analysis showed clinical criteria and universal testing strategies cost $6,235.27/PLS case identified and $5,970.38/PLS case identified, respectively. Conclusions: SGO 5-10% criteria successfully identify PLS cases among women who are young or have significant family history of LS related tumors. However, a larger proportion of PLS cases occurring at older ages with less significant family history are not detected by this screening strategy. Compared to SGO clinical criteria, universal tumor testing is a cost effective strategy to identify women presenting with endometrial cancer who are at elevated risk for having LS.

Testing a GIS-based methodology for optimal location of Pumped Storage power plants in Norway

Europe needs to restructure its energy system. The aim to decrease the reliance on fossil fuels to a higher dependence on renewable energy has now been imposed by The European Commission. In order to achieve this goal there is a great interest in Norway to become "The Green Battery of Europe". In the pursuit of this goal a GIS-tool was created to investigate the pump storage potential in Norway. The tool searches for possible connections between existing reservoirs and dams with the criteria selected by the user. The aim of this thesis was to test the tool and see if the results suggested were plausible, develop a cost calculation method for the PSH lines, and make suggestions for further development of the tool. During the process the tool presented many non-feasible pumped storage hydropower (PSH) connections. The area of Telemark was chosen for the more detailed study. The results were discussed and some improvements were suggested for further development of the tool. Also a sensitivity test was done to see which of the parameters set by the user are the most relevant for the PSH connection suggestion. From a range of the most promising PSH plants suggested by the tool, the one between Songavatn and Totak was chosen for a case study, where there already exists a power plant between both reservoirs. A new Pumped Storage Plant was designed with a power production of 1200 MW. There are still many topics open to discussion, such as how to deal with environmental restrictions, or how to deal with inflows and outflows of the reservoirs from the existing power plants. Consequently the GIS-tool can be a very useful tool to establish the best possible connections between existing reservoirs and dams, but it still needs a deep study and the creation of new parameters for the user.

Criteria for mathematical model selection for satellite vibro-acoustic analysis depending on frequency range

Satellites and space equipment are exposed to diffuse acoustic fields during the launch process. The use of adequate techniques to model the response to the acoustic loads is a fundamental task during the design and verification phases. Considering the modal density of each element is necessary to identify the correct methodology. In this report selection criteria are presented in order to choose the correct modelling technique depending on the frequency ranges. A model satellite’s response to acoustic loads is presented, determining the modal densities of each component in different frequency ranges. The paper proposes to select the mathematical method in each modal density range and the differences in the response estimation due to the different used techniques. In addition, the methodologies to analyse the intermediate range of the system are discussed. The results are compared with experimental testing data obtained in an experimental modal test.