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
Acquisition Source
Legacy CDMS
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)