【摘 要】
：
目的 针对航天型号非嵌入式软件在调试验证中的设计问题,研究其可视化技术.方法 参考GraphML和ATML标准,使用XML模式定义测试描述语言,用于将可视化的测试设计保存为测试描述
【机 构】
：
北京航空航天大学计算机学院,北京100191;装甲兵工程学院,北京100072;装甲兵工程学院,北京,100072
论文部分内容阅读
目的 针对航天型号非嵌入式软件在调试验证中的设计问题,研究其可视化技术.方法 参考GraphML和ATML标准,使用XML模式定义测试描述语言,用于将可视化的测试设计保存为测试描述文件;定义测试程序模板,封装通用硬件接口的操作并定义了测试程序的基本框架;设计翻译程序,逐步解析测试描述文件并根据测试程序模板,生成测试程序.结果 设计了具有通用接口和可视化设计界面的通用测试平台.该平台不仅可用于设计测试程序,对目标系统进行测试,而且可用于构建一个模拟程序,与其他系统进行协同测试.结论 可视化测试平台可以简化航天型号软件的测试设计,并能提高测试效率.
其他文献
腹部器官的生理运动使腹部MR应用发展慢于其他器官的MR成像.然而,随着硬件和软件技术的开发和升级,MR扫描时间进一步缩短,实现动态成像,腹部器官生理运动的消除显著改善了图
目的研究模拟微重力条件对拟南芥生长过程中生理、生化特性以及亚显微结构的影响。方法通过回转仪模拟微重力环境,利用激光共聚焦扫描显微镜和Ca2+荧光探针对生长7 d的拟南芥
安全始终是航空事业一个永恒的主题,随着我国民航事业的发展,自动化水平的提高,人为因素成为航空安全事故发生的主体.从心理学上讲,人受七情六欲的影响是最容易犯错误的,即使
本文探讨了市场经济条件下企业如何深化信息服务层次的问题 ,包括开展定题信息服务、专题文献服务、搜集竞争对手信息和网络信息服务的方式和途径。
This article explores
本文首先阐述了高标准基本农田的建设意义,接着分析了高标准农田建设的常见问题,最后对高标准农田建设对策建议进行了探讨.希望能够为相关人员提供有益的参考和借鉴.
消毒供应业务在医疗活动中属于辅助支持活动,对医疗质量的影响重大。根据国务院《“十三五”深化医药卫生体制改革规划》,鼓励社会力量举办消毒供应机构。目前各医院内部普遍
他以创新思维的全新理念表达了“特殊技能人才”对质量的卓越追求,他以理性的思考、静达的心态和求实的眼量诠释了真空玻璃产业文化的深邃内涵和发展真谛.他是“鲁道夫最佳论
血管生成(angiogenesis)是指单个成血干细胞或内皮细胞从已形成的微血管网以出芽方式延伸,经重组改建形成更成熟的血管包括动脉、静脉和毛细血管的过程。1971年,Folkman首先
随着国家经济实力不断增强,对基础方面设施的建设力度也在不断加大投入,特别是工程在现场进行施工的时候也必须要用到现代化的机械设备.因此文章重点就工程机械维修存在的问
肺癌是严重威胁人类健康的疾病,其发生率和死亡率逐年上升.肺癌的早期诊断、早期治疗可提高肺癌的生存率,故肺癌的发病机制及术前影像学诊断尤为重要.随着影像学技术的迅猛发