NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
A system for automatic evaluation of simulation softwareWithin the field of computer software, simulation and verification are complementary processes. Simulation methods can be used to verify software by performing variable range analysis. More general verification procedures, such as those described in this paper, can be implicitly, viewed as attempts at modeling the end-product software. From software requirement methodology, each component of the verification system has some element of simulation to it. Conversely, general verification procedures can be used to analyze simulation software. A dynamic analyzer is described which can be used to obtain properly scaled variables for an analog simulation, which is first digitally simulated. In a similar way, it is thought that the other system components and indeed the whole system itself have the potential of being effectively used in a simulation environment.
Document ID
19770041739
Document Type
Conference Proceedings
Authors
Ryan, J. P. (Science Applications, Inc. Huntsville, Ala., United States)
Hodges, B. C. (NASA Marshall Space Flight Center Data Systems Laboratory, Huntsville, Ala., United States)
Date Acquired
August 8, 2013
Publication Date
January 1, 1976
Subject Category
COMPUTER PROGRAMMING AND SOFTWARE
Meeting Information
Summer Computer Simulation Conference(Washington, DC)
Distribution Limits
Public
Copyright
Other