收藏本站
《吉林大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

关联缺陷及其应用研究

刘新忠  
【摘要】: 计算机软件技术的发展大大促进了计算机应用领域的发展,尤其是一些关键应用系统的开发和使用(如银行信贷系统、ATM系统等),软件质量已经成为软件产品最重要的属性之一。软件缺陷(Defect)普遍存在并具有极大危害性,不仅会造成重大的经济损失,甚至危及人身安全。提高软件质量,加强软件产品的可靠性,对缺陷进行检测、评估和预防一直是计算机领域内的主要研究内容之一。 而在实际测试过程中,很多软件缺陷并不是相互独立的,它们存在着某种关联关系,即失效关联(Failure Correlation)。从缺陷自身方面来分析,造成这种关联关系存在是因为它们之间存在控制流和数据流所综合导致的,而数据流的关联在缺陷的检测和评估方面很少考虑。 关联缺陷的存在很大程度上是由于缺陷的检测能力被其它缺陷所屏蔽,它不仅影响软件测试结果,还扭曲了软件可靠性评估模型的评估结果。软件关联缺陷是一种普遍存在的现象,结合国家863项目的研究,我们从软件缺陷的自身角度来分析软件检测以及可靠性评估失效的原因,对关联缺陷进行了详细分析。在此基础上将关联缺陷应用于软件可靠性评估和软件自动化测试中,实验表明在很大程度上提高了的软件缺陷检测能力和软件可靠性评估的准确度。 在软件可靠性评估方面,为了在软件可靠性评估时获得更符合实际缺陷数量的预测值,我们将广义关联应用于现有可靠性评估模型的改进上,并提出了P-NHPP(Phase Nonhomogeneous Poisson Process)可靠性模型。P-NHPP是对NHPP模型的一种改进,将数据关联考虑至软件可靠性模型的改进上,针对缺陷与缺陷相互独立的基本假设,构建P-NHPP模型。P-NHPP模型从可靠性评估的数据采集入手,将关联缺陷应用于G-O模型中,并通过估计均方误差值和预测平均误差进行对比分析,实验分析表明,P-NHPP具有较好的拟合效果和预测能力。 在软件自动化测试方面,我们引入变异测试技术。作为衡量测试用例集完备性的测试策略,变异测试是一种“面向缺陷”的单元测试技术,主要用来生成完备的测试用例集。其中面向路径测试数据生成技术通过约束系统构造和求解过程实现用例集生成,是一种高效的测试用例生成技术。但目前大部分面向路径测试用例生成技术只考虑了程序语句间的控制依赖,即通过对控制流图的分析来构建约束系统,而忽略了语句间的数据依赖对约束系统的影响。充分考虑两种依赖关系,本文针对域削减的测试数据生成技术进行了改进,提出了一种考虑数据依赖的域削减方法DRD(Domain Reduction Approach with Data Dependence)。DRD充分考虑关联产生的数据依赖,将数据依赖加入程序执行路径中,形成考虑数据关联的PDD(Path with Data Dependence),在此基础上构建并求解约束系统,实验表明,这种方法虽然不一定能找到测试数据最优解,但在测试数据生成的成功率和执行效率上都有较大程度的提高。
【学位授予单位】:吉林大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TP311.52

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 李春玲;;软件可靠性模型研究[J];电子产品可靠性与环境试验;2008年02期
2 魏颖;沈湘衡;;基于混合体系结构的软件可靠性评估方法与应用[J];系统工程与电子技术;2010年04期
3 吴勤;侯朝桢;原菊梅;;基于SVM的软件可靠性评估[J];微计算机信息;2006年09期
4 石柱;控制软件可靠性设计和评估方法[J];航天控制;2004年01期
5 魏颖;张波;李丽;沈湘衡;陈媛;张格非;;基于体系结构的软件可靠性评估[J];光学精密工程;2010年02期
6 柯尧;赵保华;屈玉贵;;基于组件系统的可靠性分析[J];北京邮电大学学报;2005年06期
7 张文华;夏跃伟;;软件可靠性评测方法及其应用研究[J];漯河职业技术学院学报;2007年02期
8 王高祖;李伟华;徐艳玲;;基于神经网络组合模型的软件可靠性评估研究[J];计算机仿真;2010年08期
9 李英;;对软件可靠性测试的认识[J];信息与电脑(理论版);2011年08期
10 黎忠文,熊光泽;软件可靠性评估的误差分析[J];系统工程与电子技术;2001年06期
中国重要会议论文全文数据库 前10条
1 贡岩;黄琳;;指挥自动化系统嵌入式软件可靠性评估[A];中国电子学会可靠性分会第十三届学术年会论文选[C];2006年
2 宁云晖;侯海梅;范晓虹;;软件可靠性评估与测试方法研究[A];2009第十三届全国可靠性物理学术讨论会论文集[C];2009年
3 吴式枢;李蕴才;杨善德;;2p-1h与2h-1p多重散射关联对A=15和17核单粒能谱的贡献[A];第五次核物理会议资料汇编(中册)[C];1982年
4 胡嘉伟;江建慧;;一种面向软件可靠性评估的故障注入机制的设计与实现[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
5 许峰;高昕;蔡新田;孟凡胜;刘文;熊仁生;刘朝晖;邓书颖;;基于两站的多目标交会算法中的像点关联[A];2004全国光学与光电子学学术研讨会、2005全国光学与光电子学学术研讨会、广西光学学会成立20周年年会论文集[C];2005年
6 邱晗;周强;;自动获取大规模的汉语紧密组合词汇关联对[A];第十一届全国人机语音通讯学术会议论文集(二)[C];2011年
7 邱晗;周强;;自动获取大规模的汉语紧密组合词汇关联对[A];第十一届全国人机语音通讯学术会议论文集(一)[C];2011年
8 曹李刚;马中玉;;对关联对核基态和集体激发态的影响[A];第十届全国中高能核物理大会暨第五届全国中高能核物理专题研讨会论文摘要集[C];2004年
9 白春林;张焕桥;张锡珍;;张量关联对~(90)Zr和~(208)Pb的Gomow-Teller跃迁的影响[A];二〇〇九全国核反应会暨生物物理与核物理交叉前沿研讨会论文摘要集[C];2009年
10 林长川;孙腾达;洪爰助;黄丽卿;东昉;;雷达与AIS目标航迹模糊关联算法与仿真[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
中国重要报纸全文数据库 前10条
1 何颖;广西文化产业与南博会的——— 十大关联对接[N];广西日报;2004年
2 张新运;二院201所 可靠性项目中标“梅开二度”[N];中国航天报;2010年
3 张启华;全新角度研究共和国历史[N];光明日报;2005年
4 本报记者 徐佳通讯员 夏凡;杭州上城:“双G”制导 实现巡防一体[N];人民公安报;2008年
5 ;传媒技术走向“四面八方”[N];计算机世界;2004年
6 ;在全球化与可持续发展的道路上[N];中华读书报;2003年
7 肖志营;品牌突围的需求与扩张[N];中国企业报;2002年
8 顾宸宇;优化上市公司产业布局促进陕西经济快速发展[N];人民政协报;2004年
9 杜劲松;不同的企业规模 不同的招商境界[N];医药经济报;2007年
10 陈伟;西方知识分子史的写法[N];中华新闻报;2007年
中国博士学位论文全文数据库 前10条
1 刘新忠;关联缺陷及其应用研究[D];吉林大学;2010年
2 李万;基于本体的入侵报警关联[D];北京交通大学;2010年
3 王江峰;基于轨迹片段关联的目标跟踪与事件检测方法研究[D];国防科学技术大学;2011年
4 王素格;基于Web的评论文本情感分类问题研究[D];上海大学;2008年
5 叶世阳;支持服务质量关联的复合服务选择与协商技术研究[D];中国科学技术大学;2010年
6 杨京京;民营企业政治关联、多元化战略与绩效的关系研究[D];华南理工大学;2013年
7 吴利华;上市公司跨行业转型研究[D];河海大学;2004年
8 付德军;理解生命[D];复旦大学;2010年
9 肖文;基于证据理论的多属性决策关联问题研究[D];江西财经大学;2011年
10 贾正林;噪声诱导共振现象中的噪声关联和时间延迟效应研究[D];云南大学;2012年
中国硕士学位论文全文数据库 前10条
1 何焱;基于马尔可夫链的软件可靠性评估技术研究[D];解放军信息工程大学;2011年
2 何慧书;强化东道国企业与跨国公司的关联研究[D];湖南大学;2006年
3 尚冬娟;基于测试的软件可靠性评估研究[D];西北大学;2006年
4 唐衍军;制度背景、政治关联与企业价值分析[D];江西财经大学;2012年
5 李培;产品评论挖掘的观点抽取和分类技术研究[D];重庆大学;2009年
6 杨振;高能重离子碰撞中大质量玻色子的背对背关联[D];哈尔滨工业大学;2011年
7 邹巍;核—核散射微观光学势—张量关联对中重核单粒子能级演化的影响[D];吉林大学;2008年
8 韩嘉佳;政治关联、盈余管理与审计意见[D];西南财经大学;2011年
9 闫彦;现代室内居住空间设计与传统风水学的研究[D];合肥工业大学;2009年
10 魏佳臻;政府关联、社会资本与高管非常规变更[D];暨南大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026