10.3969/j.issn.1671-4598.2013.04.050
基于模型的验证与测试技术
基于模型的设计是应对复杂嵌入式控制系统的一种高效的设计方法,它为工程师提供了一种通用的开发和测试平台;其中验证和测试在设计过程和保证产品质量中起着至关重要的作用;文中针对基于模型的设计方法及其测试与验证在实际系统设计中的应用,详细分析并总结了基于模型的验证与测试的各个环节,静态测试、动态测试、宿主机环境下测试与目标机环境下测试,并以某飞行控制系统软件为例进行验证与测试,验证设计是否满足要求.
基于模型的设计、验证、测试
21
TP207.1(自动化技术及设备)
2015-01-20(万方平台首次上网日期,不代表论文的发表时间)
共3页
987-989