Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Mutation testing”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 19 records
All sourcesNASA NTRSDOE OSTI
DOE OSTI2017

Extension of mutation testing for the requirements and design faults - 322

Mutation Testing is a fault-based software testing technique that is considered to be the most efficient in detecting faults. It focuses on the software code level and follows a set of rules which are called mutation operators to systematically seed faults into the source code. Each seeded fault results is a new version of the software, which is called a mutant. Mutation testing promises to be effective in identifying adequate test data which can be used to find faults in the source code. However, traditional mutation testing is not geared towards the detection of requirements and design faults. To cover the full spectrum of possible faults, the mutation framework has been extended from the code level to the requirements and design level. Twenty-nine defects that appear in requirements and design documents were identified to define appropriate mutants. Then corresponding mutation operators that model the defects were developed. For each mutation operator, the strategy to generate a mutant and the evaluation of the number of possible mutants were defined. Existing code level cost reduction techniques were tailored for requirements and design mutation operators that result in a large number of mutants. With the extended mutation testing framework, the full spectrum of possible faults will be tested and identified to ensure the safety and functionality of the software. (authors)

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2024

MUPPET: An automated OpenMP mutation testing framework for performance optimization

MUPPET is a tool for OpenMP programs that identifies program modifications, called mutations, aimed at improving program performance. Existing performance optimization techniques, including profiling-based and auto-tuning techniques, fail to indicate program modifications at the source level thus preventing their portability across compilers. MUPPET aims to help HPC developers reason about performance defects and missed opportunities to improve performance at the source code level.

Parasyris, Konstantinos↗
DOE OSTI2017

Virtualized hardware environments for supporting digital I and C verification - 324

The technology of virtualized hardware testing platforms within the nuclear context in order to provide a framework for evaluating virtualized hardware/software approaches is discussed. To understand the applicability of virtualized hardware approaches, we have developed a virtual hardware model of an actual smart sensor using the Imperas product OVPsim development environment, as is seen in . An evaluation of the modeling effort required to create the digital I and C smart sensor is provided, followed by an analysis and findings on the various tools in the OVPsim environment for supporting testing, evidence collecting, and analysis. The analyzed tools include traditional input/output testing, model-based testing, mutation testing, and fault injection techniques. Finally, the goal of this research effort is to analyze virtual hardware platforms and present findings to the nuclear community on the efficacy and viability of this technology as a complementary means to actual hardware-in-the-loop testing Factory Acceptance Testing for Nuclear Power Plant (NPP) digital I and C systems. (authors)

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
NASA NTRS1993

Automating test case generation for coverages required by FAA standard DO-178B

Coverage testing techniques are required by the FAA for various levels of subsystem criticality at the unit testing level. Higher levels of criticality require coverage schemes that frequently require more and more test cases, particularly when the number of conditions in a decision grows. For example, if we have a decision with n conditions of the form: if (/ci/ or /c2/ or .... or /cn/) then there are 2(n) possible combinations of condition outcomes. Given the enormous number of inputs that may be required to satisfy different coverages, and given that there are no automated tools for determining these inputs (to our knowledge), we will show how one alternative testing technique, mutation testing, can be coerced into generating inputs that satisfy a code coverage scheme X, i.e., if we modify the rules for mutant generation during mutation testing, this technique will provide test cases that satisfy X.

Voas, Jeffrey M.↗
DOE OSTI2015

Rapid selective sweep of pre-existing polymorphisms and slow fixation of new mutations in experimental evolution of Desulfovibrio vulgaris

To investigate the genetic basis of microbial evolutionary adaptation to salt (NaCl) stress, populations of Desulfovibrio vulgaris Hildenborough (DvH), a sulfate-reducing bacterium important for the biogeochemical cycling of sulfur, carbon and nitrogen, and potentially the bioremediation of toxic heavy metals and radionuclides, were propagated under salt stress or non-stress conditions for 1200 generations. Whole-genome sequencing revealed 11 mutations in salt stress-evolved clone ES9-11 and 14 mutations in non-stress-evolved clone EC3-10. Whole-population sequencing data suggested the rapid selective sweep of the pre-existing polymorphisms under salt stress within the first 100 generations and the slow fixation of new mutations. Population genotyping data demonstrated that the rapid selective sweep of pre-existing polymorphisms was common in salt stress-evolved populations. In contrast, the selection of pre-existing polymorphisms was largely random in EC populations. Consistently, at 100 generations, stress-evolved population ES9 showed improved salt tolerance, namely increased growth rate (2.0-fold), higher biomass yield (1.8-fold) and shorter lag phase (0.7-fold) under higher salinity conditions. The beneficial nature of several mutations was confirmed by site-directed mutagenesis. All four tested mutations contributed to the shortened lag phases under higher salinity condition. In particular, compared with the salt tolerance improvement in ES9-11, a mutation in a histidine kinase protein gene lytS contributed 27% of the growth rate increase and 23% of the biomass yield increase while a mutation in hypothetical gene DVU2472 contributed 24% of the biomass yield increase. Our results suggested that a few beneficial mutations could lead to dramatic improvements in salt tolerance.

Zhou, Aifen↗
DOE OSTI2025

Testing convolutional neural network based deep learning systems: a statistical metamorphic approach

Machine learning technology spans many areas and today plays a significant role in addressing a wide range of problems in critical domains,i.e., healthcare, autonomous driving, finance, manufacturing, cybersecurity,etc. Metamorphic testing (MT) is considered a simple but very powerful approach in testing such computationally complex systems for which either an oracle is not available or is available but difficult to apply. Conventional metamorphic testing techniques have certain limitations in verifying deep learning-based models (i.e., convolutional neural networks (CNNs)) that have a stochastic nature (because of randomly initializing the network weights) in their training. In this article, we attempt to address this problem by using a statistical metamorphic testing (SMT) technique that does not require software testers to worry about fixing the random seeds (to get deterministic results) to verify the metamorphic relations (MRs). We propose seven MRs combined with different statistical methods to statistically verify whether the program under test adheres to the relation(s) specified in the MR(s). We further use mutation testing techniques to show the usefulness of the proposed approach in the healthcare space and test two CNN-based deep learning models (used for pneumonia detection among patients). The empirical results show that our proposed approach uncovers 85.71% of the implementation faults in the classifiers under test (CUT). Furthermore, we also propose an MRs minimization algorithm for the CUT, thus saving computational costs and organizational testing resources.

Computer Science↗
DOE OSTI2019

Sensor-Enabled Alleviation of Product Inhibition in Chorismate Pyruvate-Lyase

Product inhibition is a frequent bottleneck in industrial enzymes, and testing mutations to alleviate product inhibition via traditional methods remains challenging as many variants need to be tested against multiple substrate and product concentrations. Further, traditional screening methods are conducted in vitro, and resulting enzyme variants may perform differently in vivo in the context of whole-cell metabolism and regulation. In this study, we address these two problems by establishing a high-throughput screening method to alleviate product inhibition in an industrially relevant enzyme, chorismate pyruvate-lyase (UbiC). First, we engineered a highly specific, genetically encoded biosensor for 4-hydroxybenzoate (4HB) in an industrially relevant host, Pseudomonas putida KT2440. We subsequently applied the biosensor to detect the activity of a heterologously expressed UbiC that converts chorismate into 4HB and pyruvate. By using benzoate as a product surrogate that inhibits UbiC without activating the biosensor, we were able to efficiently create and screen a diversified library for UbiC variants with reduced product inhibition. Introduction of the improved UbiC enzyme variant into an experimental production strain for the industrial precursor cis,cis-muconic acid (muconate), enabled a >2-fold yield improvement for glucose to muconate conversion when the new UbiC variant was expressed from a plasmid and a 60% yield increase when the same UbiC variant was genomically integrated into the strain. Overall, this work demonstrates that by coupling a library of enzyme variants to whole-cell catalysis and biosensing, variants with reduced product inhibition can be identified, and that this improved enzyme can result in increased titers of a downstream molecule of interest.

09 BIOMASS FUELS↗
DOE OSTI2019

Relationship between KRAS mutations and dual time point {sup 18}F-FDG PET/CT imaging in colorectal liver metastases

Purpose: To investigate the association between metabolic parameters of dual time point {sup 18}F-FDG PET/CT imaging and Kirsten rat sarcoma (KRAS) mutation status in colorectal liver metastases (CRLM). Methods: Forty-nine colorectal cancer patients with 87 liver metastatic lesions were included in this retrospective study. KRAS gene mutation tests were also performed for all the patients. The maximum standardized uptake value (SUV{sub max}) was measured for each hepatic metastatic lesion on both early and delayed scans, and the change of SUV{sub max} (ΔSUV{sub max}) and retention index (RI) were calculated. Uni-variate and multi-variate analyses were employed to determine the relationship between any PET/CT parameters and KRAS mutation status. Results: Thirty-seven (42.5%) liver metastatic lesions harboring KRAS mutations were identified. The SUV{sub max} of CRLM with KRAS mutation both on early and delayed scans was significantly higher than those with wild-type KRAS (10.7 ± 6.0 vs. 7.8 ± 3.3, P = 0.002; 15.5 ± 10.1 vs. 10.0 ± 4.2, P < 0.001, respectively). Compared with wild-type KRAS CRLM, ΔSUV{sub max} and RI (%) of CRLM with KRAS mutation were also significantly higher than those with wild-type KRAS (4.8 ± 4.7 vs. 2.2 ± 2.0, P < 0.001; 45.3 ± 28.2 vs. 29.6 ± 24.7, P = 0.003, respectively). Multi-variate analyses showed that the SUV{sub max} on both early and delayed scans, ΔSUV{sub max}, and RI (%) were the 4 independent factors to predict CRLM patients harboring KRAS mutations. Conclusion: The SUV{sub max} on both early and delayed scans, ΔSUV{sub max}, and RI (%) may be the 4 independent factors to predict CRLM patients harboring KRAS mutations.

62 RADIOLOGY AND NUCLEAR MEDICINE↗
NASA NTRS1986

Genetic effects on heavy ions in drosophila

Drosophila sex-linked recessive lethal mutation test was used to study the dose response relation and relative biological effectiveness of heavy ions. The experiments were performed using the heavy ion beams at BEVALAC of Lawrence Berkeley Laboratory. These experiments were undertaken according to the proposed milestones and included Ne-20, A-40 and Fe-65 ions with respective energies of 600 MeV, 840 MeV and 850 MeV. At these energies several doses of these radiations ranging from 20 to 1280 R were used. Space radiation exposure to astronauts is supposed to be quite low and therefore very low dose experiments i.e., 20 R, were also performed for the three ions. The mutation response was measured in all germ cell types i.e., spermatozoa, spermatids, spermatocytes and spermatogonia of treated Drosophila males. A linear dose frequency relation was observed for most of the range except at high doses where the saturation effect was observed. Also, a very significant difference was observed among the sensitivity of the four germ cell stages where spermatozoa and spermatids were more sensitive. At the higher doses of this range, most of the spermatogonia and spermatocytes were killed. Although comparative and identical experiments with X-rays or neutrons have not been performed, the compassion of our data with the ones available in literature suggest that the heavy ions have a high rbe and that they are several times more effective than low LET X-rays. The rbe compared to neutrons however appears to be only slightly higher.

Kale, P. G.↗
DOE OSTI2024

Distinct function of Chlamydomonas CTRA-CTR transporters in Cu assimilation and intracellular mobilization

Abstract Successful acclimation to copper (Cu) deficiency involves a fine balance between Cu import and export. In the green alga Chlamydomonas reinhardtii, Cu import is dependent on a transcription factor, Copper Response Regulator 1 (CRR1), responsible for activating genes in Cu-deficient cells. Among CRR1 target genes are two Cu transporters belonging to the CTR/COPT gene family (CTR1 and CTR2) and a related soluble protein (CTR3). The ancestor of these green algal proteins was likely acquired from an ancient chytrid and contained conserved cysteine-rich domains (named the CTR-associated domains, CTRA) that are predicted to be involved in Cu acquisition. We show by reverse genetics that Chlamydomonas CTR1 and CTR2 are canonical Cu importers albeit with distinct affinities, while loss of CTR3 did not result in an observable phenotype under the conditions tested. Mutation of CTR1, but not CTR2, recapitulates the poor growth of crr1 in Cu-deficient medium, consistent with a dominant role for CTR1 in high-affinity Cu(I) uptake. On the other hand, the overaccumulation of Cu(I) (20 times the quota) in zinc (Zn) deficiency depends on CRR1 and both CTR1 and CTR2. CRR1-dependent activation of CTR gene expression needed for Cu over-accumulation can be bypassed by the provision of excess Cu in the growth medium. Over-accumulated Cu is sequestered into the acidocalcisome but can become remobilized by restoring Zn nutrition. This mobilization is also CRR1-dependent, and requires activation of CTR2 expression, again distinguishing CTR2 from CTR1 and consistent with the lower substrate affinity of CTR2. One sentence summary Regulation of Cu uptake and sequestration by members of the CTR family of proteins in Chlamydomonas.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2016

HU multimerization shift controls nucleoid compaction

Molecular mechanisms controlling functional bacterial chromosome (nucleoid) compaction and organization are surprisingly enigmatic but partly depend on conserved, histone-like proteins HUαα and HUαβ and their interactions that span the nanoscale and mesoscale from protein-DNA complexes to the bacterial chromosome and nucleoid structure. We determined the crystal structures of these chromosome-associated proteins in complex with native duplex DNA. Distinct DNA binding modes of HUαα and HUαβ elucidate fundamental features of bacterial chromosome packing that regulate gene transcription. By combining crystal structures with solution x-ray scattering results, we determined architectures of HU-DNA nucleoproteins in solution under near-physiological conditions. These macromolecular conformations and interactions result in contraction at the cellular level based on in vivo imaging of native unlabeled nucleoid by soft x-ray tomography upon HUβ and ectopic HUα38 expression. Structural characterization of charge-altered HUαα-DNA complexes reveals an HU molecular switch that is suitable for condensing nucleoid and reprogramming noninvasive Escherichia coli into an invasive form. Collective findings suggest that shifts between networking and cooperative and noncooperative DNA-dependent HU multimerization control DNA compaction and supercoiling independently of cellular topoisomerase activity. By integrating x-ray crystal structures, x-ray scattering, mutational tests, and x-ray imaging that span from protein-DNA complexes to the bacterial chromosome and nucleoid structure, we show that defined dynamic HU interaction networks can promote nucleoid reorganization and transcriptional regulation as efficient general microbial mechanisms to help synchronize genetic responses to cell cycle, changing environments, and pathogenesis.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2025

Enhancing Developer Productivity - L2 Milestone (Final Report)

This report documents the work done as part of the “Enhancing Developer Productivity” level 2 milestone. The team surveyed developers about impediments and successes; improved our CI pipeline monitoring and reporting; developed tools for line coverage reporting and analysis; improved compiler warning adherence in SIERRA; prototyped static analysis, AI, and mutation testing tooling in SIERRA; and developed a 3-5 year SIERRA plan document to help these initiatives continue past this milestone.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2016

Utilizing fluorescent life time imaging microscopy technology for identify carriers of BRCA2 mutation

Worldwide, more than one million women are diagnosed with breast cancer every year, making it the most common female malignancy in the developed world. Germline mutations in BRCA1 and BRCA2 genes are estimated to increase the risk for developing breast cancer by up to 87%. From a clinical point of view, identification of BRCA1 and BRCA2 mutation carriers offers an opportunity to early identify or prevent the development of malignancy; therefore the ability to determine which women are more likely to carry BRCA1 or BRCA2 mutations is of great importance. The available diagnostic tests for mutation analysis of BRCA1 and BRCA2 are time- and labor-intensive, expensive, and do not allow the identification of all the functional mutations. We utilized the Fluorescent lifetime (FLT) imaging microscopy method which allows recognizing different cell populations, in order to distinguish between lymphocytes from BRCA1 and BRCA2 mutation carriers and non-carrier women by using easily obtainable lymphocyte cells from peripheral blood. Our results demonstrate that cells originated from BRCA2-mutation carriers have significantly lower FLT values compared with BRCA1 mutation carriers and control cells. This simple, inexpensive and sensitive method may be utilized in the future to detect BRCA2 mutation carriers, particularly those bearing unknown functional mutations. - Highlights: • Fluorescent lifetime imaging microscopy (FLIM) technology can be used for recognizing BRCA mutation carriers. • Cells originated from BRCA2-mutation carriers have lower FLT values compared with BRCA1 mutation carriers and control cells. • The difference in FLT values were observed regardless irradiation. • FLIM method may be more informative in the detection of BRCA2-mutation carriers than BRCA1.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2016

Development of a human live attenuated West Nile infectious DNA vaccine: Suitability of attenuating mutations found in SA14-14-2 for WN vaccine design

Direct attenuation of West Nile (WN) virus strain NY99 for the purpose of vaccine development is not feasible due to its high virulence and pathogenicity. Instead, we created highly attenuated chimeric virus W1806 with the serological identity of NY99. To further attenuate W1806, we investigated effects of mutations found in Japanese encephalitis virus vaccine SA14-14-2. WN viruses carrying all attenuating mutations lost infectivity in mammalian, but not in mosquito cells. No single reversion restored infectivity in mammalian cells, although increased infectivity in mosquito cells was observed. To identify a subset of mutations suitable for further attenuation of W1806, we analyzed effects of E{sub 138}K and K{sub 279}M changes on virulence, growth properties, and immunogenicity of derivatized W956, from which chimeric W1806 inherited its biological properties and attenuation profile. Despite strong dominant attenuating effect, introduction of only two mutations was not sufficient for attenuating W1806 to the safety level acceptable for human use. - Highlights: • Further attenuation of a WN vaccine precursor is outlined. • Effect of SA14-14-2 attenuating mutations is tested. • Mechanism of attenuation is proposed and illustrated. • The need for additional attenuating mutations is justified.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2019

Association between CT-texture-derived tumor heterogeneity, outcomes, and BRCA mutation status in patients with high-grade serous ovarian cancer

Purpose: To assess the associations between inter-site texture heterogeneity parameters derived from computed tomography (CT), survival, and BRCA mutation status in women with high-grade serous ovarian cancer (HGSOC). Materials and methods: Retrospective study of 88 HGSOC patients undergoing CT and BRCA mutation status testing prior to primary cytoreductive surgery. Associations between texture metrics—namely inter-site cluster variance (SCV), inter-site cluster prominence (SCP), inter-site cluster entropy (SE)—and overall survival (OS), progression-free survival (PFS) as well as BRCA mutation status were assessed. Results: Higher inter-site cluster variance (SCV) was associated with lower PFS (p = 0.006) and OS (p = 0.003). Higher inter-site cluster prominence (SCP) was associated with lower PFS (p = 0.02) and higher inter-site cluster entropy (SE) correlated with lower OS (p = 0.01). Higher values of all three metrics were significantly associated with lower complete surgical resection status in BRCA-negative patients (SE p = 0.039, SCV p = 0.006, SCP p = 0.02), but not in BRCA-positive patients (SE p = 0.7, SCV p = 0.91, SCP p = 0.67). None of the metrics were able to distinguish between BRCA mutation carrier and non-mutation carrier. Conclusion: The assessment of tumoral heterogeneity in the era of personalized medicine is important, as increased heterogeneity has been associated with distinct genomic abnormalities and worse patient outcomes. A radiomics approach using standard-of-care CT scans might have a clinical impact by offering a non-invasive tool to predict outcome and therefore improving treatment effectiveness. However, it was not able to assess BRCA mutation status in women with HGSOC.

62 RADIOLOGY AND NUCLEAR MEDICINE↗
DOE OSTI2022

Fast Evaluation of Viral Emerging Risks (FEVER): A computational tool for biosurveillance, diagnostics, and mutation typing of emerging viral pathogens

Viral pathogens can rapidly evolve, adapt to novel hosts, and evade human immunity. The early detection of emerging viral pathogens through biosurveillance coupled with rapid and accurate diagnostics are required to mitigate global pandemics. However, RNA viruses can mutate rapidly, hampering biosurveillance and diagnostic efforts. Here, we present a novel computational approach called FEVER (Fast Evaluation of Viral Emerging Risks) to design assays that simultaneously accomplish: 1) broad-coverage biosurveillance of an entire group of viruses, 2) accurate diagnosis of an outbreak strain, and 3) mutation typing to detect variants of public health importance. We demonstrate the application of FEVER to generate assays to simultaneously 1) detect sarbecoviruses for biosurveillance; 2) diagnose infections specifically caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2); and 3) perform rapid mutation typing of the D614G SARS-CoV-2 spike variant associated with increased pathogen transmissibility. These FEVER assays had a high in silico recall (predicted positive) up to 99.7% of 525,708 SARS-CoV-2 sequences analyzed and displayed sensitivities and specificities as high as 92.4% and 100% respectively when validated in 100 clinical samples. The D614G SARS-CoV-2 spike mutation PCR test was able to identify the single nucleotide identity at position 23,403 in the viral genome of 96.6% SARS-CoV-2 positive samples without the need for sequencing. This study demonstrates the utility of FEVER to design assays for biosurveillance, diagnostics, and mutation typing to rapidly detect, track, and mitigate future outbreaks and pandemics caused by emerging viruses.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRSDate not supplied

Benchmarking Computational Tools for Calling SNPs and Indels in Complex Microbial Populations

The NASA BioNutrients missions seek to understand the suitability of microorganisms for bioproduction during space flight. One topic of interest is the stability of microbial genomes during long-term ambient storage and subsequent rehydration and growth. To address these questions, samples from 8 species were flown to ISS for 5 years of desiccated storage at ambient temperature (Stasis Packs) and 2 species were packaged along with powdered media inside a bioreactor system to allow hydration and growth in microgravity (Production Packs). For both systems, Whole Genome Sequencing (WGS) of the DNA extracted from the returned samples and paired ground controls will be conducted to identify changes in genome stability due to time, storage conditions and growth in space. Across the technical replicates, ground controls, 10 timepoints, and multiple experimental conditions, ~300 samples have been selected for initial analysis with WGS sequencing to 100x coverage. A flexible and resource efficient mutation calling pipeline is needed to process this large dataset and allow for comparisons between species. Many bioinformatics tools for calling Indels and Single Nucleotide Variants (SNVs) are designed for use with pure isolates, where true variations from the reference genome are expected to dominate the reads aligning to the location of mutation. In contrast, DNA from the Stasis Pack (SP) samples was collected directly after recovery from desiccated storage and the Production Pack (PP) samples were collected after fermentation. In this context, reads with mutations are expected to be less frequent than reads that align with the reference genome, as each sample will include multiple lines of cells. Thus, BioNutrients samples are expected to be similar to samples from cancer cell or “pooled” sequencing approaches. In preparation for the analysis of the BioNutrients samples, we have tested three mutation calling tools (GATK for Microbes, BreSeq and DiscoSNP) designed for complex samples. A challenge of validating mutation identification pipelines is a lack of “Ground Truth” datasets, especially for complex samples. To compare these three tools, we sought to identify mutations in pre-existing WGS data collected from populations of Chlamydomonas reinhardtii that were exposed to UV mutagenesis and growth in LEO as part of the Space Algae-1 mission. Here we present a summary of these tools against the analysis originally conducted using the CRISP tool. Critical metrics are compared such as runtime, the number of SNPs, the number and size of Indels, and patterns of transversion and transitions identified by each tool are reported. By sharing these benchmarking results collected in support of the BioNutrients mission, we aim to guide others seeking to identify SNVs in similarly complex microbial samples.

Biology↗