实时系统嵌入式软件可靠性分析与测试案例研究

被引量 : 3次 | 上传用户:libq19811022
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机需求的变化及发展,计算机软件承担了越来越多的功能,软件规模有不断变大趋势,软件复杂度也不断变高,为计算机系统的安全性和可靠性带来新的挑战。实时系统是一种能够对外部触发事件在一定的时间范围内作出响应的系统,在嵌入式领域的应用尤其广泛。可靠性是衡量实时系统的重要指标,软件可靠性分析与测试是保证软件并提高软件可靠性的有效手段。实时性与嵌入性是实时系统嵌入式软件两大重要特征,这使得其软件可靠性分析与测试除了使用传统的方法实现外,还需结合系统时间特性以及嵌入式环境实现。针对实时系统嵌入式软件可靠性研究的难点,研究软件可靠性分析与测试方法,并应用于一个被测试对象,验证实施方法的可行性与实用性。本课题以传统方法为基础,使用故障树分析方法对实时系统嵌入式软件的实时性进行可靠性分析;通过使用剖面方法对实时系统嵌入式软件测试建模,并在使用剖面中包含了功能剖面、故障剖面、实时剖面,具有一定的创新性。论文的主要研究内容如下:1.实时系统嵌入式软件的可靠性分析方法研究。通过分析对比目前软件可靠性分析方法,得出故障树分析方法在实时系统超时故障分析中具有明显优势。本课题将详细分析引起实时系统超时故障的原因,结合软件故障树的分析方法,找出在实时系统软件设计过程需要加强的环节。2.实时系统嵌入式软件可靠性测试用例生成方法研究。通过分析对比软件可靠性测试用例生成方法,指明相对于运行剖面和使用模型而言,使用剖面测试用例生成方式更具有操作性。论文将实时系统功能剖面、故障剖面、实时性剖面纳入使用剖面,详细探讨使用剖面生成过程。3.实时系统嵌入式软件可靠性分析与测试流程及辅助工具的设计与实现。包括超时故障树的生成、使用剖面与测试用例的生成、测试执行环境的搭建,测试过程准备、测试激励的设计、测试结果数据的探测收集与显示、可靠性的分析与评估。4.可靠性研究在ADS-B地面解码系统项目中实践。结合本文的理论研究,详细分析被测对象的需求,建立可靠性指标体系,按流程进行可靠性分析与测试。
其他文献
目的:目的探讨早期肠内营养在高龄食管癌术后的使用方法与临床疗效。方法:对收治高龄食管癌患者120例,按营养方式的不同将其分为肠外营养组(PN组)和早期肠内营养组(EEN组),每
资金分散、利用效率低是我国企业集团资金管理中的突出问题,因此如何有效实行资金集中管理是我国企业集团迫切需要解决的现实问题。本文分析了企业集团资金集中管理的必要性,
随着城市的经济快速发展,城市的规模日益的扩大,城市公共交通系统也随之变得复杂。公交线路越来越多,给人们的出行带来了极大的便利,但由于城市规模的不断发展,给人们选择的
明代书画家董其昌云,"诗以山川为境,山川亦以诗为境"。他所主张的正是由主观的生命情调与客观的自然景象交融互渗而成就的一个鸢飞鱼跃、云淡渊深的诗意境界。本文自魏晋南北
<正> 终审判决的权威性又称判决的终局性,即终审判决一旦作出,就具有确定力、拘束力和执行力,除非其存在明显的错误,才可作为例外给予再审救济。终审判决的权威性是由一国的
在信息技术和互联网的双重作用下,电子政务建设进程不断加快,这使得机关档案管理工作面临着巨大的挑战。在网络环境下应用先进的信息技术,应进一步提高机关档案管理工作效率,
墨子作为墨家学派的创始人,是我国战国时期著名的思想家。其思想在中国历史上产生过重大影响。本文仅就高中课本所涉及的墨子思想加以论述,在了解其思想内容的基础上分析墨子
目的了解大学新生的网络行为相关情况,为引导大学新生合理使用网络,加强学校卫生工作提供参考和依据。方法于2013年12月~2014年1月间采用分阶段整群抽样,共抽取某大学330名大
伴随着人们对即时通信软件的依赖程度越来越高,即时通信软件的通信内容安全越来越引起安全研究人员的重视。协议分析技术在网络应用程序内容安全方面具有重要的作用,但由于越
面向移动端的社会化网络服务(SNS)具有良好的市场前景,其中图片分享类应用方兴未艾,是移动应用市场最受用户青睐的服务形式之一。如今,国内移动应用逐渐走出粗放型的发展阶段