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

Verification and Test of Model-based Design

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

Model-Based Design is an efficient approach for complex embedded control systems, which provides a general design and test platform. Verification and test play a pivot role in sysycm design process and keeping the quality of products. In accordance with the applica-tion of the Model Based Design and Verification anditest in the design of practical system, a detailed analysis on each step during the model based test and validation is presented, including static test, dynamic test, and the test in host and target environment. Finally, the test and validation for a flight control software is presented in order to prove that the system design meets the requirements.