嵌入式软件可靠性测试用例自动生成技术的研究与实现

被引量 : 0次 | 上传用户:lhdbbc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机软件设计技术和开发工具的迅速发展,应用软件的规模和复杂性愈来愈大,带来了对计算机应用软件安全性和可靠性的更高要求。如何保证软件的质量,特别是软件可靠性,已成为软件工程中的关键问题之一。而对于常用在安全关键性领域的嵌入式系统,如何进行测试,提高软件的可靠性,也受到越来越多的关注。但由于嵌入式软件的特殊性,可靠性和安全性的要求往往很高,对其进行测试时仍然存在很多问题和挑战。本文从软件可靠性测试的基本知识、理论入手,分析了嵌入式软件可靠性测试的基本过程和关键技术,给出了嵌入式软件可靠性测试用例自动生成解决方案:以随机分布和概率统计的原理为基础,以满足多种约束条件下的调整、优化算法为基本手段,从而寻找到全局最优的测试用例。该方法从提高可靠性测试效率和充分性的角度,提出了基于操作剖面的可视化建模技术,测试人员不需要了解软件的具体代码,只需要考虑软件的输入输出以及在各种输入下的状态变化即可建立操作剖面的图形化表示;并提出确定上限的最小测试用例数穷举生成算法、限定条件下的测试用例调整和优化算法、发生概率对比生成算法等关键技术,提高了故障覆盖率,降低了测试成本,从而为解决嵌入式软件的测试用例自动化问题奠定了良好的基础。论文设计了嵌入式软件可靠性测试用例自动生成工具,以某型号综合控制软件作为背景,在限定资源的条件下生成满足操作剖面要求的可靠性测试用例,从而验证了该方法与工具的实用性。本文设计的嵌入式软件可靠性测试用例自动生成工具,可以有效解决嵌入式软件的可靠性测试问题,为可靠性评估提供数据支持,从而对在嵌入式软件项目开发中大力推广可靠性工程,实施软件可靠性保障有着重要的现实意义和应用价值。
其他文献
全民健身是举国之力,惠之以民。主旨是增强人民的身体健康。进入互联网时代体育活动的形式也发生了改变。随着各种各样的全面健身活动的蓬勃开展,人们的生活观念发生巨大变化
一、研究目的和意义我国乡村医生兴起于20世纪60年代。当时为了解决农村地区缺医少药的状况,政府决定大量培养(短期医疗知识培训)半农半医的初级农村卫生人员,于1968年统称为
<正>11月5日,国家能源集团携手碧桂园集团打造的国内首座铜铟镓硒薄膜建筑光伏一体化示范项目(CIGS-BIPV)在潼湖科技小镇建成投运,这是国内首个建成并投入使用的光伏建筑一体
第一部分同侧C7神经根移位治疗臂丛上干根性撕脱伤疗效的实验研究目的臂丛上干根性撕脱伤常用丛外神经移位进行治疗。2002年顾玉东首创同侧C7全根移位手术治疗上干根性撕脱伤
产业结构,尤其是主要产业支柱单一是引起新加坡近些年经济波动的主要内因之一。新加坡政府也认识到了这个问题,相继推出了以发展知识密集型经济打造新的支柱产业及“产业21计
<正>近年来,受到各种因素的影响我国生猪市场价格波动非常大。这给生猪养殖户带来很大的损失。农村生猪养殖规模不是很大但是带来的损失不容忽视。我就我村生猪养殖存在的一
随着社会的进步,人们的隐私保护意识也在逐渐增强,产科作为一个专门针对孕产妇的特殊科室,护士在临床护理工作中,更应该时时刻刻注意产妇隐私的保护,包括对产妇的孕产史、传
如果说质量是企业的生命,那么成本及成本控制就是企业生存和发展的基础。企业成本管理的概念、内容、方法甚至目的都随着企业生产过程的不断变化和成本管理理论的进步而不断
本研究主要采用理论探讨、数量统计和定性定量分析的方法,辅以少量的访谈,以1990年到2008年之间出版的中高级对外汉语教材为研究对象,研究了教材中的经典名作、非经典性文学
目的:通过构建慢性疲劳综合征(CFS)小鼠模型,研究运动量对CFS小鼠免疫功能的影响,为临床上CFS运动处方的研究提供免疫学实验依据。方法:取40只雄性昆明小鼠,随机分为4组,每组