A Temporal Logic Based Theory of Test Coverage and Generation

This paper presents a theory of test coverage and generation from specifications written in extended finite state machines (EFSMs). We investigate a family of coverage criteria based on the information of control flow and data flow in EFSMs and characterize them using the temporal logic CTL. We discuss the complexity of minimal cost test generation and describe a simple heuristic which uses the capability of model checkers to construct counterexamples. Our approach extends the range of applications of model checking from automatic verification of finite state systems to automatic test generation from finite state systems

The effects of short-term, progressive exercise training on disease activity in smouldering multiple myeloma and monoclonal gammopathy of undetermined significance:a single-arm pilot study

Background: High levels of physical activity are associated with reduced risk of the blood cancer multiple myeloma (MM). MM is preceded by the asymptomatic stages of monoclonal gammopathy of undetermined significance (MGUS) and smouldering multiple myeloma (SMM) which are clinically managed by watchful waiting. A case study (N = 1) of a former elite athlete aged 44 years previously indicated that a multi-modal exercise programme reversed SMM disease activity. To build from this prior case study, the present pilot study firstly examined if short-term exercise training was feasible and safe for a group of MGUS and SMM patients, and secondly investigated the effects on MGUS/SMM disease activity. Methods: In this single-arm pilot study, N = 20 participants diagnosed with MGUS or SMM were allocated to receive a 16-week progressive exercise programme. Primary outcome measures were feasibility and safety. Secondary outcomes were pre- to post-exercise training changes to blood biomarkers of MGUS and SMM disease activity– monoclonal (M)-protein and free light chains (FLC)– plus cardiorespiratory and functional fitness, body composition, quality of life, blood immunophenotype, and blood biomarkers of inflammation. Results: Fifteen (3 MGUS and 12 SMM) participants completed the exercise programme. Adherence was 91 ± 11%. Compliance was 75 ± 25% overall, with a notable decline in compliance at intensities > 70% V̇O2PEAK. There were no serious adverse events. There were no changes to M-protein (0.0 ± 1.0 g/L, P =.903), involved FLC (+ 1.8 ± 16.8 mg/L, P =.839), or FLC difference (+ 0.2 ± 15.6 mg/L, P =.946) from pre- to post-exercise training. There were pre- to post-exercise training improvements to diastolic blood pressure (− 3 ± 5 mmHg, P =.033), sit-to-stand test performance (+ 5 ± 5 repetitions, P =.002), and energy/fatigue scores (+ 10 ± 15%, P =.026). Other secondary outcomes were unchanged. Conclusions: A 16-week progressive exercise programme was feasible and safe, but did not reverse MGUS/SMM disease activity, contrasting a prior case study showing that five years of exercise training reversed SMM in a 44-year-old former athlete. Longer exercise interventions should be explored in a group of MGUS/SMM patients, with measurements of disease biomarkers, along with rates of disease progression (i.e., MGUS/SMM to MM). Registration: https://www.isrctn.com/ISRCTN65527208 (14/05/2018)

The relation between endothelial dependent flow mediated dilation of the brachial artery and coronary collateral development – a cross sectional study

<p>Abstract</p> <p>Background</p> <p>Endothelial dysfunction is thought to be a potential mechanism for the decreased presence of coronary collaterals. The aim of the study was to investigate the association between systemic endothelial function and the extent of coronary collaterals.</p> <p>Methods</p> <p>We investigated the association between endothelial function assessed via flow mediated dilation (FMD) of the brachial artery following reactive hyperemia and the extent of coronary collaterals graded from 0 to 3 according to Rentrop classification in a cohort of 171 consecutive patients who had high grade coronary stenosis or occlusion on their angiograms.</p> <p>Results</p> <p>Mean age was 61 years and 75% were males. Of the 171 patients 88 (51%) had well developed collaterals (grades of 2 or 3) whereas 83 (49%) had impaired collateral development (grades of 0 or 1). Patients with poor collaterals were significantly more likely to have diabetes (<it>p </it>= 0.001), but less likely to have used statins (<it>p </it>= 0.083). FMD measurements were not significantly different among good and poor collateral groups (11.5 ± 5.6 vs. 10.4 ± 6.2% respectively, <it>p </it>= 0.214). Nitroglycerin mediated dilation was also similar (13.4 ± 5.9 vs. 12.8 ± 6.5%, <it>p </it>= 0.521).</p> <p>Conclusion</p> <p>No significant association was found between the extent of angiographically visible coronary collaterals and systemic endothelial function assessed by FMD of the brachial artery.</p

Differences in cerebral response to esophageal acid stimuli and psychological anticipation in GERD subtypes - An fMRI study

<p>Abstract</p> <p>Background</p> <p>To evaluate whether there are differences in the cerebral response to intraesophageal acid and psychological anticipation stimuli among subtypes of gastroesophageal reflux disease (GERD).</p> <p>Methods</p> <p>Thirty nine patients with GERD and 11 healthy controls were enrolled in this study after gastroscopy and 24 hr pH monitoring. GERD subjects were divided into four subgroups: RE (reflux esophagitis), NERD+ (non-erosive reflux disease with excessive acid reflux), NERD-SI+ (normal acid exposure and positive symptom index) and NERD-SI+ (normal acid exposure and negative symptom index, but responded to proton pump inhibitor trial). Cerebral responses to intraesophageal acid and psychological anticipation were evaluated with fMRI.</p> <p>Results</p> <p>During intraesophageal acid stimulation, the prefrontal cortex (PFC) region was significantly activated in all subgroups of GERD; the insular cortex (IC) region was also activated in RE, NERD+ and NERD-SI- groups; the anterior cingulated cortex (ACC) region was activated only in RE and NERD-SI- groups. The RE subgroup had the shortest peak time in the PFC region after acid was infused, and presented the greatest change in fMRI signals in the PFC and ACC region (<it>P </it>= 0.008 and <it>P </it>= 0.001, respectively). During psychological anticipation, the PFC was significantly activated in both the control and GERD groups. Activation of the IC region was found in the RE, NERD-SI+ and NERD-SI- subgroups. The ACC was activated only in the NERD-SI+ and NERD-SI- subgroups. In the PFC region, the NERD-SI- subgroup had the shortest onset time (<it>P </it>= 0.008) and peak time (<it>P </it>< 0.001). Compared with actual acid infusion, ACC in RE and IC in NERD+ were deactivated while additional areas including the IC and ACC were activated in the NERD-SI+ group; and in NERD-SI- group, onset-time and peak time in the PFC and IC areas were obviously shorter in induced anticipation than in actual acid infusion.</p> <p>Conclusions</p> <p>The four subgroups of GERD patients and controls showed distinctly different activation patterns and we therefore conclude GERD patients have different patterns of visceral perception and psychological anticipation. Psychological factors play a more important role in NERD-SI+ and NERD-SI- groups than in RE and NERD+ groups.</p

TDSGen: An Environment Based on Hybrid Genetic Algorithms for Generation of Test Data

The software testing has gained importance and can be considered a fundamental activity to ensure the quality of the software being developed. In the literature, there are three groups of testing techniques proposed to reveal a great number of faults with minimal effort and costs: functional technique, structural technique and fault-based technique. These techniques are generally associated to testing criteria. A criterion is a predicate to be satisfied to consider the testing activity ended and the program tested enough [3]. The criterion generally requires the exercising of certain elements of the source code (decision statement) called required elements. To satisfy a testing criterion (coverage of 100%), it is necessary to provide input data to execute paths that exercise all the required elements. This is a very hard task because it is not possible its complete automatization due to several testing limitations. The generation of test data has been addressed by many authors and different techniques, such as: random generation, generation based on symbolic execution and generation based on dynamic execution, have been applied with varyin