论文摘要：面向嵌入式软件测试的仿真模型描述语言研究

对嵌入式软件进行测试，一种公认的有效的测试方法是仿真测试。仿真测试利用仿真模型来代替真实设备，模拟出被测系统运行的交联环境，进行自动的、非侵入的闭环测试。仿真测试方法除了能够完成有效的测试，还可以节约测试成本，以及做到一些真实环境下难以做到的测试。仿真模型是仿真测试的重要部分，是测试得以进行的基础，仿真模型的质量直接影响测试的质量，建模的效率直接影响测试的效率。因此，简单快捷的建模方法是十分必要的。目前对于嵌入式软件测试的建模方法存在一些不足。比如模型的需求表达能力不够，模型的某些特性难以自动化建模，只能通过手写代码来补充。又如对模型进行局部修改有时比较困难，甚至要重新建模。为解决上述存在的问题，本文设计了一种简单实用的仿真测试建模语言SMTDL。它是基于XML语言扩展定义的，具有简便快捷、结构清晰的特点，适用于仿真测试建模过程。文中阐述了仿真测试对建模的需求，分析了仿真模型的框架结构特征，在此基础上，叙述了STMDL语言的总体设计思想。本文结合其他一些建模语言和描述语言的优缺点和语法定义，用一个章节详细介绍了STMDL语言的语法与规则定义，并对这些规则进行了说明。论文主要解决了描述规则和转换规则的语法定义，完成了STMDL语言的详细设计。此外论文还对基于STMDL语言的可视化建模工具进行了设计。