do d v v a recommended practices guide（做d v v和一个推荐的做法指南）.docVIP

8/15/01 VV Technique Taxonomy This document describes over seventy-five VV techniques and eighteen statistical techniques that can be used for model validation. Most of these techniques are derived from software engineering; the remaining are specific to the modeling and simulation (MS) field. The software VV techniques applicable to MS VV are presented in terms understandable by an MS technical person. Some software VV techniques have been modified for use in MS VV. The term testing is used frequently when referring to the implementation of these techniques because VV involves the testing of the model or simulation to assess its credibility. The VV techniques discussed in this document are separated into four categories: informal, static, dynamic, and formal. The specific techniques in each category are discussed in separate write-ups accessible by the hot links listed. Informal VV techniques are among the most commonly used. They are called informal because their tools and approaches rely heavily on human reasoning and subjectivity without stringent mathematical formalism. See the hotlink, Informal VV Techniques for discussion of specific techniques included in this category. Static VV techniques assess the accuracy of the static model design and source code. Static techniques do not require machine execution of the model, but mental execution can be used. The techniques are very popular and widely used, and many automated tools are available to assist in the VV process. Static techniques can reveal a variety of information about the structure of the model, the modeling techniques used, data and control flow within the model, and syntactical accuracy (Whitner and Balci, 1989). See the hotlink, Static VV Techniques for discussion of specific techniques included in this category. Dynamic VV techniques require model execution; they evaluate the model based on its execution behavior. Most dynamic VV techniques require model instrumentation, the