面向嵌入式软件测试的仿真建模

• 作者: 刘斌 杨顺昆 蒋崇武
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 嵌入式软件 软件测试 基于接口 模型驱动
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 87-89
• 页数: 3页
• 分类号: TP391.9
• 字数: 4326字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.04.030

摘要

论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程.开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性.该工具已成功地应用于多个型号的软件系统测试中,实验结果证明了该仿真工具的有效性.