Conformance relations for distributed testing based on CSP

Copyright @ 2011 Springer Berlin HeidelbergCSP is a well established process algebra that provides comprehensive theoretical and practical support for refinement-based design and verification of systems. Recently, a testing theory for CSP has also been presented. In this paper, we explore the problem of testing from a CSP specification when observations are made by a set of distributed testers. We build on previous work on input-output transition systems, but the use of CSP leads to significant differences, since some of its conformance (refinement) relations consider failures as well as traces. In addition, we allow events to be observed by more than one tester. We show how the CSP notions of refinement can be adapted to distributed testing. We consider two contexts: when the testers are entirely independent and when they can cooperate. Finally, we give some preliminary results on test-case generation and the use of coordination messages. © 2011 IFIP International Federation for Information Processing

The effects of achromatic and chromatic color schemes on participants' task performance in and appraisals of an office environment

This study explores the effects of chroma on participants' performance and environmental appraisal of an office. The research was conducted in a full-scale experimental room designed as a private office where achromatic and chromatic color schemes with coequal values were applied. Sixty participants were assigned tasks and given a questionnaire to appraise the spatial color schemes. The findings show that chroma significantly affects performance and space appraisal. In terms of accuracy and time spent performance scores measured significantly better in the room with the chromatic scheme than those in the room with the achromatic scheme. The office with the chromatic scheme was found to be more pleasant, attractive, satisfying and dynamic than the one with the achromatic scheme, whereas the achromatic scheme was thought to be more formal and harmonious. Categorization of pleasantness, harmony, dynamism and spaciousness by factor analysis also showed differences between the achromatic and chromatic schemes. © 2011 Wiley Periodicals, Inc. Col Res Appl, 2012 Copyright © 2011 Wiley Periodicals, Inc

Distinguishing sequences for partially specified FSMs

Distinguishing Sequences (DSs) are used inmany Finite State Machine (FSM) based test techniques. Although Partially Specified FSMs (PSFSMs) generalise FSMs, the computational complexity of constructing Adaptive and Preset DSs (ADSs/PDSs) for PSFSMs has not been addressed. This paper shows that it is possible to check the existence of an ADS in polynomial time but the corresponding problem for PDSs is PSPACE-complete. We also report on the results of experiments with benchmarks and over 8 * 106 PSFSMs. © 2014 Springer International Publishing

Generating a checking sequence with a minimum number of reset transitions

Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states than M. There has been much interest in the automated generation of a short checking sequence from a finite state machine. However, such sequences can contain reset transitions whose use can adversely affect both the cost of applying the checking sequence and the effectiveness of the checking sequence. Thus, we sometimes want a checking sequence with a minimum number of reset transitions rather than a shortest checking sequence. This paper describes a new algorithm for generating a checking sequence, based on a distinguishing sequence, that minimises the number of reset transitions used.This work was supported in part by Leverhulme Trust grant number F/00275/D, Testing State Based Systems, Natural Sciences and Engineering Research Council (NSERC) of Canada grant number RGPIN 976, and Engineering and Physical Sciences Research Council grant number GR/R43150, Formal Methods and Testing (FORTEST)

Lifestyle and health determinants of cardiovascular disease among Greek older adults living in Eastern Aegean Islands: An adventure within the MEDIS study.

OBJECTIVE: The aim of the present study was to evaluate lifestyle and health determinants of cardiovascular disease (CVD) risk among Greek elderly residents living in Eastern Aegean islands, in both Greece and Turkey. METHODS: Under the context of the MEDIS study, 724 older adults (aged 65 to 100 years) from 8 Eastern Aegean Sea Greek islands (n=100 living in Samothrace, 142 in Lesvos, 150 in Limnos, 76 in Ikaria, 52 in Kassos, 149 in Rhodes and Karpathos) and from Turkey (n=55older adults of Greek origin living on Gökçeada Island) were voluntarily recruited. Overall cardiometabolic risk was measured as the sum (range 0-4) of four common CVD risk factors (hypertension, diabetes, dyslipidemia and obesity). RESULTS: Greek islanders had higher CVD scores compared to Greeks of Gökçeada (1.9±1.1 vs 1.4±1.0 risk factors / participant, p<0.001). Further analysis revealed that the diet of Greek islanders was similar to the traditional Mediterranean diet; however, these individuals demonstrated 2-times higher odds (95% CI, 1.04-3.87) for having hypertension, 1.53-times higher odds (95% CI, 0.66-3.54) for having diabetes, 3.29-times higher odds (95% CI, 1.58-6.81) for having hypercholesterolemia; whereas they had 0.78-times lower odds (95% CI, 0.40-1.52) for being obese, compared to elderly Greek adults living on Gökçeada. CONCLUSIONS: Overall, CVD risk seems to be low among Eastern Aegean Islanders; certain differences in CVD risk factors exist between Greek islanders and their counterparts living in Gökçeada, and those differences may be attributed to various environmental, cultural and lifestyle factors

Detonability of RDX dust in air/oxygen mixtures

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/77369/1/AIAA-9528-470.pd

Timed Implementation Relations for the Distributed Test Architecture

In order to test systems that have physically distributed interfaces, called ports, we might use a distributed approach in which there is a separate tester at each port. If the testers do not synchronise during testing then we cannot always determine the relative order of events observed at different ports and this leads to new notions of correctness that have been described using corresponding implementation relations. We study the situation in which each tester has a local clock and timestamps its observations. If we know nothing about how the local clocks relate then this does not affect the implementation relation while if the local clocks agree exactly then we can reconstruct the sequence of observations made. In practice, however, we are likely to be between these extremes: the local clocks will not agree exactly but we have some information regarding how they can differ. We start by assuming that a local tester interacts synchronously with the corresponding port of the system under test and then extend this to the case where communications can be asynchronous, considering both the first-in-first-out (FIFO) case and the non-FIFO case. The new implementation relations are stronger than implementation relations for distributed testing that do not use timestamps but still reflect the distributed nature of observations. This paper explores these alternatives and derives corresponding implementation relations

In vitro synergistic cytoreductive effects of zoledronic acid and radiation on breast cancer cells

INTRODUCTION: Bisphosphonates are mostly used in the treatment of bone metastases. They have been shown to act synergistically with other chemotherapeutic agents. It is not known, however, whether similar synergistic effects exist with radiation on breast cancer cells. METHODS: Human MCF-7 breast cancer cells were treated with up to 100 μM zoledronic acid, were irradiated with up to 800 cGy or were exposed to combinations of both treatments to determine the antiproliferative effects of zoledronic acid and radiation. RESULTS: Zoledronic acid and radiation caused a dose-dependent and time-dependent decrease in cell viability (approximate 50% growth inhibition values were 48 μM and 20 μM for 24 hours and 72 hours, respectively, for zoledronic acid and 500 cGy for radiation). A synergistic cytotoxic effect of the combination of zoledronic acid and radiation was confirmed by isobologram analysis. CONCLUSION: These data constitute the first in vitro evidence for synergistic effects between zoledronic acid and radiation. This combination therapy might thus be expected to be more effective than either treatment alone in patients with metastatic breast carcinoma

Diagnostic value of combined serum biomarkers for the evaluation of liver fibrosis in chronic hepatitis C infection: A multicenter, noninterventional, observational study

Background/Aims: The hepatitis C virus (HCV) infection is important cause of chronic hepatitis. Liver biopsy is considered the gold standard for assessment of fibrosis but this procedure is an invasive procedure. We aimed to evaluate the diagnostic efficiency of non-invasive serum biomarkers, separately and in combinations, on liver fibrosis in treatment-naive chronic hepatitis C (CHC) patients. Materials and Methods: Two hundred and sixteen treatment-naive CHC patients were enrolled from 32 locations across Turkey in this open-labelled, non-interventional prospective observational study. FibroTest®, aspartate aminotransferase-to-platelet ratio index(APRI), aspartate aminotransferase and alanine aminotransferase ratio (AAR), fibrosis index based on four factors (FIB-4), Age-platelet(AP) index and Forns index were measured and compared with Metavir scores got from liver biopsies. Results: Data from 182 patients with baseline liver biopsy were suitable for analysis. One hundred and twenty patients (65.9%) had F0-F1 fibrosis and 62 patients (34.1%) had F2-F4 fibrosis. APRI 0.732 area under the curve(AUC) indicated advanced fibrosis with 69% sensitivity and 77% specificity. FIB-4 0.732 AUC and FibroTest 0.715 AUC indicated advanced fibrosis with 69% and 78.4% sensitivity, and 75% and 71.4% specificity, respectively. The combined use of tests also led to an increase in AUC and specificity. Combinations of FibroTest with APRI and/or FIB-4, and FIB-4 with APRI were optimal for the evaluation of liver fibrosis. Conclusion: Fibrotest, FIB-4, APRI, AP index and Forns index exhibit good diagnostic performance for determining liver fibrosis in CHC patients, and the use of at least two tests together will increase their diagnostic value still further. © Copyright 2018 by The Turkish Society of Gastroenterology