收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

依赖性分析及其在软件测试中的应用

缪力  
【摘要】:依赖性分析和程序切片,是一种程序分解技术,在软件工程的诸多领域都有广泛应用。现代软件规模的巨大和复杂使得设计和测试这些软件极其困难,其中软件测试通常要占到开发成本的50%甚至更多,提高软件测试效率,对于降低软件开发成本,加快软件开发周期有直接的作用。由于现代软件系统的巨大规模,真正的实用的测试方法总是根据情况和要求,有侧重点的进行,这就使得依赖性分析在软件测试过程中有着重要意义。平衡软件测试的效率和效果是当前软件测试具有理论意义和实际价值的热点问题。程序切片和依赖性分析是重要的程序分解技术,将依赖性分析应用于软件测试可以使得软件测试更有目的性和针对性,在有条件的保证软件测试效果的前提下,有效地提高软件测试效率。 基于对依赖性分析在软件测试中的应用能力分析,本文进行了以下一些研究工作: 软件测试数据自动生成是软件测试的一个重要研究领域,其中数组变量和指针变量导致的变量不确定问题是测试数据自动生成中的一个困难问题,本文通过理论分析得出非定态路径约束解空间可进一步划分为多个子空间的结论。基于分析结论,利用一种特殊的程序切片技术,本文给出一个将非定态路径的测试转换为定态路径测试的算法。 通过分析EFSM不同测试序列的依赖关系模式(切片),可以有效的约减测试集,提高测试效率。由于EFSM依赖关系的特殊性,对于EFSM依赖图,现有的基于标志已访问节点的遍历算法不适于解决该问题。本文对EFSM的依赖关系的传递性进行了分析,并给出一个基于变迁的EFSM后向切片算法。 修改影响分析本质上也属于约减测试用例的范畴,通过分析修改的软件部分与软件其他部分的依赖性关系,确定需要重新测试的部分,从而避免了对整个软件的完全重新测试,提高了测试效率。本文针对面向对象程序,提出类成员后向切片方法以找出所有被修改所影响的类成员。该方法比类防火墙技术的精度要高,复杂度低于语句级粒度分析方法。 现代软件中,并发程序设计得到越来越普遍的应用。然而,并发程序的依赖性分析有着其特殊的复杂性,在这方面,本文进行的研究工作有: 为了使程序切片技术能应用于更广泛的并发程序,我们在现有算法的基础上,并进一步考虑到互斥体间可能存在的同时有定义和引用关系的情况,将现有的并发程序切片算法推广到可以计算有互斥机制的并发程序的程序切片,得到了更为精确的切片算法。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 赵云山;宫云战;刘莉;肖庆;杨朝红;;提高路径敏感缺陷检测方法的效率及精度研究[J];计算机学报;2011年06期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前8条
1 缪力;张大方;杨学东;;计算有互斥机制的并发程序的程序切片[A];第十届全国容错计算学术会议论文集[C];2003年
2 钟诚;朱正平;张莲;卿海军;;一种基于程序切片的反代码迷惑算法[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
3 彭永光;李华;叶新铭;;基于Petri网程序切片方法的Minix3的分析与测试研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 王磊;马建红;樊世燕;周华;辛政华;;基于程序切片的可达路径选择的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
5 李征;赵瑞莲;;基于领域的程序切片准则的依赖性分析[A];第五届中国测试学术会议论文集[C];2008年
6 王雪莲;赵瑞莲;李立健;;一种基于前向分析的动态程序切片算法[A];第三届中国测试学术会议论文集[C];2004年
7 邓小鸿;孙星明;孙光;拜亚萌;;基于动态程序切片的软件水印方案[A];第七届全国信息隐藏暨多媒体信息安全学术大会论文集[C];2007年
8 蒋曹清;张大方;缪力;;一种回归测试后的错误定位方法[A];第三届中国测试学术会议论文集[C];2004年
中国博士学位论文全文数据库 前4条
1 王智学;程序切片技术理论与应用研究[D];吉林大学;2012年
2 缪力;依赖性分析及其在软件测试中的应用[D];湖南大学;2006年
3 李必信;程序切片技术及其在面向对象软件度量和软件测试中的应用[D];南京大学;2000年
4 李暾;VLSI RTL级模拟矢量自动生成技术研究[D];国防科学技术大学;2003年
中国硕士学位论文全文数据库 前10条
1 黄静;面向方面程序切片技术及其在测试数据生成中的应用[D];苏州大学;2011年
2 陈春晓;基于过程蓝图的程序切片技术研究[D];汕头大学;2007年
3 刘艳艳;程序切片技术在软件重用中的应用[D];电子科技大学;2009年
4 邓小鸿;基于程序切片规则的软件水印研究[D];湖南工业大学;2007年
5 刘东昊;对象级粗粒度切片方法研究[D];郑州大学;2011年
6 何志学;面向对象并发程序切片技术及其在程序验证中的应用[D];苏州大学;2008年
7 王磊;基于程序切片的软件测试研究[D];河北工业大学;2007年
8 拜亚萌;基于k-gram的动态软件胎记研究[D];湖南工业大学;2008年
9 李津;Java程序模型验证中的程序建模问题研究[D];湖南师范大学;2008年
10 董九山;基于加密自检测的软件防篡改技术的研究与实现[D];华中科技大学;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978