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

来源 :计算机测量与控制 | 被引量 : 0次 | 上传用户:kkk3231
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于模型的设计是应对复杂嵌入式控制系统的一种高效的设计方法,它为工程师提供了一种通用的开发和测试平台;其中验证和测试在设计过程和保证产品质量中起着至关重要的作用;文中针对基于模型的设计方法及其测试与验证在实际系统设计中的应用,详细分析并总结了基于模型的验证与测试的各个环节,静态测试、动态测试、宿主机环境下测试与目标机环境下测试,并以某飞行控制系统软件为例进行验证与测试,验证设计是否满足要求。
其他文献
电子产品与系统向小体积、高性能和多功能方向发展,促使电子封装微互连焊点的互连高度不断减小,焊点性能受焊点尺寸影响变得日益严重,传统的由块体钎料及大体积焊点得到的性能数
本文在介绍飞行控制系统仿真实验平台研制基础上,重点讨论其核心部分实时仿真系统的分析与设计。考虑到实时仿真系统要求高可靠性、高稳定性、高实时性,本文选用MATLAB为工具
隐喻表述的大量使用是语言学上最有意思的现象之一。在一个隐喻表述中,目标意义与字面意义并不一致。隐喻认知脑机制的研究是揭开人类认识世界之谜的重要工具之一。国外已有
作为一种新型的复合型二极管,结型势垒肖特基二极管(Junction Barrier ControlledSchottky Rectifier,缩写JBS)具有大电流、高耐压、高开关速度、高浪涌电流抗性的优点。本论文的
全固态紫外激光器在生物医学及科研等领域具有广泛的用途,现已成为研究热点之一。本文从激光器调Q速率方程出发,介绍了调Q脉冲基本理论,并通过谐振腔理论优化腔型结构。根据
随着集成电路(IC)产业的发展壮大和人们生活节奏的加快,人们不断追求更加方便、快捷的生活方式。很多设备从最初的有线连接发展为现在的无线控制,在使用方面不再受限于距离,
流水线ADC由于在各性能方面有着很好的折衷,成为高速高精度ADC的主要实现方式之一。目前高速高精度流水线ADC广泛应用于各个领域,其中包括数字通信领域、数据获取领域和视频处
本文主要针对现代移动通信系统和射频集成电路中无源器件带通滤波器和双工器的高性能、小型化设计要求进行了研究。利用新颖的槽线传输线结构设计了多款性能优良且具有较大小
软新闻的突出特点是主题较轻松,写法生动形象,不讲究时效性,内容娱乐性强,重在情感上感染读者。功能派翻译理论的核心是目的论,它以翻译的目的为出发点,以翻译的功能性为准则
"简化"研究是翻译共性研究的主要分支。本文以我国公文翻译为研究对象,选取白皮书《2010年中国的国防》英译本为案例,通过与2010年美国的白皮书《国家安全战略》(National Secur