复杂仿真系统模型验证工具设计与实现

马震，吴晓燕，张蕊，卜祥伟

(空军工程大学 防空反导学院，陕西 西安　710051)



复杂仿真系统模型验证工具设计与实现

马震，吴晓燕，张蕊，卜祥伟

(空军工程大学 防空反导学院，陕西 西安710051)

模型验证是VV&A工作的重要内容之一，为了提高复杂仿真系统模型验证的工作效率，基于C#语言，设计了复杂仿真系统模型验证工具。详细阐述了验证工具的总体结构设计，深入讨论了各子模块的功能和具体实现，并通过实例说明了该工具的设计和实现是合理有效的，实现了模型验证的自动化。

仿真系统；VV&A; 验证工具；流程图；框架图；方法库

0　引言

目前，国内外仿真界已经达成了共识：没有经过验证的仿真模型没有任何价值[1]，模型验证已成为保证仿真系统可信度不可缺少的工作。验证存在不同的类型，例如概念模型验证、数据验证和结果验证[2]，其中，结果验证是最为关键的，也是本文研究的内容。随着建模与仿真复杂程度的不断提高，模型的验证工作越来越复杂，要求越来越高，其工作量也越来越大。为了降低模型验证工作过程中人力、物力和财力资源的消耗，开发经济、有效、成熟的验证工具已经迫在眉睫。

国外的一些公司或研究机构从20世纪80年代开始陆续开发了一些VV&A(verification,validation and accreditation)辅助工具，如Holmes针对导弹系统模型的验证，开发了一种十分有效的分析工具——随机工具箱[3]; Dai和Scott开发了针对实时软件和嵌入式系统自动校核、验证和测试工具[4]；Mellichamp研究了仿真系统结果分析的统计专家系统[5]。……