论文部分内容阅读
文章对实时嵌入式机载软件的测试方法进行了研究，地对机载计算软件的时空约束，面向机器和容错计算每一系列特点，提出了一个适用于实时嵌入式机载系统的ＲＥＡＳＴ软件测试模型，并地该模型实现中的４个核心技术进行了简要的阐明，最后，介绍了以上软件测试方法在实际工程项目中的应用情况。
面向实时嵌入式机载软件的测试技术研究
【摘 要】
：
文章对实时嵌入式机载软件的测试方法进行了研究，地对机载计算软件的时空约束，面向机器和容错计算每一系列特点，提出了一个适用于实时嵌入式机载系统的ＲＥＡＳＴ软件测试模型，并地该模型实
【机 构】
：
中国航空计算技术研究所
【出 处】
：
计算机工程
【发表日期】
：
1998年2期
其他文献
<正>笔者申报的教师成长课题《培养高中生数学提问能力的情境创设研究》目前处于调查研究阶段,为更好地了解高中生课堂提问的现状,分析学生不敢提问,不会提问的成因,特对"高
讨论了查新质量制约因素，并以日本查新人员技术资格考试大纲和考试内容及近十年考试统计数据等为重点进行介绍、分析和总结，针对我国查新业现状提出了几点建议。
Studies of primary and secondary fluid inclusions were done on epigenetic barite samples collected from carbonates of Lower part of Sarmord Formation (Lower Cre
目的 探讨低分子肝素治疗慢性阻塞性肺疾病（COPD）合并肺心病急性期的疗效及血清脑钠肽（BNP）、D-二聚体水平变化。 方法 选取COPD合并肺心病急性期患者60例，随机分为研究组和对照
农业保险是分散和转移农村金融风险的有效有段,是缓解我国农村金融供需矛盾的重要保障,对于我国这样一个自然灾害频发的国家,农业保险的建立和有效运行尤为重要。国内外农业
系统介绍了基于PWM（Pulse Width Modulation）调制的D类音频功率放大器的原理及特点.针对传统比较器迟滞固定的不足,通过引入两路电流反馈,设计了一种新颖的动态迟滞PWM比较器.
Tectonic-Geophysical Mapping of Israel and the Eastern Mediterranean: Implications for Hydrocarbon P
The eastern Mediterranean is a tectonically complex region evolving in the long term located in the midst of the progressive Afro-Eurasian collision. Despite ye
在实际的课堂作文训练和考试中,学生往往对写作感到束手无策,有很大一部分学生不知道怎么切入作文主题,不能在有限的训练或考试时间内完成作文。针对这个现象,语文教师可以通