基于模型的验证与测试技术

• 作者: 李育挺 王伟 马松辉
• 来源期刊: 计算机测量与控制
• 关键词: 基于模型的设计 验证 测试
• 年，卷（期）: 2013,（4）
• 所属期刊栏目: 试验与评价技术
• 页码范围: 987-989
• 页数: 3页
• 分类号: TP207.1
• 语种: 中文

摘要

基于模型的设计是应对复杂嵌入式控制系统的一种高效的设计方法,它为工程师提供了一种通用的开发和测试平台；其中验证和测试在设计过程和保证产品质量中起着至关重要的作用；文中针对基于模型的设计方法及其测试与验证在实际系统设计中的应用,详细分析并总结了基于模型的验证与测试的各个环节,静态测试、动态测试、宿主机环境下测试与目标机环境下测试,并以某飞行控制系统软件为例进行验证与测试,验证设计是否满足要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马松辉	西北工业大学无人机特种技术重点实验室	44	348	9.0	17.0
2	王伟	西北工业大学无人机特种技术重点实验室	165	1371	19.0	25.0
3	李育挺	西北工业大学无人机特种技术重点实验室	1	7	1.0	1.0