语境驱动的仿真模型测试方法论  

Context-driven Testing Methodology for Simulation Model

作　　者：王维平[1] 陈超[2] 李群[1] 蒋彩云[1] 

机构地区：[1]国防科技大学五院系统工程研究所,长沙410073 [2]空军工程大学工程学院,西安710038

出　　处：《系统仿真学报》2008年第16期4211-4215,4220,共6页Journal of System Simulation

基　　金：国家自然科学基金(60574056)

摘　　要：组合模型的有效性验证是利用模型组合实现仿真系统快速开发的迫切需求,也是组合仿真理论和方法研究的一个重要问题。在分析组合模型抽象层次的基础上讨论了不同层次组合有效性的研究内容,并针对组合模型的行为从测试的角度提出了语境驱动的仿真模型测试方法论,重点讨论了方法论中语境的概念、语境驱动的测试框架生成以及测试框架的嵌入和运行时刻检验等内容,目的是判断仿真模型及其组合行为是否忠实反映了设计信息,实现了行为无错的演化。The validation of simulation model composition is seriously demanded in the rapid development of simulation systems by composition, and also an important aspect in the study of the theories and methods of composition simulation. The hierarchical composition validity based on different abstract levels was discussed, and then a context- driven testing methodology aiming at the behavior of composition simulation model was proposed and the concept of context, the generation and embedding of testing framework and run-time checking were emphasized on, in order to judge simulation models whether reflect design information in faith and evolve with no faults or not.

关 键 词：组合仿真 组合有效性 语境 测试框架 

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