SFWST ? Disposal in Argillite R&D - PFLOTRAN THC Model 3D Single Waste Package Test Case.
Abstract not provided.
SEARCH · Search NASA
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.
Abstract not provided.
Abstract not provided.
2022 Carbon Management Project Review Meeting, Pittsburgh, PA, August 15-19, 2022
2022 Carbon Management Project Review Meeting, Pittsburgh, PA, August 15-19, 2022
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Data repo for ocean test case testing new data assimilation algorithm in an idealized setting.
Model-based Testing (MBT), where a model of the system under tests (SUT) behavior is used to automatically generate executable test cases, is a promising and versatile testing technology. Nevertheless, adoption of MBT technologies in industry is slow and many testing tasks are performed via manually created executable test cases (i.e. test programs such as JUnit). In order to adopt MBT, testers must learn how to construct models and use these models to generate test cases, which might be a hurdle. An interesting observation in our previous work is that the existing manually created test cases often provided invaluable insights for the manual creation of the testing models of the system. In this paper we present an approach that allows the tester to first create and debug a set of test cases. When the tester is happy with the test cases, the next step is to automatically generate a model from the test cases. The generated model is derived from the test cases, which are actions that the system can perform (e.g. a button clicks) and their expected outputs in form of assert statements (e.g. assert data entered). The model is a Finite State Machine (FSM) model that can be employed with little or no manual changes to generate additional test cases for the SUT. We successfully applied the approach in a feasibility study to the NASA Data Access Toolkit (DAT), which is a web-based GUI. One compelling finding is that the test cases that were generated from the automatically generated models were able to detect issues that were not detected by the original set of manually created test cases. We present the findings from the case study and discuss best practices for incorporating model generation techniques into an existing testing process.
This document serves as the System Test Approach for the GMAT Project. Preparation for system testing consists of three major stages: 1) The Test Approach sets the scope of system testing, the overall strategy to be adopted, the activities to be completed, the general resources required and the methods and processes to be used to test the release. It also details the activities, dependencies and effort required to conduct the System Test. 2) Test Planning details the activities, dependencies and effort required to conduct the System Test. 3) Test Cases documents the tests to be applied, the data to be processed, the automated testing coverage and the expected results. This document covers the first two of these items, and established the framework used for the GMAT test case development. The test cases themselves exist as separate components, and are managed outside of and concurrently with this System Test Plan.
Computer program called "A Formal Test Representation Language and Tool for Functional Test Designs" (TRL) provides automatic software tool and formal language used to implement category-partition method and produce specification of test cases in testing phase of development of software. Category-partition method useful in defining input, outputs, and purpose of test-design phase of development and combines benefits of choosing normal cases having error-exposing properties. Traceability maintained quite easily by creating test design for each objective in test plan. Effort to transform test cases into procedures simplified by use of automatic software tool to create cases based on test design. Method enables rapid elimination of undesired test cases from consideration and facilitates review of test designs by peer groups. Written in C language.
The objective of the AIPS program is to achieve a validated fault tolerant distributed computer system. The goals of the AIPS fault injection study were: (1) to present the fault injection study components addressing the AIPS validation objective; (2) to obtain feedback for fault removal from the design implementation; (3) to obtain statistical data regarding fault detection, isolation, and reconfiguration responses; and (4) to obtain data regarding the effects of faults on system performance. The parameters are described that must be varied to create a comprehensive set of fault injection tests, the subset of test cases selected, the test case measurements, and the test case execution. Both pin level hardware faults using a hardware fault injector and software injected memory mutations were used to test the system. An overview is provided of the hardware fault injector and the associated software used to carry out the experiments. Detailed specifications are given of fault and test results for the I/O Network and the AIPS Fault Tolerant Processor, respectively. The results are summarized and conclusions are given.
The aim of this project is to demonstrate techniques for effectively penetrating a radio shielded enclosure using Ethernet cable (CAT-6). This process requires that we measure the shielding performance by means of testing and data orchestration to collect and analyze our data to present observations with different test cases. Each test case would represent a different penetration strategy that utilizes distinctive wire coupling and characteristics (i.e. the type of bulkhead link, the twist of each CAT-6 cable, the shielding type of each CAT-6 cable, and the length of the cable). As the different cable setups are fabricated a prototype evaluation of setup is conducted to measure the signal integrity of our testing configuration. Our signal integrity is measured through the analysis of different parameters found in the prototype evaluation such as RF leakage, impedance mismatch, and decay rate. As each of these data values are effectively collected and analyzed the most effective cable setup is selected based upon its ability to penetrate the shielded enclosure. The testing data is compared in conjunction with the cost of the manufacturing of the prototype wire penetration.
Time-resolved particle image velocimetry at 30 kHz is applied to the exhaust flow field of a RDC system configured with a diffuser geometry and a converging-diverging (CD) nozzle. The RDC is operated with methane fuel and oxygen-enriched air, motivated by power generation applications. The measured flow-field is discretized into axial and non-axial velocity components. Results are shown to characterize the flow-field across a cord length at the exit plane. Instantaneous contours of the two velocity components, and 1D histograms of velocity components, and 2D histograms of total velocity and tilt angle are shown at multiple locations in the flow. Repeatability of the data is evaluated by comparing tests conducted at similar flow rates. Results are presented for a baseline test case, and test cases showing the effect of reactant higher flow rate and CD nozzle geometry. Finally, the results are compared to a previous RDC study without the diffuser to compare the effectiveness of the diffuser and CD nozzle designs in mitigating the flow periodicity at the combustor exit.
A two dimensional finite difference thermal model was developed to predict the effects of heating profile, fill level, and cryogen type prior to experimental testing the Generic Research Cryogenic Tank (GRCT). These numerical predictions will assist in defining test scenarios, sensor locations, and venting requirements for the GRCT experimental tests. Boiloff rates, tank-wall and fluid temperatures, and wall heat fluxes were determined for 20 computational test cases. The test cases spanned three discrete fill levels and three heating profiles for hydrogen and nitrogen.
This paper concerns a procedure that analyzes aspects of the meaning or semantics of scientific and engineering code. This procedure involves taking a user's existing code, adding semantic declarations for some primitive variables, and parsing this annotated code using multiple, independent expert parsers. These semantic parsers encode domain knowledge and recognize formulae in different disciplines including physics, numerical methods, mathematics, and geometry. The parsers will automatically recognize and document some static, semantic concepts and help locate some program semantic errors. Results are shown for three intensively studied codes and seven blind test cases; all test cases are state of the art scientific codes. These techniques may apply to a wider range of scientific codes. If so, the techniques could reduce the time, risk, and effort required to develop and modify scientific codes.
Time-resolved particle image velocimetry at 30 kHz is applied to the exhaust flow field of a RDC system configured with a diffuser geometry and a converging-diverging (CD) nozzle. The RDC is operated with methane fuel and oxygen-enriched air, motivated by power generation applications. The measured flow-field is discretized into axial and non-axial velocity components. Results are shown to characterize the flow-field across a cord length at the exit plane. Instantaneous contours of the two velocity components, and 1D histograms of velocity components, and 2D histograms of total velocity and tilt angle are shown at multiple locations in the flow. Repeatability of the data is evaluated by comparing tests conducted at similar flow rates. Results are presented for a baseline test case, and test cases showing the effect of reactant higher flow rate and CD nozzle geometry. Finally, the results are compared to a previous RDC study without the diffuser to compare the effectiveness of the diffuser and CD nozzle designs in mitigating the flow periodicity at the combustor exit.