论文部分内容阅读
提出了一种基于需求的自动测试方法。该方法针对目前航空电子系统的系统设计与验证中的“V”型流程进行建模，并对其进行形式化的描述，以供计算机分析、识别。设计了一套有效、完备的自动测试系统以达到对系统需求的验证，并在此基础上提出了进一步研究的方向。通过实际软件验证了所提方法的有效性。
航空电子系统基于需求的自动测试方法
【摘 要】
：
提出了一种基于需求的自动测试方法。该方法针对目前航空电子系统的系统设计与验证中的“V”型流程进行建模，并对其进行形式化的描述，以供计算机分析、识别。设计了一套有效、
【机 构】
：
中国西南电子技术研究所
【出 处】
：
电讯技术
【发表日期】
：
2010年8期
其他文献
传拓工艺产生于唐代以前，其形式依赖了中国传统纸墨工艺的发明和成熟。传拓技术形成之初，以传播书法文字为主要功能。在文物研究中，拓本是重要的文物信息资料。传拓技艺在实际运
监测站是卫星导航定位系统的重要组成部分，建造导航监测站设备管理与质量评估系统对监测站规范化运行管理具有重要的实用价值。通过对监测站设备信息进行归档，结合管理监测站的
根据合成孔径雷达（SAR）原始数据经离散余弦变换（DCT）后的系数特性，分析了在DCT域按各子带能量分布作变比特块自适应量化的算法——DCT域块自适应量化（DCT-BAQ），并将该方法与时域BAQ算
为了解决多传感器多机动目标的航迹关联问题，提出了基于模糊平均综合相似度的多传感器多目标航迹关联算法。该算法首先应用模糊理论建立了多传感器航迹关联问题的数学模型，提出