摘要
组合模型的有效性验证是利用模型组合实现仿真系统快速开发的迫切需求,也是组合仿真理论和方法研究的一个重要问题。在分析组合模型抽象层次的基础上讨论了不同层次组合有效性的研究内容,并针对组合模型的行为从测试的角度提出了语境驱动的仿真模型测试方法论,重点讨论了方法论中语境的概念、语境驱动的测试框架生成以及测试框架的嵌入和运行时刻检验等内容,目的是判断仿真模型及其组合行为是否忠实反映了设计信息,实现了行为无错的演化。
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.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2008年第16期4211-4215,4220,共6页
Journal of System Simulation
基金
国家自然科学基金(60574056)
关键词
组合仿真
组合有效性
语境
测试框架
composition simulation
composition validity
context
test framework
