收藏本站
《江南大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

基于Petri网的软件测试技术研究

李文瑞  
【摘要】:软件测试是软件开发过程中的重要阶段,是软件质量和软件可靠性的重要保障。软件测试的自动化相对人工测试能有效减少测试工作量和软件开发成本,测试数据的自动生成技术是软件测试自动化技术的核心,并在结构和功能测试、性能测试、嵌入式测试等方面得到广泛的应用。如何设计良好的测试数据以完成有效、全面的测试是目前研究的重点。论文在现有理论基础上,通过广泛的调研和深入的研究,提出了基于QPSO算法的路径覆盖结构测试数据自动生成技术。主要工作包括以下方面: 1.阐述了软件测试相关技术和目前基于演化算法的路径覆盖结构测试数据自动生成方法及其存在的不足。 2.针对目前演化算法生成单路径覆盖结构测试数据中存在的问题,提出了基于QPSO算法的单路径覆盖结构测试数据自动生成方法,并给出该系统的Petri网模型以动态的模拟系统的运行状态。在该方法中,通过面向距离法和面向覆盖法构造不同类型被测程序的适应值函数,提高了该方法的通用性。通过具体实验验证该方法的可行性和相对于目前演化算法方法的优点。 3.针对全路径覆盖结构测试问题以及目前解决该问题的基本路径覆盖法和Z路径覆盖法,提出了基于QPSO算法的多路径覆盖结构测试数据自动生成方法,分析单路径覆盖和多路径覆盖结构测试数据自动生成的不同处理方式。对被测程序进行插桩以获取QPSO算法中粒子的运行路径,通过比较生成路径集和目标路径集的相似度来确定被测程序的适应值函数。通过两种不同类型的被测程序验证多路径覆盖结构测试数据自动生成方法相对单路径覆盖方法的优越性,并利用生成的测试数据进行测试以验证测试数据的有效性。
【学位授予单位】:江南大学
【学位级别】:硕士
【学位授予年份】:2011
【分类号】:TP311.52

手机知网App
【参考文献】
中国期刊全文数据库 前5条
1 荚伟,高仲仪;基于遗传算法的软件结构测试数据生成技术研究[J];北京航空航天大学学报;1997年01期
2 牟凯;顾明;;基于UML活动图的测试用例自动生成方法研究[J];计算机应用;2006年04期
3 黄陇,于洪敏,陈致明,于秀山;基于UML的软件测试自动化研究[J];计算机应用;2004年07期
4 傅博;基于模拟退火遗传算法的软件测试数据自动生成[J];计算机工程与应用;2005年12期
5 李祎,陈嶷瑛;一种有效的软件测试模型[J];计算机工程与应用;2004年10期
【共引文献】
中国期刊全文数据库 前10条
1 汪茂华;;谈网络办公系统自动化性能测试[J];安徽教育学院学报;2006年03期
2 荚伟,奚红宇,高仲仪;遗传算法在软件测试数据生成中的应用[J];北京航空航天大学学报;1998年04期
3 史晓华,高仲仪;Ada 动态测试中遗传算法的参数编码方法[J];北京航空航天大学学报;1998年04期
4 肖倩,李伟;办公自动化系统中收文、发文计算机处理流程分析[J];东莞理工学院学报;2004年03期
5 李志良,王成山;通用统计报表处理系统的设计与实现[J];电网技术;2000年09期
6 单锦辉,王戟,齐治昌;面向路径的测试数据自动生成方法述评[J];电子学报;2004年01期
7 成朋;李代平;杨文伟;;结构化方法与面向对象方法的可结合性[J];广东工业大学学报;2006年03期
8 邓莹,古天龙;基于Petri网的协议分析技术及工具[J];桂林电子工业学院学报;2002年01期
9 聂永红,霍林,李春贵;毕业生数据分析系统[J];广西工学院学报;2005年01期
10 张太武;刘珊艳;;UML在系统需求分析中的应用[J];长江大学学报(自然科学版);2006年01期
中国重要会议论文全文数据库 前2条
1 张二梅;刘辰;杨正球;;基于HTMLParser自动生成测试用例的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
2 张侠影;李志蜀;;一种优化的测试用例约简方法[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
中国博士学位论文全文数据库 前4条
1 杨静;面向远程教学系统的TSC对等资源管理模型及实现技术研究[D];华东师范大学;2005年
2 姬孟洛;实时系统最差情况执行时间分析的研究[D];国防科学技术大学;2006年
3 易晓东;面向C程序验证的切片执行方法[D];国防科学技术大学;2006年
4 毛澄映;面向对象程序分析与测试技术研究[D];华中科技大学;2006年
中国硕士学位论文全文数据库 前10条
1 姜树明;企业信息管理系统测试模型的研究与应用[D];内蒙古大学;2006年
2 石继萍;基于Exchange的测试研究和自动化测试框架实现[D];武汉理工大学;2007年
3 王震;软件测试用例自动生成系统研究开发[D];西安理工大学;2005年
4 乐鑫喜;基于退火遗传算法的测试用例自动生成[D];武汉理工大学;2005年
5 冀素琴;基于工作流技术的办公自动化研究[D];西北大学;2001年
6 严体华;构件软件测试及充分性的研究[D];西安电子科技大学;2002年
7 刘金艳;面向对象软件测试技术研究[D];西南交通大学;2003年
8 钟大伟;空间决策支持系统的可视化技术研究与应用[D];福州大学;2004年
9 卫丽;金融信息系统开发的风险管理[D];对外经济贸易大学;2004年
10 赖崎;标准化、结构化技术及其在信息系统建设中的应用[D];天津大学;2004年
【同被引文献】
中国期刊全文数据库 前5条
1 李留英,王戟,齐治昌;UML statecharts的测试用例生成方法[J];计算机研究与发展;2001年06期
2 陈继锋;沈钧毅;王志海;王欣峻;;一种结构测试数据自动生成的框架[J];计算机工程;2007年08期
3 毛澄映,卢炎生;面向对象类簇级测试中控制依赖分析方法研究[J];计算机工程与科学;2005年08期
4 王雪莲,赵瑞莲,李立健;一种用于测试数据生成的动态程序切片算法[J];计算机应用;2005年06期
5 李必信 ,刘小东 ,郑滔 ,李宣东 ,郑国梁;一种面向对象程序的分层切片方法[J];软件学报;2001年12期
中国博士学位论文全文数据库 前3条
1 李必信;程序切片技术及其在面向对象软件度量和软件测试中的应用[D];南京大学;2000年
2 姜淑娟;异常传播分析技术及其应用研究[D];东南大学;2006年
3 毛澄映;面向对象程序分析与测试技术研究[D];华中科技大学;2006年
中国硕士学位论文全文数据库 前8条
1 申小荣;面向对象类簇级测试及其应用[D];太原理工大学;2004年
2 何涛;基于UML的面向对象的类测试研究[D];武汉大学;2004年
3 王正山;基于ORG的OO软件测试技术研究[D];合肥工业大学;2005年
4 陈蕊;程序中不可达路径的识别及其在结构测试中的应用[D];中国科学院研究生院(计算技术研究所);2006年
5 王凌飞;基于V模型改进的测试行为的软件可靠性分析[D];西安电子科技大学;2007年
6 郑磊;面向对象集成测试的分层增量测试策略[D];上海交通大学;2007年
7 宋洁;软件测试技术及自动测试工具的实现[D];北京邮电大学;2007年
8 齐丽娜;基于测试顺序的类集成测试方法研究与应用[D];上海师范大学;2007年
【二级参考文献】
中国期刊全文数据库 前10条
1 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
2 荚伟,奚红宇,高仲仪;遗传算法在软件测试数据生成中的应用[J];北京航空航天大学学报;1998年04期
3 单锦辉,王戟,齐治昌;面向路径的测试数据自动生成方法述评[J];电子学报;2004年01期
4 韩学东,洪炳镕,孟伟;基于疫苗自动获取与更新的免疫遗传算法[J];计算机研究与发展;2005年05期
5 葛红;免疫算法与遗传算法比较[J];暨南大学学报;2003年01期
6 刘敏,金茂忠,刘超;基于UML活动图模型生成测试场景的设计[J];计算机工程与应用;2002年12期
7 梁义芝,王延章,缪旭东,刘云飞;UML活动图的形式语义及分析[J];计算机工程与应用;2003年18期
8 钟治平,徐拾义;程序插装技术在软件内建自测试中的应用[J];计算机工程与应用;2004年17期
9 葛红,毛宗源;免疫算法的实现[J];计算机工程;2003年05期
10 伦立军;丁雪梅;李英梅;;基于遗传算法的测试数据生成研究[J];计算机工程;2005年23期
【相似文献】
中国期刊全文数据库 前10条
1 蓝庆青;童小念;;基于JavaBean的构件测试方法研究[J];中南民族大学学报(自然科学版);2006年04期
2 滕玲玲;;浅谈软件测试的几种类型[J];科教文汇(中旬刊);2008年12期
3 金松;;软件测试的关键技术[J];湖北三峡职业技术学院学报;2006年01期
4 王萍,熊小敏,杨国强;软件测试管理[J];计算机与现代化;2005年11期
5 郑人杰,姜凡;软件测试技术现有缺陷分析[J];计算机研究与发展;1988年09期
6 杨新锋;韩义波;;J2EE开发平台的软件测试技术[J];科技广场;2007年07期
7 刘媛;;基于XFS标准的SP软件测试技术[J];中国金融电脑;2011年07期
8 姚有文;军用软件质量及其测试的探讨[J];舰船电子工程;2005年04期
9 季秀兰;Web测试的特点[J];内蒙古科技与经济;2005年17期
10 李静;郭晓磊;;浅析软件测试技术现状[J];光盘技术;2009年05期
中国重要会议论文全文数据库 前10条
1 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
2 王孔义;郭海星;孙延峰;;人力资源信息系统与软件测试技术[A];煤矿自动化与信息化——第21届全国煤矿自动化与信息化学术会议暨第3届中国煤矿信息化与自动化高层论坛论文集(下册)[C];2011年
3 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
4 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
5 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
6 叶阳东;贾利民;;列车运行对象Petri网系统的仿真[A];2001系统仿真技术及其应用学术会议论文集[C];2001年
7 王小梅;李新明;刘东;韩星晔;;基于Petri网的网络传输协议建模与性能分析[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
8 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
9 韩亚欣;罗明宇;谭跃进;;主生产调度过程的随机Petri网模型[A];'2000系统仿真技术及其应用学术交流会论文集[C];2000年
10 张春雷;孙志挥;陈淼;;一种基于PETRI高级网的工作流动态建模方法[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
中国重要报纸全文数据库 前10条
1 ;值得注意的免费安全工具[N];网络世界;2004年
2 戴金龙;如何测试高可靠性软件[N];计算机世界;2005年
3 李春喜;汤姆逊要做消费电子中国魁首[N];中国计算机报;2003年
4 陈列欢;高剂量疗法可治红斑狼疮[N];医药经济报;2003年
5 金华;微软X#的一些推测[N];中国计算机报;2003年
6 陈秉林;美国汽车旅游的启示[N];中国旅游报;2003年
7 略雨 编译;超越历史尘封的永恒[N];中国商报;2001年
8 阿然;软件人才新宠[N];中国电脑教育报;2002年
9 ;厂商全方位备战3G[N];计算机世界;2004年
10 千弼 君毅;为智能手机市场投下变量[N];电子资讯时报;2003年
中国博士学位论文全文数据库 前10条
1 李绍勇;基于信标迭代控制的Petri网死锁预防策略[D];西安电子科技大学;2011年
2 陈玉峰;柔性制造系统最大许可行为Petri网控制器设计[D];西安电子科技大学;2011年
3 王雅文;基于缺陷模式的软件测试技术研究[D];北京邮电大学;2009年
4 孔令东;基于模糊Petri网的瓦斯突出空间预测模型研究[D];中国矿业大学;2011年
5 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
6 李海凌;基于Petri网工作流技术的工程项目群管理研究[D];西南交通大学;2012年
7 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
8 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
9 王玉英;基于赋时有色Petri网的Web服务组合建模验证与测试技术研究[D];西安电子科技大学;2012年
10 秦萌;存在不可控与不可观变迁的Petri网活性控制器设计[D];西安电子科技大学;2011年
中国硕士学位论文全文数据库 前10条
1 李亚南;基于区域理论的Petri网活性控制器优化设计[D];西安电子科技大学;2010年
2 何秀霞;基于Petri网的车站调度模型的研究[D];太原科技大学;2010年
3 王慧;基于Petri网的物流配送业务流程优化与仿真研究[D];武汉理工大学;2011年
4 翟维维;基于Petri网的工作流模型在并行审批系统的研究[D];北京林业大学;2011年
5 杨雪;基于高级Petri网的住院医师培训工作流系统建模与实现[D];沈阳工业大学;2010年
6 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
7 赵冬霞;基于面向对象时间Petri网的物流配送业务流程优化与仿真[D];哈尔滨工业大学;2010年
8 李桂枝;皮带机群控系统的Petri网建模与规则化描述[D];合肥工业大学;2011年
9 高峰;组合式Petri网对PI演算的转换与验证[D];吉林大学;2010年
10 赵珊;基于UML和Petri网模型验证框架的设计与实现[D];西安建筑科技大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026