复杂仿真系统评估是个动态过程，而复杂仿真系统概念模型评估方法则是评估过程中重要的问题，可以保障复杂仿真系统概念模型能够作为仿真系统开发人员设计和实现复杂仿真系统的重要基础。概念模型是由静态描述与动态描述两部分组成。静态部分的内容比较容易理解和检查，动态部分的内容很难通过阅读式地审查发现其中瑕疵，因此建立概念模型动态部分的可执行模型验证很有意义。与其它模型相比，概念模型更加接近于自然语言的模型表述方法，很难构造精确定量模型。 定性仿真(QualitativeSimulation)是以非数字手段处理信息输入、建模、行为分析和结果输出等仿真环节，通过定性模型推导系统的定性行为描述。与数字仿真相比，它的最主要特色在于：不必要建立精确的数学模型，能够处理不精确、不确定、不完全知识，并产生所需结果。 本文提出一种基于定性建模以及模型检测的相关理论对概念模型动态部分进行评估的全新方法。第一步建立概念模型定性模型，由QSIM仿真算法，生成动态部分的行为树模型；接着利用CTL时序逻辑来形式化描述概念模型待检验性质；第三步将行为树模型转化为Kripke变迁结构，利用语义方法来验证此结构是否满足CTL时序逻辑所表达的性质；最后利用检验结果实现对概念模型的验证。