Computer Science Technical Reports
CS at VT

Guidelines for Selecting and Using Simulation Model Verification Techniques

Whitner, Richard B. and Balci, Osman (1989) Guidelines for Selecting and Using Simulation Model Verification Techniques. Technical Report TR-89-17, Computer Science, Virginia Polytechnic Institute and State University.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
TR-89-17.pdf (3137611)


There is a lack of sufficient understanding and realization of the importance of simulation model verification in the simulation community. The demands placed on the software which serves as a computer-executable representation of a simulation model are increasing. In the field of software engineering, there is an abundance of software verification techniques that are applicable for simulation model verification. This paper is intended to reduce the communication gap between the software engineering and simulation communities by presenting software verification techniques applicable for simulation model verification in a terminology understandable by a simulationist. A taxonomy of verification techniques is developed to guide the simulationist in selecting and using such techniques. Characteristics, advantages, and disadvantages of verification techniques under each category are described.

Item Type:Departmental Technical Report
Subjects:Computer Science > Historical Collection(Till Dec 2001)
ID Code:154
Deposited By:User autouser
Deposited On:05 December 2001