全数字仿真环境技术及其在航天软件测试中的应用

来源 :全国软件测试能力验证总结会暨中国宇航学会计算机应用专业委员会2006年学术年会 | 被引量 : 0次 | 上传用户:kjc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文从航天嵌入式软件测试的需求出发,对全数字仿真环境技术进行了分析研究.介绍了嵌入式软件测试中主要使用的测试环境,并从嵌入式软件测试遇到的实际问题出发,阐述了全数字仿真环境的概念、理论与实现方法,详细介绍了基于该技术的全数字仿真软件测试系统在航天软件测试中的应用情况,并对全数字仿真环境技术与应用现状进行了概括性介绍,最后对全数字仿真环境技术的未来发展进行了展望.
其他文献
本文对SiO2-PVA杂化凝胶的SAXS研究中,提出了一种基于Ruland基本理论的数据处理方法,由此可以定量地得到电子密度波动的维数和幅度.
本文重点分析了扫描速度对衍射峰位、强度和半高宽的影响,论述了不同寻峰方法对衍射线峰位和FWHM的影响。
本文用154个有机化合物的X射线粉末衍射实验谱图和计算谱图进行了比较.观察和分析了这个问题.并指出,这对于有机化合物的物相鉴定,对于有机化合物粉末衍射数据的指标化,对于
本文利用脉冲激光沉积技术在DyScO3(DSO)衬底上异质外延生长了SrTiO3(STO)薄膜.采用原位X射线衍射方法在20-300K范围内测量了低温下薄膜的热膨胀系数;讨论了应变与薄膜和衬底
本文对桐柏-东秦岭北坡典型成矿系统进行了研究。文章选择桐柏一东秦岭地区造山型金银成矿系统和火山块状硫化物型铜锌成矿系统的代表性矿床进行对比研究,进而分析了研究区的
目的:建立测定肺结核患者血浆中利福喷丁浓度的方法。方法:采用高效液相色谱法,以对硝基酚为内标,采用S0.h2i5m~-p3a2c.k0VμgP.-OmDLS-1为范色围谱内柱线,性以关甲系醇良-水
本文用真空沉积的方法制备了三种不同形态的酞菁铜薄膜并用摆动曲线方法对其结晶性进行了表征.之后又制备并表征了基于这三种薄膜的有机薄膜晶体管器件.实验结果表明,沉积在1
软件开发过程中的一个重要原则就是缺陷发现的时间越早越好,如果能控制软件缺陷,就可以得到高质量的软件.静态分析工具根据软件的结构、内容或文档来评价软件系统,而不需要执
会议
本文通过分析论证:一种将新颖的织构和残余应力方法整合入Rietveld方法,再与反射分析结合的完全分析方法已经发展起来.这种完全分析具有以下几个优点:反射得到的厚度可用于修
目的:观察小儿智力糖浆治疗注意缺陷多动障碍(ADHD)患儿的睡眠、注意力商数的临床疗效.方法:选择我院56例ADHD患儿,给予小儿智力糖浆治疗,每次10mL,tid,连续治疗3个月.另选取