建模与仿真的动态V&V技术综述  

An Overview of Modeling and Simulation Dynamic V&V Techniques

作　　者：贾仁耀[1] 刘湘伟[1] 

机构地区：[1]解放军电子工程学院,安徽合肥230037

出　　处：《计算机仿真》2007年第3期79-82,共4页Computer Simulation

摘　　要：校核与验证(V&V)技术包括非正规、静态、动态和正规四类技术,是保证建模与仿真(M&S)的可信度的重要手段。动态V&V技术是其中应用范围较广、数学和逻辑上比较正规的技术。它要求模型转化为应用并被执行,根据模型的执行行为来评价模型的精确性。首先简要介绍了M&S的VV&A和校核与验证技术的分类情况,然后论述了动态校核与验证技术并分析了各自的特点,最后介绍了在建模与仿真过程中动态V&V技术的适用范围。对用于校核与验证的动态测试技术和统计技术作了重点介绍。The Verification and Validation （V＆V） techniques are the important means to ensure the credibility of Modeling and Simulation （M＆S） , which include four categories： informal, static, dynamic, and formal techniques. Dynamic V＆V techniques are the relatively formal techniques on mathematic and logical formalism and applied in many fields. Dynamic V＆V techniques evaluate the model based on its execution behavior. Firstly, this paper briefly introduces M＆S VV＆A （Verification, Validation and Accreditation ） and the classification of V＆V techniques, Then, it discusses the dynamic V＆V techniques and analyzes their features. Finally, the selecting methods of dynamic V＆V techniques are presented and listed in a table. The dynamic test techniques and statistical techniques are the einphases.

关 键 词：建模与仿真 校核 验证 确认 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]