The December 2019 outbreak of a novel respiratory virus, SARS-CoV-2, has become an ongoing global pandemic due in part to the challenge of identifying symptomatic, asymptomatic, and pre-symptomatic ...carriers of the virus. CRISPR diagnostics can augment gold-standard PCR-based testing if they can be made rapid, portable, and accurate. Here, we report the development of an amplification-free CRISPR-Cas13a assay for direct detection of SARS-CoV-2 from nasal swab RNA that can be read with a mobile phone microscope. The assay achieved ∼100 copies/μL sensitivity in under 30 min of measurement time and accurately detected pre-extracted RNA from a set of positive clinical samples in under 5 min. We combined crRNAs targeting SARS-CoV-2 RNA to improve sensitivity and specificity and directly quantified viral load using enzyme kinetics. Integrated with a reader device based on a mobile phone, this assay has the potential to enable rapid, low-cost, point-of-care screening for SARS-CoV-2.
Display omitted
•CRISPR-Cas13a can quantitatively detect SARS-CoV-2 RNA without pre-amplification•Combining crRNAs targeting multiple regions of the viral RNA enhances sensitivity•Cas13a can accurately and rapidly quantify SARS-CoV-2 RNA in patient samples•A mobile phone-based device allows for portable and sensitive readout of the assay
Fozouni et al. devise a way to use CRISPR-Cas13a to detect and quantify SARS-CoV-2 RNA from patient samples without the need for a pre-amplification step. They then show how the assay’s signal can be efficiently detected with a portable, mobile phone-based device.
Composite materials/structures are advancing in product efficiency, cost-effectiveness and the development of superior specific properties. There are increasing demands in their applications to ...load-carrying structures in aerospace, wind turbines, transportation, medical equipment and so on. Thus, robust and reliable non-destructive testing of composites is essential to reduce safety concerns and maintenance costs. There have been various non-destructive testing methods built upon different principles for quality assurance during the whole lifecycle of a composite product. This article reviews the most established non-destructive testing techniques for detection and evaluation of defects/damage evolution in composites. These include acoustic emission, ultrasonic testing, infrared thermography, terahertz testing, shearography, digital image correlation, as well as X-ray and neutron imaging. For each non-destructive testing technique, we cover a brief historical background, principles, standard practices, equipment and facilities used for composite research. We also compare and discuss their benefits and limitations and further summarise their capabilities and applications to composite structures. Each non-destructive testing technique has its own potential and rarely achieves a full-scale diagnosis of structural integrity. Future development of non-destructive testing techniques for composites will be directed towards intelligent and automated inspection systems with high accuracy and efficient data processing capabilities.
Deep learning (DL) defines a new data-driven programming paradigm where the internal system logic is largely shaped by the training data. The standard way of evaluating DL models is to examine their ...performance on a test dataset. The quality of the test dataset is of great importance to gain confidence of the trained models. Using an inadequate test dataset, DL models that have achieved high test accuracy may still lack generality and robustness. In traditional software testing, mutation testing is a well-established technique for quality evaluation of test suites, which analyzes to what extent a test suite detects the injected faults. However, due to the fundamental difference between traditional software and deep learning-based software, traditional mutation testing techniques cannot be directly applied to DL systems. In this paper, we propose a mutation testing framework specialized for DL systems to measure the quality of test data. To do this, by sharing the same spirit of mutation testing in traditional software, we first define a set of source-level mutation operators to inject faults to the source of DL (i.e., training data and training programs). Then we design a set of model-level mutation operators that directly inject faults into DL models without a training process. Eventually, the quality of test data could be evaluated from the analysis on to what extent the injected faults could be detected. The usefulness of the proposed mutation testing techniques is demonstrated on two public datasets, namely MNIST and CIFAR-10, with three DL models.
Laboratory-based diagnostic measures including virological and serological tests are essential for detecting severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). Real-time reverse ...transcription-polymerase chain reactions (rRT-PCR) can detect SARS-COV-2 by targeting open reading frame-1 antibodies (ORF1ab), envelope protein, nucleocapsid protein, RNA-dependent RNA polymerase genes, and the N1, N2, and N3 (3N) target genes. Therefore, rRT-PCR remains the primary method of diagnosing SARS-CoV-2 despite being limited by false-negative results, long turnaround, complex protocols, and a need for skilled personnel. Serological diagnosis of coronavirus disease 2019 (COVID-19) is simple and does not require complex techniques and equipment, rendering it suitable for rapid detection and massive screening. However, serological tests cannot confirm SARS-CoV-2, and results will be false-negative when antibody concentrations fall below detection limits. Balancing the increased use of laboratory tests, risk of testing errors, need for tests, burden on healthcare systems, benefits of early diagnosis, and risk of unnecessary exposure is a significant and persistent challenge in diagnosing COVID-19.
•We present an orchestrated survey of the most prominent techniques for automatic generation of software test cases.•The survey covers symbolic execution, model-based, combinatorial, search-based and ...adaptive random testing techniques.•For each technique, basic concepts and research challenges are reported, and future research directions are envisioned.•Each technique is surveyed by a world renowned expert(s) and active researcher(s) on the topic in a self-contained section.•The experts’ contributions were coordinated and the paper was edited by the orchestrators/editors into a consistent paper.
Test case generation is among the most labour-intensive tasks in software testing. It also has a strong impact on the effectiveness and efficiency of software testing. For these reasons, it has been one of the most active research topics in software testing for several decades, resulting in many different approaches and tools. This paper presents an orchestrated survey of the most prominent techniques for automatic generation of software test cases, reviewed in self-standing sections. The techniques presented include: (a) structural testing using symbolic execution, (b) model-based testing, (c) combinatorial testing, (d) random testing and its variant of adaptive random testing, and (e) search-based testing. Each section is contributed by world-renowned active researchers on the technique, and briefly covers the basic ideas underlying the method, the current state of the art, a discussion of the open research problems, and a perspective of the future development of the approach. As a whole, the paper aims at giving an introductory, up-to-date and (relatively) short overview of research in automatic test case generation, while ensuring a comprehensive and authoritative treatment.
Integrating Timing Considerations to Improve Testing Practices synthesizes a wealth of theory and research on time issues in assessment into actionable advice for test development, administration, ...and scoring. One of the major advantages of computer-based testing is the capability to passively record test-taking metadata—including how examinees use time and how time affects testing outcomes. This has opened many questions for testing administrators. Is there a trade-off between speed and accuracy in test taking? What considerations should influence equitable decisions about extended-time accommodations? How can test administrators use timing data to balance the costs and resulting validity of tests administered at commercial testing centers? In this comprehensive volume, experts in the field discuss the impact of timing considerations, constraints, and policies on valid score interpretations; administrative accommodations, test construction, and examinees’ experiences and behaviors; and how to implement the findings into practice. These 12 chapters provide invaluable resources for testing professionals to better understand the inextricable links between effective time allocation and the purposes of high-stakes testing.
Researchers have explored the application of combinatorial interaction testing (CIT) methods to construct samples to drive systematic testing of software system configurations. Applying CIT to ...highly-configurable software systems is complicated by the fact that, in many such systems, there are constraints between specific configuration parameters that render certain combinations invalid. Many CIT algorithms lack a mechanism to avoid these. In recent work, automated constraint solving methods have been combined with search-based CIT construction methods to address the constraint problem with promising results. However, these techniques can incur a non-trivial overhead. In this paper, we build upon our previous work to develop a family of greedy CIT sample generation algorithms that exploit calculations made by modern Boolean satisfiability (SAT) solvers to prune the search space of the CIT problem. We perform a comparative evaluation of the cost-effectiveness of these algorithms on four real-world highly-configurable software systems and on a population of synthetic examples that share the characteristics of those systems. In combination our techniques reduce the cost of CIT in the presence of constraints to 30 percent of the cost of widely-used unconstrained CIT methods without sacrificing the quality of the solutions.
This article consists of a collection of slides from the author's conference presentation. Some of the specific areas/topics discussed include: smart grid interoperability panel; IEC 61850-3:2002; ...IEEE 1613.1; utility EMC standards; IEEE P1613; immunity tests; monitoring complexities; electrostatic discharge; radiated RF immunity; substations; electrical fast transient-bursts; conducted RF immunity; power frequency magnetic field; damped oscillatory magnetic fields; DC supply ripple; AC dips-interrupts; DC dips-interrupts; damped oscillatory wave; RFI hazards; intelligent electronic devices; electric power transmission facilities; and electric power distribution facilities.
We consider a multiple‐hypothesis testing setting where the hypotheses are ordered and one is only permitted to reject an initial contiguous block H1,…,Hk of hypotheses. A rejection rule in this ...setting amounts to a procedure for choosing the stopping point k. This setting is inspired by the sequential nature of many model selection problems, where choosing a stopping point or a model is equivalent to rejecting all hypotheses up to that point and none thereafter. We propose two new testing procedures and prove that they control the false discovery rate in the ordered testing setting. We also show how the methods can be applied to model selection by using recent results on p‐values in sequential model selection settings.
We update a previous systematic review to inform new World Health Organization HIV self-testing (HIVST) recommendations. We compared the effects of HIVST to standard HIV testing services to ...understand which service delivery models are effective for key populations.
We did a systematic review of randomised controlled trials (RCTs) which compared HIVST to standard HIV testing in key populations, published from 1 January 2006 to 4 June 2019 in PubMed, Embase, Global Index Medicus, Social Policy and Practice, PsycINFO, Health Management Information Consortium, EBSCO CINAHL Plus, Cochrane Library and Web of Science. We extracted study characteristic and outcome data and conducted risk of bias assessments using the Cochrane ROB tool version 1. Random effects meta-analyses were conducted, and pooled effect estimates were assessed along with other evidence characteristics to determine the overall strength of the evidence using GRADE methodology.
After screening 5909 titles and abstracts, we identified 10 RCTs which reported on testing outcomes. These included 9679 participants, of whom 5486 were men who have sex with men (MSM), 72 were trans people and 4121 were female sex workers. Service delivery models included facility-based, online/mail and peer distribution. Support components were highly diverse and ranged from helplines to training and supervision. HIVST increased testing uptake by 1.45 times (RR=1.45 95% CI 1.20, 1.75). For MSM and small numbers of trans people, HIVST increased the mean number of HIV tests by 2.56 over follow-up (mean difference = 2.56; 95% CI 1.24, 3.88). There was no difference between HIVST and SoC in regard to positivity among tested overall (RR = 0.91; 95% CI 0.73, 1.15); in sensitivity analysis of positivity among randomised HIVST identified significantly more HIV infections among MSM and trans people (RR = 2.21; 95% CI 1.20, 4.08) and in online/mail distribution systems (RR = 2.21; 95% CI 1.14, 4.32). Yield of positive results in FSW was not significantly different between HIVST and SoC. HIVST reduced linkage to care by 17% compared to SoC overall (RR = 0.83; 95% CI 0.74, 0.92). Impacts on STI testing were mixed; two RCTs showed no decreases in STI testing while one showed significantly lower STI testing in the intervention arm. There were no negative impacts on condom use (RR = 0.95; 95% CI 0.83, 1.08), and social harm was very rare.
HIVST is safe and increases testing uptake and frequency as well as yield of positive results for MSM and trans people without negative effects on linkage to HIV care, STI testing, condom use or social harm. Testing uptake was increased for FSW, yield of positive results were not and linkage to HIV care was worse. Strategies to improve linkage to care outcomes for both groups are crucial for effective roll-out.